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

Классификация конечных простых групп — это фундаментальная теорема теории групп, утверждающая, что все конечные простые группы (то есть неабелевы группы, не имеющие нетривиальных нормальных подгрупп) могут быть разделены на четыре обширных класса: циклические группы простого порядка, знакопеременные группы степени не менее 5, группы лиева типа (включая классические группы и исключительные группы) и 26 спорадических групп. Доказательство этой теоремы, завершённое в 1980-х годах, является одним из крупнейших достижений математики XX века, однако его полный объём оценивается в десятки тысяч страниц, опубликованных в сотнях статей, что делает его уникальным по сложности и масштабу.

История

Предыстория

Изучение конечных групп началось в XIX веке с работ Эвариста Галуа, который ввёл понятие простой группы как аналога простого числа в теории групп. Он показал, что знакопеременная группа A₅ (степени 5) является простой, и установил связь между разрешимостью алгебраических уравнений и строением групп Галуа. К началу XX века были известны лишь отдельные примеры простых групп: циклические группы простого порядка, знакопеременные группы Aₙ при n ≥ 5, а также некоторые классические группы (например, проективные специальные линейные группы PSL(n, q)).

Поиск полной классификации

В 1950-х годах математики начали осознавать, что все известные конечные простые группы принадлежат нескольким бесконечным семействам и небольшому числу исключений. В 1960-х годах Ричард Брауэр, Джон Томпсон и другие разработали методы локального анализа, позволяющие изучать строение группы по свойствам её подгрупп. В 1963 году Томпсон и Уолтер Фейт опубликовали теорему о разрешимости групп нечётного порядка, что стало важным шагом.

Завершение классификации

В 1970–1980-х годах усилиями десятков математиков (включая Дэниела Горенштейна, Майкла Ашбахера, Рональда Соломона, Бернда Фишера и других) была построена полная классификация. В 1981 году Горенштейн объявил о завершении доказательства, однако в 1983 году была обнаружена ошибка в классификации квазиторических групп, исправленная к 1985 году. Окончательный вариант теоремы был опубликован в 1983–2004 годах в серии монографий. В 2004 году проект по ревизии и упрощению доказательства (GLS — Горенштейн, Лайонс, Соломон) начал публикацию 12-томного издания, которое должно составить около 5000 страниц.

Классификация

Все конечные простые группы делятся на четыре категории:

1. Циклические группы простого порядка

Это группы вида Cₚ, где p — простое число. Они являются единственными абелевыми конечными простыми группами. Их порядок равен p, и они не имеют нетривиальных нормальных подгрупп.

2. Знакопеременные группы

Группы Aₙ (чётные перестановки n элементов) при n ≥ 5. Они просты, за исключением A₄ (непроста) и A₅ (проста). Знакопеременные группы образуют бесконечное семейство, и их порядок равен n!/2.

3. Группы лиева типа

Это наиболее многочисленный класс, включающий:

• Классические группы: проективные специальные линейные PSL(n, q), проективные симплектические PSp(2n, q), проективные унитарные PSU(n, q), проективные ортогональные PΩ(2n+1, q) и PΩ⁺(2n, q), PΩ⁻(2n, q). Они определены над конечными полями порядка q (q — степень простого числа).
• Исключительные группы: G₂(q), F₄(q), E₆(q), E₇(q), E₈(q), а также их скрученные варианты (например, ²E₆(q), ³D₄(q), ²G₂(q), ²F₄(q), ²B₂(q)). Эти группы связаны с алгебрами Ли исключительных типов.

Все группы лиева типа, за некоторыми исключениями (например, PSL(2,2) ≅ S₃), являются простыми.

4. Спорадические группы

