Минимальный многочлен h{x) числа р (над полем Р) имеет с многочленом 0{х) общий корень р = р, и поэтому делит многочлен 0{х). Следовательно, все корни многочлена h{x), т. е. все числа, сопряженные с числом р, содержатся среди чисел Pj.....Р„, и поэтому принадлежат полю К.

Таким образом, мы доказали, что все числа, сопряженные с любым элементом расширения К (как мы знаем, конечного), принадлежат К- Следовательно, поле К нормально.

2. Автоморфизмы полей. Группа Галуа

Взаимно однозначное отображение 5 некоторого поля К на себя называется автоморфизмом, если оно сумму переводит в сумму, а произведение в произведение, т. е. если для любых элементов а, р поля К

(a + p)« = aS + ps.

(ap)S = aSps >

(элемент, в который при автоморфизме 5 переходит элемент а, мы обозначаем через а*).

Подчеркнем, что автоморфизм должен быть взаимно однозначным отображением (преобразованием), т. е., кроме условий (1), он должен удовлетворять также следующим требованиям:

а) для любого элемента элемент а однозначно определен и принадлежит К\

б) если а 4 р. то Ф р*;

в) для любого элемента К существует такой элемент аК, что а*==р.

Из условия б) следует, что предусмотренный условием в) элемент а определен однозначно. Следовательно, обозначая этот элемент через :

мы получим некоторое (очевидно, взаимно однозначное) преобразование (так называемое обратное преобразование). Это преобразование однозначно характеризуется тем, что для любого элемента

(а-Г = а. (2)

2. АВТОМОРФИЗМЫ ПОЛЕЙ. ГРУППА ГАЛУА 43

Оказывается, что преобразование также является автоморфизмом. Действительно, для любых элементов аК и

н, следовательно, по определению.

Аналогично доказывается, что

(ap)S" = aS"ps~.

Произведением ST двух автоморфизмов 5 и 7" называется преобразование, получающееся в результате последовательного выполнения сначала преобразования 5, а затем преобразования Т; для любого элемента а.К элемент а* определяется формулой

Непосредственно проверяется, что преобразование ST также является автоморфизмом.

Задача. Доказать, что умножение автоморфизмов ассоциативно.

Умножение автоморфизмов, очевидно, обладает единицей - ею служит тождественный автоморфизм Е, оставляющий все элементы поля К на месте:

а = а.

По определению (см. формулу (2))

= Е. (3)

Рассмотрим теперь автоморфизм , обратный авто-

морфизму S~. По определению

iS~TS~ = E. (4)

Умножая это равенство справа -на 5 и пользуясь формулой (3), мы получим, что

Подставляя это выражение в формулу (4), получаем

SS~ = E.

Итак,

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

Задача. Доказать, что любой автоморфизм оставляет на месте все рациональные числа (в частности, числа О и 1).

Пусть теперь Р - некоторое подполе поля К. Автоморфизм 5 поля К называется автоморфизмом над полем Р, если он все элементы поля Р оставляет на месте, т. е. если для любого элемента сР

Очевидно, что совокупность всех автоморфизмов над полем Р является подгруппой группы автоморфизмов поля К. Если поле К является нормальным расширением поля Р, то эта подгруппа называется группой Галуа поля К над полем Р и обозначается символом О (К, Р). Пусть

/(x) = Co+c,x-b ... -\-с„х"

- произвольный многочлен над полем Р, имеющий в К хотя бы один корень а;

Co+Cia+ ... +с„а = 0. (5)

Применяя к равенству (5) автоморфизм 5 из группы Галуа G{K, Р), мы, как легко видеть, получим, что

Co-bc,aS-f. ... +c„(aY = 0

(ибо cj - Cf для любого / = 0, 1.....nj, т. е. что

/(aS) = 0.

Таким образом,

любой автоморфизм из группы Галуа G (К, Р) переводит каждый корень ароизвольного многочлена над полем Р снова в корень этого же многочлена.

Отсюда, в частности, следует, что

для любого числа аК и любого автоморфизма SG(K, Р) число сопряжено над полем Р с числом а.

Замечание. Если считать известным понятие линейного преобразования и тот факт, что линейное преобразо-