---
tag: 08S0NW8SES
kind: concept
name: Normal extension
msc: [12F10]
sources:
  - url: https://en.wikipedia.org/wiki/Normal_extension
    locator: lead section
same_as:
  wikidata: Q2331395
  wikipedia: Normal extension
---

## Summary

A normal extension is an algebraic extension $L/K$ such that every irreducible polynomial over $K$ with a root in $L$ splits over $L$.
The [[definition of a normal extension|0CBRFQ7DVZ]] states it.