 Maximal abelian extension

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