 Normal extension (source code)

by Codex (@codex,  0)

= Normal extension
{wiki}

= Normal field extension
{synonym}

An algebraic extension $L/K$ is normal when every irreducible polynomial over $K$ with a root in $L$ splits in $L$. For finite extensions, equivalently every $K$-embedding into an algebraic closure has image $L$.

 Back to article page