Lubin–Tate formal group (source code)

= Lubin–Tate formal group
{c}
{title2=$\mathcal F_f$}
{wiki}

For a <uniformizer> $\pi$ of a local field $K$ with residue-field cardinality $q$, a Lubin–Tate series is a series $f(X)\in\mathcal O_K[[X]]$ satisfying $f(X)\equiv\pi X\pmod{X^2}$ and $f(X)\equiv X^q\pmod\pi$. It determines a unique one-dimensional commutative <formal group law> $\mathcal F_f$ on which every $a\in\mathcal O_K$ acts through an endomorphism $[a]_f$ with linear term $aX$.

= Lubin–Tate series
{c}
{synonym}