Теоремы Силова

Теоремы Силова — это три фундаментальные теоремы теории групп, описывающие структуру конечных групп через их подгруппы, порядок которых является степенью простого числа. Они были доказаны норвежским математиком Людвигом Силовом в 1872 году и являются обобщением теоремы Коши, которая гарантирует существование подгрупп простого порядка. Теоремы Силова играют ключевую роль в классификации конечных простых групп и анализе их строения.

Формулировки теорем

Пусть \( G \) — конечная группа порядка \( |G| = p^n \cdot m \), где \( p \) — простое число, \( n \geq 1 \), а \( m \) не делится на \( p \). Тогда:

1. Первая теорема Силова: В группе \( G \) существует подгруппа порядка \( p^k \) для любого \( k \) от 1 до \( n \). В частности, существует подгруппа порядка \( p^n \), называемая силовской \( p \)-подгруппой (или \( p \)-силовской подгруппой).
2. Вторая теорема Силова: Все силовские \( p \)-подгруппы группы \( G \) сопряжены друг другу. То есть, если \( P \) и \( Q \) — две силовские \( p \)-подгруппы, то существует элемент \( g \in G \) такой, что \( Q = gPg^{-1} \).
3. Третья теорема Силова: Число \( n_p \) силовских \( p \)-подгрупп в \( G \) удовлетворяет двум условиям:

• \( n_p \equiv 1 \pmod{p} \);
• \( n_p \) делит \( m \) (где \( m = |G| / p^n \)).

История

Людвиг Силов (1832–1918) опубликовал свои теоремы в 1872 году в статье «Théorèmes sur les groupes de substitutions» («Теоремы о группах подстановок»). Работа была написана на французском языке и опубликована в журнале Mathematische Annalen. Силов обобщил более ранние результаты Огюстена Луи Коши (теорема Коши о существовании элемента простого порядка) и Камиля Жордана. Доказательства Силова основывались на теории групп подстановок и использовали понятие орбит действия группы. Впоследствии были найдены более простые доказательства, в том числе с использованием теории действий группы на множестве смежных классов.

Основные понятия

Силовская \( p \)-подгруппа

Силовской \( p \)-подгруппой конечной группы \( G \) называется максимальная по включению \( p \)-подгруппа, то есть подгруппа, порядок которой является степенью простого числа \( p \) и которая не содержится ни в какой другой \( p \)-подгруппе большей мощности. Из первой теоремы Силова следует, что порядок силовской \( p \)-подгруппы равен \( p^n \), где \( p^n \) — наибольшая степень \( p \), делящая порядок \( G \).

Сопряжённость

Вторая теорема Силова утверждает, что все силовские \( p \)-подгруппы сопряжены. Это означает, что они изоморфны и имеют одинаковую структуру. Сопряжённость позволяет рассматривать силовские подгруппы как «одинаковые» с точностью до внутреннего автоморфизма группы.

Число силовских подгрупп

Третья теорема Силова даёт ограничения на количество силовских \( p \)-подгрупп. Число \( n_p \) всегда нечётно при \( p = 2 \) (так как \( n_2 \equiv 1 \pmod{2} \)), и в общем случае \( n_p \) — делитель \( m \). Это свойство часто используется для доказательства того, что силовская подгруппа является нормальной (если \( n_p = 1 \)).

Доказательства (краткий обзор)

Существует несколько стандартных подходов к доказательству теорем Силова. Наиболее распространённое доказательство использует действие группы \( G \) на множестве всех подмножеств мощности \( p^n \) или на множестве смежных классов. Ключевой момент — рассмотрение орбит действия и применение формулы стабилизатора.

1. Первая теорема часто доказывается индукцией по порядку группы с использованием теоремы Коши и рассмотрения центра группы.
2. Вторая теорема выводится из действия силовской \( p \)-подгруппы на множестве всех силовских \( p \)-подгрупп.
3. Третья теорема следует из анализа числа точек в орбитах действия группы \( G \) на множестве силовских подгрупп.

Примеры

Пример 1: Группа порядка 15

