Курсовая работа: Бипримарные группы
Пусть . Покажем, что для всех . Возьмем произвольный элемент , . Тогда , поэтому , . Теперь . Так как , то . Применяя результат Гольдшмидта, получаем: или . Но этот изоморфизм ввиду невозможен. Противоречие. Теорема доказана.
Лемма Пусть --- простое число, делящее порядки групп и . Если --- группа Шмидта, а --- -разложимая группа, то группа непроста.
Доказательство. Пусть --- силовская -подгруппа из , а --- силовская -подгруппа из , для которых и есть силовская -подгруппа в [??].
Пусть инвариантна в . Тогда для любого , , имеем: . По лемме Кегеля [??] группа непроста.
Пусть неинварпантна в . Тогда циклическая и каждая собственная подгруппа из инвариантна в . Если --- силовская подгруппа в , то и , где --- силовская подгруппа из . По лемме Бернсайда группа непроста. Пусть не является силовской в . Тогда содержится как подгруппа индекса в некоторой группе , . Для элемента теперь содержит и . Если , то непроста по лемме Бернсайда. Если , то и непроста по лемме С. А. Чунихина.
Теперь из теоремы (2) и леммы (5) вытекает
Теорема Пусть --- группа Шмидта; --- -разложимая группа, где . Если и --- простая группа, то , или и --- простое число.
Ясно, что условие теоремы (??) охватывает случай, когда нильпотентна.
Теорема Пусть --- неразрешимая группа, где --- группа Шмидта, --- нильпотентная группа. Тогда . и --- простое число, или для некоторого простого числа .
Доказательство. Пусть группа --- контрпример минимального порядка. Как и в теореме (??), пусть . Ясно, что . Группа не является произведением группы Шмидта и нильпотентной группы, поэтому из теоремы (??) следует, что порядки и не взаимно просты, а из леммы (??) вытекает, что --- непростая группа.
Допустим, что порядок делится на и пусть --- силовская -подгруппа из . Тогда --- неразрешимая группа, поэтому из теоремы Виландта-Кегеля следует, что . Так как есть -группа, то и по лемме из (4) группа есть -группа, противоречие. Следовательно, порядок не делится на . Но тогда делит порядок . Рассуждая как и в лемме, получаем, что , а из следует, что .
Пусть --- минимальная инвариантная в подгруппа. В силу теоремы Виландта-Кегеля и разрешима. Если , то, применяя к индукцию, получаем, что или и --- простое число, а группа из заключения теоремы, противоречие. Значит, , кроме того, и , где --- силовская -подгруппа из , --- инвариантное -дополнение в . Проверка показывает, что --- простая группа. Пусть --- силовская -подгруппа из , для которой . Если , то централизатор элемента из содержит подгруппы и , что противоречит простоте . Далее, , поэтому --- подгруппа. Но , значит, .
Пусть --- силовская 2-подгруппа в , тогда --- силовская в . Как и в теореме (??), можно показать, что неабелева и неизоморфна . Значит, . Пусть , --- дополнение к в . Если , то повторение соответствующих рассуждений из теоремы приводит к противоречию. Значит, . Так как , то из результата Уолеса заключаем, что изоморфна одной из следующих групп: , , , , , . Для них группа Шмидта должна иметь соответственно следующие порядки: , , , , , , причем , 5, 7, 7, 13 или 17 соответственно. Но это возможно лишь когда или и в силовская 3-подгруппа абелева. Так как и в и силовские 3-подгруппы неабелевы, то получили противоречие. Теорема доказана.
4. Произведение бипримарной и 2-разложимой группВ (1) описаны конечные неразрешимые группы, являющиеся произведением двух подгрупп взаимно простых порядков, одна из которых есть группа Шмидта, а вторая --- 2-разложимая группа (см. также(2)). Все свойства группы Шмидта хорошо известны, в частности, она бипримарна, т. е. ее порядок делится в точности на два различных простых числа, и в ней содержится неединичная циклическая силовская подгруппа.
Развивая указанный результат работы(6), мы доказываем в настоящей заметке следующую теорему.
Теорема Пусть конечная группа является произведением своих подгрупп и взаимно простых порядков, и пусть --- бипримарная группа, а --- 2-разложимая группа четного порядка. Предположим, что в есть неединичная циклическая силовская подгруппа . Тогда, если неразрешима, то изоморфна или .
обозначает произведение всех разрешимых инвариантных в подгрупп.
Следствие Пусть группа обладает факторизацией, указанной в теореме(3). Тогда, если порядок не равен 3 или 1, то разрешима.