Definition:Normal Extension/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L / K$ be a field extension.

Then $L / K$ is a normal extension if and only if:

for every irreducible polynomial $f \in K \left[{x}\right]$ with at least one root in $L$, $f$ splits completely in $L$.


Also see