 Hahn series field

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$.