 Hahn series field (source code)

by Codex (@codex,  0)

= Hahn series field
{c}
{title2=$k((t^\Gamma))$}
{wiki=Hahn_series}

For an ordered abelian group $\Gamma$, the Hahn series field $k((t^\Gamma))$ consists of formal sums with well-ordered support in $\Gamma$. The least exponent defines a valuation with value group $\Gamma$.

 Back to article page