Глава 2. Примарные и бипримарные группы

 

Примарные группы и их простейшие свойства

Определение 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) ⇒ Пусть . Тогда Покажем, что . Допустим, что не делится на . Тогда , такое что

. Таким образом, и ‒ два разложения силовских р -подгрупп в . С другой стороны, . Следовательно, ‒ единственная силовская р -подгруппа в , что является противоречием. Таким образом, ⇒ ⇒ . Теорема доказана.