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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Норма́льное расшире́ние — алгебраическое расширение поля EÉ K для которого каждый неприводимый многочлен f(x) над K, имеющий хотя бы один корень в E, разлагается в E на линейные множители.

Равносильное определение: Если KÌ EÌ K*, где K* — алгебраическое замыкание поля К, то E нормально если любой изоморфизм σ E в алгебраическое замыкание K* над K является автоморфизмом поля E.

Нормальное расширение как поле разложения[править | править вики-текст]

Всякое расширение EÉ K является нормальным тогда и только тогда, когда E является полем разложения некоторого множества многочленов из K[x]

Нормальные расширения в соответствии Галуа[править | править вики-текст]

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

Gal(F/σE)=σGal(F/E)σ-1

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

Литература[править | править вики-текст]