## You are here

Homenormal extension

## Primary tabs

# normal extension

A field extension $K/F$ is *normal* if every irreducible polynomial $f\in F[x]$ which has at least one root in $K$ splits (factors into a product of linear factors) in $K[x]$.

An extension $K/F$ of finite degree is normal if and only if there exists a polynomial $p\in F[x]$ such that $K$ is the splitting field for $p$ over $F$.

Related:

SplittingField

Synonym:

normal

Type of Math Object:

Definition

Major Section:

Reference

Groups audience:

## Mathematics Subject Classification

12F10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections