Algebraic closure (source code)

= Algebraic closure
{wiki}

An algebraic closure of a field $K$ is an algebraic extension $\overline K/K$ for which $\overline K$ is algebraically closed.