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

Сколько различных групп порядка 100 существует? Без теорем Силова это кажется невозможным вопросом. С ними - становится задачей на несколько строк. Силов в 1872 году дал нам рентген для просматривания внутренней структуры конечных групп.

• Теоремы Силова используются в криптографии: порядок группы точек эллиптической кривой над конечным полем определяет силовские подгруппы, что напрямую влияет на стойкость ECDH
• В физике: классификация кристаллографических групп симметрий использует теоремы Силова для анализа возможных структур кристаллов

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

• Quotient Groups and Noether's Theorem

p-группы

**p-группа** - группа, порядок которой является степенью простого числа p: |G| = pⁿ. Примеры: Z₄ (p=2, n=2), Z₈, Z₂×Z₂, D₄ (все порядка 8 = 2³). p-группы имеют особое свойство: их центр Z(G) нетривиален (|Z(G)| ≥ p). Это фундаментальная лемма, из которой вырастают теоремы Силова.

**Уравнение классов** - ключевой инструмент: |G| = |Z(G)| + Σ |Cl(x)|, где сумма по представителям нецентральных классов сопряжённости. Для p-группы все |Cl(x)| > 1 делятся на p, а |G| = pⁿ тоже делится на p. Значит |Z(G)| тоже делится на p, то есть центр содержит хотя бы p элементов.

**Следствие:** каждая группа порядка p² абелева. Доказательство: |Z(G)| делится на p. Если |Z(G)| = p², то G = Z(G) абелева. Если |Z(G)| = p, то G/Z(G) ≅ Zₚ - циклическая, что влечёт G абелеву (парадокс: если G/Z(G) циклична, то G абелева). Поэтому ситуация |Z(G)| = p невозможна, значит |Z(G)| = p² и G абелева.

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

Пусть |G| = pⁿ · m, где p ∤ m (p не делит m). **Подгруппа Силова p-подгруппа** - подгруппа порядка pⁿ (максимальная p-подгруппа). Три великие теоремы Силова: **I теорема (Существование):** G содержит хотя бы одну подгруппу Силова. **II теорема (Сопряжённость):** Все подгруппы Силова сопряжены: если P, Q - силовские p-подгруппы, то Q = gPg⁻¹ для некоторого g ∈ G. **III теорема (Число):** Число nₚ подгрупп Силова удовлетворяет: - nₚ ≡ 1 (mod p) - nₚ | m (делит «сопутствующий» множитель)

**Людвиг Силов (1832-1918)** - норвежский математик, доказавший свои теоремы в 1872 году в статье всего на 10 страниц. Он 40 лет проработал учителем в средней школе - и за это время создал одну из фундаментальных теорем алгебры. Лишь в 65 лет получил университетскую должность. Его статья 1872 года остаётся одной из самых влиятельных в истории теории групп.

**Ловушка:** nₚ = 1 означает, что единственная силовская p-подгруппа **нормальна** в G (так как все силовские сопряжены, а нормальная = сопряжена только сама с собой). Это мощный инструмент: если можно доказать nₚ = 1, группа имеет нормальную подгруппу → можно строить факторгруппу.

Применения: классификация групп порядка pq

**Теорема:** Если |G| = pq, где p < q - простые и p ∤ (q−1), то G ≅ Z_{pq} (единственная группа с точностью до изоморфизма). **Доказательство:** По теоремам Силова: - nₚ | q и nₚ ≡ 1 (mod p) → nₚ ∈ {1, q}. Если q ≢ 1 (mod p), то nₚ = 1. - nq | p и nq ≡ 1 (mod q). Единственный вариант: nq = 1. Если оба nₚ = nq = 1, то G имеет нормальные H ≅ Zₚ и K ≅ Zq. Так как H∩K = {e} и |HK| = pq = |G|, имеем G = HK ≅ Zₚ × Zq ≅ Z_{pq}.

**Случай p | (q−1): полупрямое произведение.** Если p | (q−1), то существует нетривиальный гомоморфизм φ: Zₚ → Aut(Zq) ≅ Z_{q-1}. Это даёт полупрямое произведение Zq ⋊ Zₚ - некоммутативная группа порядка pq. Пример: |G| = 21 = 3×7, 3 | (7−1) = 6. Существуют Z₂₁ и Z₇⋊Z₃ - всего 2 группы порядка 21.

Ключевые идеи

• p-группа: |G| = pⁿ. Центр p-группы нетривиален (из уравнения классов)
• Группы порядка p² всегда абелевы
• Силовская p-подгруппа: подгруппа порядка pⁿ, где |G| = pⁿ·m, p∤m
• I теорема: силовская p-подгруппа существует
• II теорема: все силовские p-подгруппы сопряжены
• III теорема: nₚ ≡ 1 (mod p) и nₚ | m
• nₚ = 1 ⟺ единственная силовская p-подгруппа нормальна

Дальнейшие пути

Теоремы Силова - ворота в теорию конечных простых групп. Классификация конечных простых групп (теорема об огромном монстре) опирается на анализ силовских подгрупп.

• Действия групп — Доказательство теорем Силова использует действие G на множестве смежных классов - естественная мотивация для следующего урока
• Разрешимые группы — Все p-группы разрешимы; теоремы Силова помогают доказывать разрешимость через нормальные ряды

Вопросы для размышления

• Докажите, что каждая группа порядка p² абелева. Используйте: если G/Z(G) циклична, то G абелева.
• Сколько неизоморфных групп порядка 21? Найдите n₃ и n₇, затем рассмотрите оба случая.
• Почему сопряжённость силовских подгрупп (II теорема) означает, что они «одинаковы» с точки зрения внутренней структуры?

Связанные уроки

• nt-03