Примарные группы и их простейшие свойства
Определение 2.1.1. Группа 
называется примарной, если её порядок равен степени некоторого простого числа.
Теорема 2.1.1 (Свойства примарных групп). Пусть 
– примарная группа.
1. Центр неединичной примарной группы отличен от 1.
Доказательство. Пусть 
‒ 
-группа порядка 
и 
‒ все различные классы сопряженных элементов группы , 
Как известно, порядок класса сопряженных с 
элементов равен индексу централизатора , то есть 
. Каждый элемент центра составляет отдельный класс и наоборот, если 
то 
где 
‒ центр. Итак, 
где 
при 
Пусть 
Тогда 
Отсюда следует, что существует 
такое, что 
Но тогда 
и 
2. В примарной группе каждая собственная подгруппа отлична от своего нормализатора.
Доказательство. Пусть 
‒ 
-группа и 
‒ собственная подгруппа. Рассмотрим разложение группы в двойные смежные классы по :
Здесь 
Используя Теорему 1.2.2, получаем:
Теперь из разложения 
имеем
Пусть 
Тогда из равенства 
следует, что
Так как 
то в правой части равенства под знаком суммы имеются слагаемые, равные единице, то есть существует номер 
такой, что 
Это означает, что 
и 
Ввиду того что 
элемент 
не принадлежит и ‒ собственная подгруппа 
3. В примарной группе все максимальные подгруппы нормальны и имеют простые индексы.
Доказательство. Пусть ‒ -группа и 
По 2 пункту рассматриваемой леммы 
‒ собственная подгруппа в своем нормализаторе 
Из максимальности следует, что 
и 
По теореме о соответствии в фактор-группе 
нет нетривиальных подгрупп, поэтому согласно теореме Силова группа имеет простой порядок.
4. В примарной группе пересечение неединичной нормальной подгруппы с центром группы отлично от единицы.
Доказательство. Пусть ‒ -группа и 
Требуется доказать, что 
Если 
‒ произвольный элемент из 
то 
для любого элемента 
Поэтому состоит из классов сопряженных элементов группы , то есть 
где 
Можно положить Поскольку 
то, считая 
получаем
Теперь ясно, что существует такое, что 
и 
5. Минимальная нормальная подгруппа примарной группы имеет простой порядок и содержится в центре группы.
Доказательство. Пусть ‒ -группа и 
Так как 
то 
, а поскольку 
то 
Согласно теореме Силова в 
существует элемент простого порядка. Поэтому 
и из условия 
следует, что 
Теорема доказана.
Определение 2.1.2. Пусть 
Группа называется -группой, если 
, где 
Лемма 2.1.1 Пусть 
Если – абелева группа и 
, такая что 
Теоремы Силова
Определение 2.2.1.
1) Пусть 
где 
Подгруппа 
группы называется силовской -подгруппой группы ( -силовской, силовой), если 
и обозначается 
.
2) 
множество всех силовских подгрупп группы (множество всех силовских -подгрупп группы ).
Теорема 2.2.1 (Первая теорема Силова). Пусть 
Тогда в существуют силовские -подгруппы.
Доказательство. Пусть – контрпример минимального порядка.
Расcмотрим 
а) Пусть 
.
По лемме 1.2.2(2) 
. Так как 
.
Если 
то 
. Пусть 
. Противоречие.
б) Пусть 
не делится на . Рассмотрим формулу классов для 
не делится на 
Таким образом, 
Тогда по лемме 1.2.3(2) 
не делится на . Следовательно, по теореме Лагранжа 
не делится на 
. Соответственно 
где 
Допустим, что 
Тогда 
Противоречие. Следовательно, 
Тогда 
.
Таким образом, 
Противоречие.
Из а) и б) вытекает, что контрпримера не существует. Следовательно, утверждение верно для любой . Теорема доказана.
Теорема 2.2.2 (Вторая теорема Силова).Всякая р -подгруппа группы содержится в некоторой силовской -подгруппе группы 
Доказательство. Пусть ‒ р -подгруппа группы . Тогда 
, 
. Если β=0 ⇒ 
.
Если α=β ⇒ 
. Пусть 
. Пусть 
. Рассмотрим разложение в двойные смежные классы по подгруппе и 
:
Следовательно, 
Таким образом, 
такое что 
не делится на 
Соответственно 
, причем из 
. Теорема доказана.
Теорема 2.2.3 (Третья теорема Силова). Любые 2 силовские -подгруппы группы 
сопряжены в 
Доказательство. Пусть и 
‒ силовские -подгруппы группы . Покажем, что и сопряжены в . Так как ‒ -подгруппа группы , следовательно, по теореме 2.2.2 
для некоторого 
и сопряжены в . Теорема доказана.
Теорема 2.2.4 (Четвертая теорема Силова).Число силовских р -подгрупп группы сравнимо с единицей по модулю и делит 
Доказательство. Пусть 
‒ число силовских р -подгрупп группы . Пусть ‒ силовская р -подгруппа группы . Тогда, по теореме 2.2.3, множество всех силовских р -подгрупп имеет вид:
⇒ 
.
Следовательно, 
Из (1) ⇒ 
Рассмотрим разложение в двойные смежные классы по подгруппе и 
:
. Соответственно, 
По формуле (2) 
⇒ 
Пусть 
. Тогда 
Покажем, что 
. Допустим, что 
не делится на . Тогда 
, такое что
. Таким образом, и 
‒ два разложения силовских р -подгрупп в . С другой стороны, 
. Следовательно, ‒ единственная силовская р -подгруппа в , что является противоречием. Таким образом, ⇒ 
⇒ 
. Теорема доказана.
