WikiDer > Расширение Галуа

Galois extension

В математика, а Расширение Галуа является алгебраический расширение поля E/F то есть нормальный и отделяемый; или эквивалентно, E/F является алгебраическим, а поле исправлено посредством группа автоморфизмов Aut (E/F) и есть база поле F. Значение быть расширением Галуа состоит в том, что расширение имеет Группа Галуа и подчиняется основная теорема теории Галуа. [1]

Результат Эмиль Артин позволяет строить расширения Галуа следующим образом: Если E это заданное поле, и грамм конечная группа автоморфизмов E с фиксированным полем F, тогда E/F является расширением Галуа.

Описание расширений Галуа

Важная теорема Эмиль Артин заявляет, что для конечное расширение каждое из следующих утверждений эквивалентно утверждению, что это Галуа:

Другие эквивалентные утверждения:

  • Каждый неприводимый многочлен от хотя бы с одним корнем в раскалывается и отделима.
  • то есть количество автоморфизмов не меньше степени расширения.
  • фиксированное поле подгруппы
  • фиксированное поле
  • Есть индивидуальный переписка между подполями и подгруппы

Примеры

Есть два основных способа построить примеры расширений Галуа.

  • Возьмите любое поле , любая подгруппа , и разреши фиксированное поле.
  • Возьмите любое поле , любой сепарабельный многочлен от , и разреши быть его поле расщепления.

Прилегающий к поле рациональных чисел в квадратный корень из 2 дает расширение Галуа, а присоединение кубического корня из 2 дает расширение не Галуа. Оба этих расширения можно разделить, потому что они имеют характеристика ноль. Первый из них - это поле расщепления ; второй имеет нормальное закрытие что включает в себя комплекс кубические корни из единицы, и поэтому не является полем расщепления. Фактически, у него нет другого автоморфизма, кроме тождества, потому что он содержится в действительных числах и имеет только один настоящий корень. Более подробные примеры см. На странице основная теорема теории Галуа.

An алгебраическое замыкание произвольного поля Галуа закончился если и только если это идеальное поле.

Рекомендации

  1. ^ См. Статью Группа Галуа для определений некоторых из этих терминов и некоторых примеров.

Смотрите также