Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

Развивая указанный результат работы(6), мы доказываем в настоящей заметке следующую теорему.

Теорема15 Пусть конечная группа является произведением своих подгрупп и взаимно простых порядков, и пусть --- бипримарная группа, а --- 2-разложимая группа четного порядка. Предположим, что в есть неединичная циклическая силовская подгруппа . Тогда, если неразрешима, то изоморфна или .

обозначает произведение всех разрешимых инвариантных в подгрупп.

Следствие16 Пусть группа обладает факторизацией, указанной в теореме(3). Тогда, если порядок не равен 3 или 1, то разрешима.

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

Теорема17 Пусть неразрешимая группа является произведением бипримарной подгруппы и примарной подгруппы . Тогда, если среди силовских подгрупп группы есть циклическая, то изоморфна одной из следующих групп:

1) ;

2) ;

3) ;

4) ;

5) ;

6) , где --- силовская 3-подгруппа;

7) , порядок равен , а .

Так как бипримарные группы разрешимы, то группа из теоремы (7) имеет порядок, делящийся в точности на три различных простых числа. Такие простые группы к настоящему времени известны лишь в случае, когда они содержат циклическую силовскую подгруппу. Этим и вызвано требование цикличности силовской подгруппы в условии теоремы(8), а следовательно, и в условии теоремы(8).

Если будут известны все простые группы порядка , где , и --- различные простые числа, то методы доказательства теоремы (5) позволят описать неразрешимые группы с указанной в теореме (5) факторизацией без предположения цикличности подгруппы .

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

Предварительные леммы

Лемма18 Если группа является произведением двух подгрупп и взаимно простых порядков и --- субинвариантная в подгруппа, то .

Доказательство. Если --- инвариантная в подгруппа, то --- -холловская в подгруппа, где , а --- -холловская в подгруппа(9). Поэтому . Если теперь --- инвариантная в подгруппа, то опять

и т. д.

Лемма19 Если группа является произведением примарной подгруппы нечетного порядка и 2-разложимой подгруппы, то разрешима.

Доказательство. Пусть , --- -группа, --- нечетное простое число, --- 2-разложимая группа. В существует силовская -подгруппа такая, что , где --- некоторая силовская -подгруппа из (7). Так как разрешима, то , где --- -холловская подгруппа из . Но теперь . По лемме Бернсайда (5)группа непроста. Инвариантная подгруппа в по лемме факторизуема, т. е. , поэтому разрешима по индукции. Фактор-группа также разрешима по индукции. Поэтому разрешима и .

Лемма20 Группы и не содержат бипримарные холловские подгруппы.

Доказательство. Пусть . Тогда порядок равен и силовская 7-подгруппа в самоцентрализуема. Так как порядок больше порядка , то не содержит подгруппы порядка .

Предположим, что существует подгруппа порядка . По теореме Силова о числе силовских подгрупп подгруппа 7-замкнута, т. е. подгруппа порядка 7 из инвариантна в . Но теперь изоморфна подгруппе группы всех автоморфизмов , которая изоморфна . Противоречие.

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

Теперь пусть . Тогда порядок равен , силовская 3-подгруппа из неабелева и . Силовская 2-подгруппа также неабелева и имеет экспоненту 2. Нормализатор силовской 5-подгруппы в имеет порядок 20, а централизатор в совпадает с 30.

Предположим, что существует подгруппа порядка . Тогда 3-замкнута, а так как ненильпотентна, то . Подгруппа неабелева, поэтому минимальная инвариантная в подгруппа имеет порядок не более чем . Теперь изоморфна подгруппе из группы всех авторморфизмов . Но --- элементарная абелева, поэтому , где , и имеет порядок, не делящийся на 5. Таким образом, , но тогда . Противоречие.

Допустим, что существует подгруппа порядка . Пусть --- минимальная инвариантная в подгруппа. Так как имеет порядок 20, то неинвариантна в и есть 2-группа. По теореме Машке 30 подгруппа есть прямое произведение неприводимых -групп . Подгруппа самоцентрализуема, поэтому не централизуют и по 30 порядок равен для всех . Следовательно, и . Фактор-группа имеет порядок 20, поэтому она 5-замкнута и инвариантна в . Теперь . Пересечение инвариантно в , поэтому . Таким образом, , и изоморфна циклической группе порядка 4 из . Это противоречит тому, что имеет экспоненту 2.

Если G содержит подгруппу порядка , то индекс этой подгруппы в будет равен 5. Поэтому изоморфна подгруппе симметрической группы степени 5. Но порядок больше порядка . Противоречие.

