Laurent series field
= Laurent series field
{title2=$k((t))$}
{wiki=Formal_power_series#Formal_Laurent_series}
The Laurent series field $k((t))$ consists of formal series $\sum_{n\geq N}a_nt^n$. Its $t$-adic valuation is the least exponent with nonzero coefficient.