Нормальное расширение

Всякое расширение ${\displaystyle K\subset E}$ является нормальным тогда и только тогда, когда ${\displaystyle E}$ является полем разложения некоторого множества многочленов из ${\displaystyle K[x]}$.

Если ${\displaystyle F}$ — расширение Галуа поля ${\displaystyle K}$, а ${\displaystyle E}$ — какое-нибудь промежуточное подполе ${\displaystyle K\subset E\subset F}$, то группа Галуа ${\displaystyle \operatorname {Gal} (F/E)}$ по определению состоит из всех автоморфизмов ${\displaystyle F}$, оставляющих элементы ${\displaystyle E}$ неподвижными. Если ${\displaystyle \sigma }$ — какой-нибудь автоморфизм полной группы Галуа ${\displaystyle \operatorname {Gal} (F/K)}$, отображающий ${\displaystyle E}$ на ${\displaystyle \sigma (E)}$ то, очевидно, что

${\displaystyle \operatorname {Gal} (F/\sigma E)=\sigma \operatorname {Gal} (F/E)\sigma ^{-1}}$

Поэтому расширение ${\displaystyle E}$ нормально тогда и только тогда, когда подгруппа ${\displaystyle \operatorname {Gal} (F/E)}$ является нормальной подгруппой в ${\displaystyle \operatorname {Gal} (F/K)}$ (отсюда и терминология).

• Ван дер Варден Б. Л. Алгебра. М.: Наука, 1975.
• Зарисский О., Самюэль П. Коммутативная алгебра, том 1. М.: ИЛ, 1963.
• Ленг С. Алгебра. М.: Мир, 1967.