Простые группы и великая классификация

10000 страниц доказательств. 500 математиков. 50 лет работы. Группа Монстра содержит 8*10^53 элементов - больше, чем атомов в Солнечной системе. А её коэффициенты таинственно совпадают с теорией чисел. Это не фантастика - это классификация конечных простых групп.

• Коды Голея: связаны с группами Матьё M23 и M24; используются NASA для защиты телеметрии от ошибок
• Теория струн: спорадические группы появляются в сверхсимметричных теориях; лунное сияние связывает Монстр с теорией струн
• Галуа: простота A5 => нет радикальной формулы для уравнений степени 5 - основа всей современной алгебры

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

• Quotient Groups

Простые группы: атомы группового мира

Классификация конечных простых групп - теорема длиной 10000 страниц, доказывавшаяся 50 лет усилиями 500+ математиков. Это самый длинный математический результат в истории. И он полностью завершён.

**Простая группа** - нетривиальная группа G без нормальных подгрупп, кроме {e} и G. Иначе говоря, G нельзя «разложить» через факторгруппу на меньшие части.

Аналогия с простыми числами: каждое натуральное число = произведение простых (теорема арифметики). Каждая конечная группа строится из простых через ряды композиции (теорема Жордана-Гёльдера). Простые группы - атомы, всё остальное - молекулы.

Ряд композиции G = G₀ ▷ G₁ ▷ ... ▷ Gₖ = {e}: каждый Gᵢ нормален в Gᵢ₋₁, а факторы Gᵢ₋₁/Gᵢ - простые. Теорема Жордана-Гёльдера: этот набор простых факторов определён однозначно (как простые делители числа).

Z/pZ для простого p проста по теореме Лагранжа: любая подгруппа H имеет порядок, делящий p - значит |H| = 1 или |H| = p, нормальных подгрупп между нет.

Z_p, A_n и группы Шевалле

Полная классификация даёт три типа: бесконечные серии + 26 исключений. Бесконечных серий три: Z/pZ, чередующиеся Aₙ и группы Шевалле над конечными полями.

A₅ - наименьшая неабелева простая группа, порядка 60. Три замечательных изоморфизма: A₅ ≅ PSL(2,5) ≅ I (группа симметрий икосаэдра). PSL(2,7) - вторая наименьшая неабелева простая, порядка 168.

Исторический факт: Галуа в 1832 году - в письме другу за ночь до дуэли, в 20 лет - доказал простоту PSL(2,p) для простых p >= 5 и связал это с неразрешимостью уравнений степени >= 5 через простоту A₅. За несколько часов до смерти.

Группа Монстра и лунное сияние

26 спорадических простых групп не вписываются ни в одну из трёх бесконечных серий. Самая большая - **Группа Монстра** M, предсказанная в 1973 году и построенная в 1980-м.

**Лунное сияние (Monstrous Moonshine)**: в 1970-80-х математики заметили, что коэффициенты j-функции (ключевого объекта теории модульных форм) совпадают с размерностями представлений Монстра. 196884 = 196883 + 1. Выглядело как мистика.

Ричард Борчердс доказал лунное сияние в 1992 году, создав теорию вертексных алгебр - получил Медаль Филдса. Связь Монстра с модульными формами оказалась реальной и глубокой - она соединяет теорию групп, теорию чисел и теоретическую физику (теорию струн).

Галуа-связь: простота A₅ => нет формулы для корней уравнения степени 5 через радикалы. A₄ не проста => уравнение степени 4 разрешимо. A₃ ≅ Z/3Z - абелева => степень 3 разрешима. Простота группы напрямую определяет, какие уравнения решаемы.

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

• G проста: нет нормальных подгрупп, кроме {e} и G - аналог простого числа
• Жордан-Гёльдер: факторы ряда композиции однозначны - простые группы суть атомы
• Три бесконечные серии: Z/pZ, Aₙ (n>=5), 16 серий Шевалле над конечными полями
• 26 спорадических групп - исключения, не вписывающиеся ни в одну серию
• Монстр M: |M| ≈ 8*10^53, связан с j-функцией (лунное сияние Борчердса, 1992)
• Галуа: простота A5 <=> уравнение 5-й степени нерешаемо радикалами

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

Классификация простых - начало, а не конец. Расширения групп, теория расширений и когомологии групп изучают, как из простых строятся все остальные.

• Теория представлений — Неприводимые представления простых групп - ключевой инструмент их изучения
• Гомологическая алгебра — H²(G, M) классифицирует расширения: как строить несимметричные группы из простых

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

• la-01-vectors-intro