является разрешимым рядом группы А. Тем самым доказано, что группа А разрешима.

Группы А и Лз также, очевидно, разрешимы. Таким образом,

для га <; 4 группа А„ разрешима.

Рассмотрим теперьслучай габ. Пусть - произвольный нормальный делитель группы Л„, отличный от е. Поскольку N Ф е, то в существует хотя бы одна подстановка t Ф е. Разложение подстановки / в произведение независимых циклов может иметь одну из следующих четырех форм:

1) t = {iQixl2ii •){...)... (имеется цикл длины >-4);

2) = (/о i У (з 4 •••)(•••)•• (имеется цикл длины 3 и

еще другие циклы);

3) = {Iq ll Ij) (подстановка t является

циклом длины 3);

4) f = (oii)(i2y(• • •) • • • (подстановка t разла-

гается в произведение независимых транспозиций)

(подстановка t четна и поэтому не может быть транспозицией; многоточия обозначают некоторые числа или циклы, которые могут и отсутствовать). Так как является нормальным делите;Гем, то для любой четной подстановки г подстановка rtr~, а следовательно, и подстановка rtr~t~ принадлежат Л. В зависимости от того, какую из указанных выше форм имеет подстановка t, мы выберем подстановку г следующим образом:

1) r = {ii I2 У;

2) r = {li U):

3) r = (li I2 У;

4) r = (li k k)-

Сосчитав в каждом из четырех случаев подстановку

s = rtr~t~, мы получим, что

1) s = (;o /2 У;

2) • S = (/о /з /, /2 4):

3) s = (;o /з) (/, У:

4) Н) (li 1),

Кроме того, обозначая для упрощения формул подстановку oUiJi) через Ь, мы получим, что

Таким образом, если в нормальном делителе существует подстановка t вида 1), то существует и подстановка вида 3). Если же существует подстановка вида 2), то существует подстановка вида 1) и, следовательно, по только что сказанному, подстановка вида 3). Наконец, если существует подстановка вида 3) или 4), то существует подстановка, являющаяся произведением точно двух независимых транспозиций. Таким образом, в обязательно существует подстановка, являющаяся произведением точно двух независимых транспозиций. Пусть это будет подстановка (/1У2)(ЛЛ)-

Пусть теперь (12) (34) - произвольная подстановка, являющаяся произведением двух независимых транспозиций. Рассмотрим подстановку

(1 2 3 4 * * • yl Л Л Л • • •

где на месте точек стоят произвольные числа (конечно, в верхней строчке эти числа отличны от чисел ky k, k, k, a в нижней - от чисел j\, J2, У3, /4). Легко видеть, что

о (Л h) (Л Л)о" = (*1 2) (3 4)-

•боз Ь.

b 0\ Л) (Уз Л) = «(Л J2) (А Л) (Л У4) (А Л) о- =

= о(У1Л)(УзЛ)«".

то есть, что

*(ЛЛ)(ЛЛ)* = (1 2)(34)-

Подстановки а к Ь, отличаясь транспозицией, имеют различную четность, т. е. одна из них четна, а другая нечетна. Обозначим четную из подстановок а к b через с, т. е. положим с = а, если подстановка а четна, н с = Ь, если подстановка b четна. По доказанному

с(ЛУ2)(ЛЛ)с- = (*1 *2)(*34>-

Так как (У1/2) (Уз/4) ё . < ё л> является, по условию, нормальным делителем в А„, то отсюда вытекает, что (kx kj) (k k) N. Таким образом, мы доказали, что нормаль-

ный делитель N содержит все подстановки, являющиеся произведениями двух независимых транспозиций.

Рассмотрим теперь подстановку, являющуюся произведением двух зависимых транспозиций. Такая подстановка имеет вид (у, J2) (Ji Уз). Так как по условию га ;> 5, то существуют два различных числа и /j. не превосходящих га и отличных от чисел Ji, У2 и Уз. Подстановки U\J2){hк) " ihк)U\Jz)< являясь произведениями двух независимых транспозиций, по доказанному принадлежат нормальному делителю N. Но

(У1 Уг) ih к) (к к) (А Л) = (Уг Л) Ui Уз)

и, следовательно, подстановка U\J2)U\Jz также принадлежит N. Таким образом, нормальному делителю принадлежит любая подстановка, являющаяся,произведением двух произвольных транспозиций, а следовательно, и любая подстановка, являющаяся произведением произвольного четного числа транспозиций, т. е. любая четная подстановка. Поэтому нормальный делитель содержит все четные подстановки, т. е. N=A.

Таким образом, если Ne, то N=A„. Другими словами, группа Л„ не имеет никаких нормальных делителей, кроме тривиальных, т. е. является простой группой. Итак, мы доказали, что

для га>.5 знакопеременная группа А„ проста и, следовательно, неразрешима (ибо простые разрешимые группы исчерпываются циклическими группами простого порядка).

Заметим, что для п = 2 и га = 3 группа А„, очевидно, также проста.

Из доказанных результатов относительно группы А„ немедленно вытекает, что

для п<4 симметрическая группа S„ разрешима (ибо она обладает следующим разрешимым рядом:

52=)в, если п = 2, 5з=)Лз1эв, если п = 3, SZ2AZ2BZ2CZ2e, если п = 4),

а для га 5 группа 5„ неразрешима (ибо она содержит неразрешимую группу А.