Лемма21 Группа содержит подгруппу порядка и не содержит бипримарные холловские подгруппы других порядков.

Доказательство. Пусть . Тогда порядок равен и --- дважды транзитивная группа степени 13. Поэтому стабилизатор одной точки будет холловской подгруппой порядка . Силовская 3-подгруппа в неабелева. Нормализатор силовской 13-подгруппы имеет порядок , а централизатор --- 13 30.

Пусть --- подгруппа порядка . По теореме Силова --- 13-замкнута. Поэтому центр неединичен. Противоречие.

Допустим, что есть подгруппа порядка . Так как не 13-замкнута, то минимальная инвариантная в подгруппа есть 3-группа. Подгруппа абелева, поэтому . Теперь силовская 13-подгруппа централизует . Значит, центр отличен от 1. Противоречие.

5 Произведение бипримарной и примарной групп

В этом параграфе мы докажем теорему(1), сформулированную во введении.

Доказательство теоремы(3). Через обозначим циклическую силовскую -подгруппу в . Порядки и взаимно просты, поэтому в каждая субинвариантная подгруппа факторизуема. Фактор-группа удовлетворяет условию теоремы(5). Так как , то при по индукции фактор-группа изоморфна одной из групп, перечисленных в заключении теоремы(3). Следовательно, можно считать, что .

Пусть --- минимальная инвариантная в подгруппа. Подгруппа неразрешима и является произведением изоморфных простых групп. Порядок делится на , и силовская -подгруппа в --- циклическая, поэтому --- простая группа.

Предположим, что в есть еще одна минимальная инвариантная подгруппа . Тогда . Но силовские -подгруппы и содержатся в циклической -группе , поэтому . Следовательно, --- единственная в минимальная инвариантная подгруппа.

Централизатор подгруппы инвариантен в , и . Из единственности следует, что , поэтому изоморфна группе автоморфизмов .

Порядок простой группы делится в точности на три простых числа и силовская -подгруппа в циклическая. Поэтому изоморфна , где , 7, 8, 9 или 17, , , 31. Кроме того, --- бипримарная холловская подгруппа в . В группах , , и нет бипримарных холловских подгрупп (см. 30 и лемму 20 настоящей работы).

Если изоморфна , или 7, то и имеет порядок 2. Поэтому либо , либо , или 7. Группа допускает единственную факторизацию, а именно . Группа допускает только две факторизации с взаимно простыми порядками факторов: и .

Допустим, что --- собственная в подгруппа. Если , то , . Так как , то --- подгруппа индекса 2 в , а . Подгруппа имеет единичный центр, поэтому централизатор в имеет порядок 1 или 2. В первом случае и из пункта 4) теоремы 17. Во втором случае и силовская 2-подгруппа в ) должна быть абелевой, что невозможно. Таким образом, если , то , а .

Пусть теперь . Если , то индекс в равен 2, а так как --- совершенная группа, то . Но это противоречит тому, что в силовская 2-группа диэдральная. Поэтому для одна возможность: . Но тогда , а , т. е. для возможна единственная факторизация, указанная в пункте 5).

Теперь рассмотрим случай, когда . Эта группа допускает единственную факторизацию, указанную в пункте 3) теоремы. Пусть . Так как --- подгруппа индекса 3 в , то . Причем , а . Но тогда ,а --- силовская 3-подгруппа из .

Осталось рассмотреть случай, когда . Так как индекс в группе автоморфизмов равен 2, то либо , либо . Но в нет подгрупп индекса 13.

Применяя лемму 21, заключаем, что из пункта 7) теоремы. Теорема 17 доказана полностью.

Следствие 22 Пусть группа является произведением бипримарной подгруппы с неединичной циклической силовской подгруппой и примарной подгруппы . Тогда, если порядок не равен 3 или 7, то разрешима.

Доказательство. Пусть --- контрпример минимального порядка. Так как фактор-группа неразрешима, то из теоремы 2 следует, что она изоморфна , где , 7 или 8; , или 7; . Поэтому порядок -группы равен 3 или 7. Значит, или 7, .

Пусть --- минимальная разрешимая инвариантная в подгруппа. Ясно, что есть -группа, а так как циклическая, то порядка . Централизатор подгруппы инвариантен в , поэтому . Кроме того, . Если , то разрешима по индукции, a примарна или бипримарна, т. е. разрешима и , противоречие. Следовательно, , и содержится в центре группы .

Характеристики

Список файлов курсовой работы