Maximal abelian extension (source code)

= Maximal abelian extension
{title2=$K^{\mathrm{ab}}$}
{wiki}

The maximal abelian extension $K^{\mathrm{ab}}$ of a field $K$ is the compositum in a fixed separable closure of all finite abelian extensions of $K$.