Легко видеть, что любой многочлен (дг,.....х„) от п.

неизвестных точно принадлежит одной (и только одной) группе О подстановок степени п. Эта группа состоит из всех подстановок а S„, для которых = g.

Покажем теперь, что

многочлен g{Xx.....х„) тогда и только тогда точно

принадлежит группе О, когда для любых двух подстановок а и b степени п из равенства ga = gb вытекает включение аЬ~ 0, и обратно, из включения аЬ~0 вытекает равенство ga = Sb-

Действительно, если g = g,, то gj- \ =.g = g, и потому для многочлена g, точно принадлежащего группе О, равенство ga = gb имеет место тогда и только тогда, когда аЬ~ О. Обратно, если равенство g = g имеет место тогда и только тогда, когда аЬ~ О, то, полагая Ь = е, мы получим, что равенство ga~ gi~ ёе) имеет место тогда и только тогда, когда аО, т. е. получим, что многочлен g точно принадлежит группе О.

Будем говорить, что подстановки

01 = . 02.....От (1)

составляют полную систему представителей смежных классов симметрической группы 5„ по ее подгруппе О, если все смежные классы

0 = Оах, Оа.....Оа„

различны и любой смежный класс Оа группы S„ по подгруппе О среди них содержится. Таким образом, число т равно индексу группы О в группе S„.

Из доказанной выще теоремы немедленно вытекает, что

многочлен g(Xi.....дг„) тогда и только тогда

точно принадлежит группе О, когда для любой полной системы. (1) представителей смежных классов группы S„ по подгруппе О все многочлены

g ~ gat ga,< • • •. gam

попарно различны и любой многочлен вида g среди ни: (Одержатс},

Так как набор многочленов Аь,.....Аь тогда и только

тогда совпадает (с точностью до порядка) с набором

Лб,а.....Або. когда а О, то срд == ср тогда и только тогда,

когда аО. Другими словами, многочлен 9 (рассматриваемый как многочлен от х.....х над полем Рф) точп<3

11ринадлежит группе Q,

Покажем теперь, что

для произвольной группы О подстановок степени п

существует {над любым полем Р) многочлен g{Xj.....х),

точно принадлежащий этой группе.

С этой целью мы рассмотрим многочлен

А (Xl.....Х„) = Cii -4- С2Х2 + ... + с„х„,

где Cj, .....с„ - произвольные попарно различные элементы поля Р. Ясно, что для любой нетождественной подстановки а степени п многочлен Ад отличен от многочлена А. Другими словами, многочлен k точно принадлежит единичной подгруппе eczS„. Пусть теперь

bi = e, 62. • • •• *j - все подстановки группы О. Рассмотрим многочлен tpit, Xi.....х„) от л--1 неизвестных t, х.....х„, определенный формулой

Xi.....x„) = (t-hb,){t-hb,) ... it~hb).

Этот многочлен можно рассматривать либо как многочлен

над полем Я от л-(-1 неизвестных t, дг,.....дг„, либо как

многочлен от п неизвестных дг,.....х„ над полем P{t)

рациональных функций от t (с коэффициентами из поля Р), либо, наконец, как многочлен от одного неизвестного t над

полем P{Xi.....д;„) рациональных функций от неизвестных

ATj.....Хц (с коэффициентами из поля Р).

Рассматривая его как многочлен над полем P{t), мы можем воздействовать на него подстановками а степени п,

получая многочлены 9д( д;,.....дг„). Рассматривая его как

многочлен от t над полем P(Xj.....д:„), мы можем говорить о его корнях. Ясно, что этими корнями служат многочлены h = hb,, hb,.....hb. В этом же смысле корнями

многочлена <f(t, Ху ..., дг„) являются многочлены ha=hba, hb,a< • • •. fib а-

- произвольная полная система представителей смежных классов группы S„ по ее подгруппе О. Тогда все многочлены

?<.,( лг,.....х„), ср„,(А Хх.....х„).....<fa(t. Хх.....xj

попарно различны и любой многочлен вида tf(t, дг,.....х„)

равен одному из этих многочленов. Поскольку поле Р бесконечно (оно содержит все рациональные числа), в нем можно найти такое число что многочлены

?а.(0> •l.....сраДо. Xi.....ДГ„)....."„(О <1.....Х„)

над полем Р от неизвестных дг,.....х„ будут все попарно

различны (число следует взять отличным от корней

каждого из многочленов сра(Л дг,.....x„)-<faj(t, Xi.....х„),

рассматриваемых как многочлены от t над полем Р (дг,.....х„)).

Таким образом, многочлен

gixi.....АГ„) = ср(о. Xi.....дг„)

(над полем Р) будет обладать тем свойством, что равенство ga - gb имеет место тогда и только тогда, когда для многочлена ср (над полем P(t)) имеет место равенство срд = ср. Отсюда следует, что поскольку многочлен ср точно принадлежит группе О, многочлен g также обладает этим свойством.

Теорема полностью доказана.

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

2. Сопряженные группы подстановок

Легко видеть, что для любой группы О подстановок степени я и любой подстановки а той же степени я сово-кулность а~Оа всех подстановок вида а~Ьа, где b - произ-водьндя подстановка группы О, представляет собой группу,

Пусть теперь