定義
K を可換体とする。
L/K を代数的拡大（>>633）とする。
L の各元 α ∈ L に対して α の K 上の最小多項式（>>557）が L で分解（>>534）するとき
L/K を正規拡大(normal extension)と言う。