1. НОРМАЛЬНЫЕ РАСШИРЕНИЯ 39

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

1) К конечно над Р;

2) любое число, сопряженное некоторому числу из К, также принадлежит К.

Эта форма определения нормального расширения часто наиболее удобна.

Пусть К-произвольное нормальное расширение поля Р. Так как поле К, по определению, конечно над Р, то существуют такие элементы aj.....а6> что

K=P(ai.....а,).

Пусть fi{x) - минимальный многочлен числа а,, /=1.....S,

над полем Р. Так как поле К нормально (т. е. является нормальным расширением поля Р), то многочлены /((х), имеющие в нем корни, разлагаются в /С на линейные множители. Следовательно, в поле К разлагается на линейные множители и произведение

/{х) = /г(х) ... fsix)

многочленов fi(x).....fs(x)< т. е. поле К содержит поле

разложения Q многочлена /(х). С другой стороны, числа

ttj.....являются корнями (не всеми!) многочлена /(лг),

и потому поле /С содержится в поле Q. Следовательно, K = Q. Таким образом,

любое нормальное поле является полем разложения некоторого многочлена.

Задача. Доказать, что любое нормальное поле является полем разложения неприводимого многочлена.

Оказывается, что нормальными полями исчерпываются все поля разложения, т. е.

любое поле, являющееся полем разложения некоторого многочлена (над полем Р), будет нормальным расширением поля р.

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

Пусть

/1 2 ... п

а = [

\h к in

- произвольная подстановка степени п (см. Курс, стр. 30, а также ниже, ч. II, гл. 3, п. 1). Любому многочлену

g{,Xx.....л;„) от п неизвестных над полем Р отнесем

с помощью подстановки а многочлен g- (л;,.....л;„), определив его формулой

gaiXi.....X„) = g[Xi.....Xi).

Очевидно, что

ge = S

(«"a)ft = gab-

Кроме того, равенство ga - g тогда и только тогда имеет место для любой подстановки а, когда многочлен g является симметрическим многочленом.

Пусть теперь

а - е, «2.....(1п\

- все подстановки степени п. Рассмотрим многочлены

Sa=gga,.....,Sa,, П)

где g-произвольный многочлен от п неизвестных x.....х„.

Воздействуя на эти многочлены произвольной подстановкой а степени п, мы получим многочлены

gaa ga аа а„]а

Так как подстановки

flifl, .....fl/iifl.

Очевидно, исчерпывают все подстановки степени я (их л!, и все они различны), то многочлены (2) с точностью до порядка следования совпадают с многочленами (1). Отсюда вытекает, что любой симметрический многочлен от g ,

.....g является симметрическим многочленом и от

1. НОРМАЛЬНЫЕ РАСШИРЕНИЯ 41-

Ху .... х„, т. е. если .....у,)-симметрический

многочлен от п\ переменных y.....у,, то подставляя

вместо У1 многочлен (-"i. .... х, мы получим симметрический многочлен от х .... х„. В частности, все коэффициенты многочлена

1.....«) = )[1(-«-„Д,.....„)) (3)

(рассматриваемого как многочлен от неизвестного х) являются симметрическими многочленами от х.....х„ и, следовательно (см. Курс, стр. 322), выражаются в виде многочленов (с коэффициентами из поля Р) от элементарных симметрических многочленов.

Вернемся теперь к доказательству сформулированного выше утверждения.

Пусть К - поле разложения некоторого многочлена / {х) над полем Р. Тогда, как уже выше отмечалось, любой элемент р поля К записывается в виде многочлена от корней а,.....а„ многочлена f {х) (вообще говоря, многими различными способами), т. е. существует такой мног€гчлен g{Xi.....л;„) от re неизвестных х.....л;„, что

Рассмотрим многочлен

0{x) = Q{x; а,.....а„).

где 0{х\ Хх.....л;„)-многочлен (3), построенный для

многочлейа gix.....х„). По определению

0{х)={х~%),

Согласно сказанному выше, коэффициенты многочлена Q{x) выражаются в виде многочленов над полем Р от элементарных симметрических многочленов от aj.....а„, т. е.

выражаются в виде многочленов от коэффициентов многочлена / {х). Следовательно, О {х) является многочленом над полем Р,