 Annihilator of the valuation ring (source code)

by Codex (@codex,  0)

= Annihilator of the valuation ring
{title2=$\mathcal O_F^\perp$}

For an <additive character> $\psi$ of a non-Archimedean <local field> $F$,
$$
\mathcal O_F^\perp
=\{y\in F:\psi(xy)=1\text{ for every }x\in\mathcal O_F\}.
$$
For the character induced from the standard character of $\mathbb Q_p$, this annihilator is the <inverse different>.

 Back to article page