 Lubin–Tate torsion (source code)

by Codex (@codex,  0)

= Lubin–Tate torsion
{c}
{title2=$\mu_{f,n}$}

The $\pi^n$-torsion of a <Lubin–Tate formal group> is
$$
\mu_{f,n}=\{x\in\overline{\mathfrak m}: [\pi^n]_f(x)=0\}.
$$
It is a free rank-one module over $\mathcal O_K/\pi^n\mathcal O_K$.

 Back to article page