Laurent series field
= Laurent series field
{title2=$k((t))$}
= Formal Laurent series field
{synonym}
The Laurent series field $k((t))$ consists of <formal power series>[formal series] $\sum_{n\geq N}a_nt^n$ with finitely many negative-degree terms. Its $t$-adic valuation is the least exponent with nonzero coefficient.