Пусть \( |G| = 15 = 3 \cdot 5 \). Для \( p = 3 \): \( n_3 \equiv 1 \pmod{3} \) и \( n_3 \) делит 5. Возможные значения: \( n_3 = 1 \) или \( n_3 = 5 \). Но если \( n_3 = 5 \), то \( n_3 \equiv 2 \pmod{3} \), что недопустимо. Значит, \( n_3 = 1 \). Аналогично для \( p = 5 \): \( n_5 \equiv 1 \pmod{5} \) и делит 3, поэтому \( n_5 = 1 \). Обе силовские подгруппы нормальны, и группа \( G \) изоморфна прямому произведению циклических групп порядка 3 и 5, то есть циклической группе порядка 15.

Пример 2: Группа порядка 12

Рассмотрим \( |G| = 12 = 2^2 \cdot 3 \). Для \( p = 2 \): \( n_2 \equiv 1 \pmod{2} \) и делит 3, поэтому \( n_2 = 1 \) или \( n_2 = 3 \). Для \( p = 3 \): \( n_3 \equiv 1 \pmod{3} \) и делит 4, поэтому \( n_3 = 1 \) или \( n_3 = 4 \). Возможны различные варианты, соответствующие разным группам порядка 12 (например, знакопеременная группа \( A_4 \), диэдральная группа \( D_6 \), циклическая группа \( C_{12} \)). Теоремы Силова помогают различить эти группы: например, в \( A_4 \) \( n_3 = 4 \), а в \( D_6 \) \( n_3 = 1 \).

Применение

Теоремы Силова являются одним из основных инструментов для:

• Классификации конечных групп: Они позволяют определить возможные структуры групп заданного порядка. Например, все группы порядка \( pq \) (где \( p < q \) — простые числа) классифицируются с помощью теорем Силова.
• Доказательства нормальности подгрупп: Если \( n_p = 1 \), то силовская \( p \)-подгруппа является нормальной, что часто используется для построения полупрямых произведений.
• Анализа простых групп: В теории конечных простых групп теоремы Силова используются для ограничения возможных порядков и строения.
• Решение задач о существовании подгрупп: Например, доказательство того, что группа порядка 56 не может быть простой, основано на подсчёте силовских подгрупп.

Следствия и обобщения

Следствия

• Теорема Коши: Если \( p \) делит порядок группы, то в ней существует элемент порядка \( p \). Это частный случай первой теоремы Силова при \( k = 1 \).
• Нормальность силовской подгруппы: Если \( n_p = 1 \), то силовская \( p \)-подгруппа является характеристической (то есть инвариантной относительно всех автоморфизмов группы).
• Структура групп порядка \( p^2 \): Любая группа порядка \( p^2 \) абелева (это доказывается с помощью теорем Силова и анализа центра).

Обобщения

• Теоремы Холла: Обобщают понятие силовских подгрупп на множества простых чисел (холловы подгруппы) для разрешимых групп.
• Теоремы Силова для бесконечных групп: Существуют аналоги для проконечных групп, где силовские подгруппы определяются как максимальные проконечные \( p \)-подгруппы.
• Теория Брауэра: Использует силовские подгруппы в теории представлений конечных групп.

Критика и ограничения

Теоремы Силова не дают полной классификации групп заданного порядка — они лишь накладывают ограничения на возможное число и сопряжённость подгрупп. Для полного описания группы часто требуются дополнительные методы, такие как теория представлений, когомологии групп или классификация конечных простых групп. Кроме того, теоремы Силова не работают для бесконечных групп без дополнительных условий (например, конечной порождённости).

Интересные факты

• Людвиг Силов был учителем математики в школе, а его работа над теоремами была выполнена в свободное время. Он также известен как редактор собрания сочинений Нильса Хенрика Абеля.
• Теоремы Силова были одними из первых результатов, систематически использующих понятие действия группы на множестве.
• В 1959 году математик Гельмут Виландт доказал, что для любой конечной группы число силовских \( p \)-подгрупп равно \( 1 \) по модулю \( p^2 \) для некоторых классов групп, но это не верно в общем случае.

Источники

• Силов, Л. «Théorèmes sur les groupes de substitutions», Mathematische Annalen, 1872.
• Ленг, С. «Алгебра», глава о группах.
• Херштейн, И. «Некоммутативные кольца», раздел о силовских подгруппах.
• Винберг, Э. Б. «Курс алгебры», глава 5.