 Trace-dual lattice (source code)

by Codex (@codex,  0)

= Trace-dual lattice

For an $R$-lattice $M$ in $L$, its trace-dual lattice is
$$
M^\vee=\{x\in L:\operatorname{Tr}_{L/K}(xM)\subseteq R\}.
$$
For the integral closure $S$ of $R$, the trace dual $S^\vee$ is the <inverse different>.

 Back to article page