26 групп, не принадлежащих ни к одному из бесконечных семейств. Они были открыты в 1960–1970-х годах. Крупнейшая из них — группа Монстра (Monster, или F₁), порядок которой равен 808017424794512875886459904961710757005754368000000000. Другие известные примеры: группа Матьё M₁₁, M₁₂, M₂₂, M₂₃, M₂₄; группа Янко J₁, J₂, J₃, J₄; группа Хигумана–Симса HS; группа Маклафлина McL; группа Судзуки Sz; группа Рудавалиса Ru; группа Харады–Нортона HN; группа Лионса Ly; группа Томпсона Th; группа Фишера Fi₂₂, Fi₂₃, Fi₂₄'; группа Бэби-Монстр (Baby Monster) B; группа Монстра M; группа О'Нэна O'N; группа Коэна Co₁, Co₂, Co₃; группа Холда–Янко–Нортона HJ; группа Тица T; группа Парка–Смита–Вонга J₄.

Доказательство

Структура доказательства

Доказательство теоремы классификации основано на анализе строения конечных простых групп с помощью локальных подгрупп (нормализаторов силовских подгрупп). Основные этапы:

1. Классификация групп с абелевым силовским 2-подгруппом (теорема Уолтера).
2. Классификация групп с неабелевым силовским 2-подгруппом (теорема Горенштейна–Уолтера).
3. Анализ групп с компонентами (теорема Ашбахера–Смита).
4. Классификация групп с квазиторическими подгруппами (теорема Томпсона–Глаубермана).

Проблемы и критика

Доказательство является чрезвычайно сложным и содержит множество технических деталей. В 1980-х годах были обнаружены пробелы, в частности в классификации групп с квазиторическими подгруппами, которые были исправлены. В 1990-х годах начался проект GLS по упрощению и ревизии доказательства, который продолжается до сих пор. Некоторые математики (например, Жан-Пьер Серр) критиковали доказательство за его объём и отсутствие концептуальной ясности, однако оно признаётся корректным.

Значение

Влияние на математику

Теорема классификации оказала глубокое влияние на теорию групп, комбинаторику, теорию представлений и алгебраическую геометрию. Она позволила решить многие открытые проблемы, такие как:

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

Применения

Хотя теорема является чисто математической, её методы используются в криптографии (например, в построении конечных простых групп для криптосистем на основе спаривания), в теории кодирования (коды Гоппы, коды Рида–Соломона) и в физике (теория струн, симметрии в квантовой теории поля).

Современное состояние

В 2020-х годах проект GLS (Горенштейн–Лайонс–Соломон) продолжает публикацию ревизованного доказательства. К 2024 году вышло 11 томов, последний из которых охватывает классификацию спорадических групп. Планируется завершить проект к 2030 году. Параллельно ведутся работы по компьютерной верификации отдельных частей доказательства с использованием систем автоматического доказательства теорем (например, Coq).

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

• Группа Монстра (Monster) имеет порядок, равный примерно 8×10⁵³, что делает её крупнейшей конечной простой группой. Она была предсказана Берндом Фишером и Робертом Гриссом в 1973 году.
• Существует гипотеза, что все конечные простые группы могут быть представлены как группы автоморфизмов некоторой алгебраической структуры (например, алгебры Ли).
• Некоторые спорадические группы (например, M₁₁, M₁₂) были открыты Эмилем Матьё в 1861 году, задолго до начала систематической классификации.
• В 2013 году была опубликована статья, утверждающая, что найдена 27-я спорадическая группа, но позже ошибка была обнаружена.

Источники

• Gorenstein, D. (1982). Finite Simple Groups: An Introduction to Their Classification. Plenum Press.
• Aschbacher, M. (2004). The Status of the Classification of the Finite Simple Groups. Notices of the AMS.
• Wilson, R. A. (2009). The Finite Simple Groups. Springer.
• Solomon, R. (2001). A Brief History of the Classification of the Finite Simple Groups. Bulletin of the AMS.
• GLS Project (2004–2024). The Classification of the Finite Simple Groups. Volumes 1–11. American Mathematical Society.