Skip to main content\(\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\A}{\mathbb{A}}
\newcommand{\bbS}{\mathbb{S}}
\newcommand{\mf}[1]{\mathfrak{#1}}
\newcommand{\Gal}{\mathrm{Gal}}
\newcommand{\Sp}{\mathrm{Sp}}
\newcommand{\Cl}[1]{\mathrm{Cl}(#1)}
\newcommand{\lcm}{\mathrm{lcm}}
\newcommand{\ord}{\mathrm{ord}}
\newcommand{\disc}{\mathrm{disc}}
\newcommand{\coker}{\mathrm{coker}}
\newcommand{\im}{\mathrm{im}}
\newcommand{\Res}{\operatorname*{Res}}
\newcommand{\mapsfrom}{\mathrel{\unicode{x21A4}}}
\newcommand{\Frob}[1]{\mathrm{Frob}_{#1}}
\newcommand{\Aut}[1]{\mathrm{Aut}_{#1}}
\newcommand{\Hom}[1]{\mathrm{Hom}_{#1}}
\newcommand{\End}{\mathrm{End}}
\newcommand{\bparen}[1]{\left(#1\right)}
\newcommand{\bbrace}[1]{\left\{#1\right\}}
\newcommand{\bbracket}[1]{\left[#1\right]}
\newcommand{\ideal}[1]{\left\langle#1\right\rangle}
\newcommand{\abs}[1]{\left\lvert#1\right\rvert}
\newcommand{\norm}[1]{\left\lVert#1\right\rVert}
\newcommand{\floor}[1]{\left\lfloor#1\right\rfloor}
\newcommand{\leg}[2]{\genfrac{(}{)}{}{}{#1}{#2}}
\newcommand{\lgndr}[2]{\left(\frac{#1}{#2}\right)}
\newcommand{\llbracket}{[\mkern-3.3mu[}
\newcommand{\rrbracket}{]\mkern-3.3mu]}
\newcommand{\pseries}[1]{[\mkern-3.3mu[#1]\mkern-3.3mu]}
\newcommand{\rmd}{\mathrm{d}}
\newcommand{\mathds}[1]{\mathbb{#1}}
\newcommand{\coloneqq}{\mathrel{:=}}
\newcommand{\colonequals}{\mathrel{:=}}
\newcommand{\equalscolon}{\mathrel{=:}}
\newcommand{\defeq}{\mathrel{:=}}
\renewcommand{\pmod}[1]{\,(\mathrm{mod}\,\, #1)}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)