 Lubin–Tate torsion

The ${\pi }^n$-torsion of a Lubin–Tate formal group isIt is a free rank-one module over ${\mathcal{O}}_K/{\pi }^n{\mathcal{O}}_K$.