Факторгруппы и теорема Нётер

Можно ли полностью описать ВСЕ группы? Для неабелевых - задача безнадёжная (10 000 страниц для конечных простых). Но для абелевых - у нас есть полная классификация. Факторгруппы и теоремы Нётер - ключевой инструмент этого доказательства.

• Классификация абелевых групп применяется в теории чисел (группа классов идеалов, группа Галуа абелевых расширений) и в криптографии (структура групп точек эллиптических кривых над конечными полями определяет безопасность ECDSA)

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

• Гомоморфизмы и изоморфизмы
• Подгруппы и смежные классы

Конструкция факторгруппы

Пусть N - **нормальная подгруппа** G (N ◁ G, то есть gNg⁻¹ = N для всех g). Тогда множество смежных классов G/N = {gN | g ∈ G} становится группой с операцией (aN)(bN) = (ab)N. Проверяем корректность: если aN = a'N и bN = b'N, то (ab)N = (a'b')N.

**Нормальность критична!** Если N не нормальна, операция (aN)(bN) = (ab)N некорректна - результат зависит от выбора представителей. Пример: S₃ и подгруппа {e, (12)} не нормальна. Попытка построить «факторгруппу» даст противоречие: (13){e,(12)} × (12){e,(12)} определяется неоднозначно.

Три теоремы Нётер об изоморфизме

**Первая теорема Нётер** (уже знакома): если φ: G → H - гомоморфизм, то G/ker(φ) ≅ im(φ). **Вторая теорема:** Если H ≤ G и N ◁ G, то HN ≤ G, H∩N ◁ H, и H/(H∩N) ≅ HN/N. **Третья теорема:** Если N ◁ G и K ◁ G с N ≤ K ≤ G, то (G/N)/(K/N) ≅ G/K.

**Эмми Нётер (1882-1935)** - одна из величайших математиков в истории. Три теоремы об изоморфизме, теорема Нётер в физике (симметрия → закон сохранения), коммутативная алгебра. Эйнштейн назвал её «самым значительным творческим математическим гением, когда-либо рождённым». При этом 12 лет не могла получить оплачиваемую позицию - из-за пола.

Классификация конечных абелевых групп

**Теорема о классификации конечных абелевых групп:** Каждая конечная абелева группа изоморфна прямому произведению циклических групп простого порядка: G ≅ Z_{p₁^{a₁}} × Z_{p₂^{a₂}} × ... × Z_{pₖ^{aₖ}} Группы с одинаковым разложением изоморфны; с разными - нет.

**Почему это важно?** Классификация говорит: мы знаем ВСЕ конечные абелевы группы. До бесконечности. Это редкий случай полного математического знания. Для неабелевых групп такой классификации не существует - задача принципиально сложнее (классификация конечных простых групп заняла 10 000 страниц и 100 лет работы тысяч математиков).

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

• Факторгруппа G/N строится из смежных классов нормальной подгруппы N
• Нормальность N ◁ G необходима для корректности операции в G/N
• Первая теорема Нётер: G/ker(φ) ≅ im(φ)
• Вторая теорема: H/(H∩N) ≅ HN/N (бриллиантовая диаграмма)
• Третья теорема: (G/N)/(K/N) ≅ G/K (деление дробей)
• Классификация: каждая конечная абелева группа - прямое произведение примарных циклических

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

Абстрактная алгебра открывает двери в теорию представлений, гомологическую алгебру и алгебраическую геометрию. Факторгруппы становятся факторобъектами в любой категории - от модулей до топологических пространств.

• Теория колец — Идеалы кольца - аналог нормальных подгрупп; факторкольца - аналог факторгрупп
• Теория категорий — Факторобъекты, ядра и коядра в произвольной категории обобщают идеи теорем Нётер

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

• Докажите, что если [G:N] = 2, то N обязательно нормальна. Почему это рассуждение не работает для индекса 3?
• Сколько неизоморфных абелевых групп порядка 72? (Подсказка: 72 = 2³ × 3², разбиения 3 и разбиения 2)
• Что теоремы Нётер говорят о структуре программных систем? Можно ли провести аналогию между нормальными подгруппами и «стабильными» интерфейсами в архитектуре?

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

• nt-04