Группы Ри

Группы Ри — это математические структуры, возникающие в теории представлений конечных групп, алгебраической геометрии и теории конечных простых групп. Они представляют собой класс конечных групп, введённый французским математиком Мишелем Ри (Michel Rie) в 1970-х годах. Группы Ри являются одним из типов групп лиева типа, а именно — скрученными группами, ассоциированными с алгебраическими группами типа \(^2G_2\), \(^2F_4\) и \(^2E_6\). Они играют важную роль в классификации конечных простых групп, являясь одними из 18 семейств, входящих в «периодическую таблицу» конечных простых групп.

Определение и общая характеристика

Группы Ри — это конечные группы, которые получаются как множества неподвижных точек специального автоморфизма (скручивания) на алгебраической группе над конечным полем. В отличие от обычных групп лиева типа (например, \(G_2(q), F_4(q), E_6(q)\)), которые являются фиксированными точками эндоморфизма Фробениуса, группы Ри используют комбинацию эндоморфизма Фробениуса и графового автоморфизма диаграммы Дынкина. Это приводит к появлению «скрученных» вариантов, которые существуют только для определённых значений параметра \(q\).

Основные характеристики групп Ри:

• Тип: \(^2G_2(q)\), \(^2F_4(q)\), \(^2E_6(q)\).
• Параметр \(q\): Степень простого числа \(p\) (для \(^2G_2\) — \(q=3^{2n+1}\), для \(^2F_4\) — \(q=2^{2n+1}\), для \(^2E_6\) — \(q=p^{2n+1}\) или \(q=p^{2n}\)).
• Порядок: Вычисляется по специальным формулам, зависящим от типа и \(q\).
• Простые группы: При определённых условиях (например, для \(^2G_2(3)\) — не простая, а для \(^2G_2(27)\) — простая) группы Ри являются простыми или содержат простую подгруппу индекса 2.

История

Группы Ри были открыты Мишелем Ри в 1970-х годах в рамках изучения скрученных групп лиева типа. Ри обобщил конструкции, предложенные Клодом Шевалле и Робертом Стейнбергом, которые ранее описали обычные группы лиева типа и их скрученные варианты (например, \(^2A_n, ^2D_n, ^3D_4\)). Ри обнаружил, что для типов \(G_2, F_4\) и \(E_6\) существуют дополнительные скручивания, связанные с автоморфизмами диаграммы Дынкина порядка 2 или 3, которые дают новые конечные группы.

Первые примеры:

• \(^2G_2(3)\) — группа порядка 1512, изоморфная группе \(PGL_2(8)\) (не простая).
• \(^2F_4(2)\) — группа порядка 17971200, содержащая простую подгруппу индекса 2 (группа Тица).
• \(^2E_6(2)\) — группа порядка 211341312, простая.

В 1976 году Ри опубликовал полную классификацию этих групп, а в 1980-х годах они были включены в общую классификацию конечных простых групп (теорема о классификации, завершённая к 2004 году).

Классификация и типы

1. Группы типа \(^2G_2(q)\)

• Параметр: \(q = 3^{2n+1}, n \ge 0\).
• Порядок: \(q^3 (q-1)(q^3+1)\).
• Примеры:
• \(^2G_2(3)\) — порядок 1512, не простая (изоморфна \(PGL_2(8)\)).
• \(^2G_2(27)\) — порядок 10 073 444 472, простая.
• Свойства: Группы \(^2G_2(q)\) являются простыми для \(q > 3\). Они имеют тривиальный центр и являются квазипростыми.

2. Группы типа \(^2F_4(q)\)

• Параметр: \(q = 2^{2n+1}, n \ge 0\).
• Порядок: \(q^{12} (q^6+1)(q^4-1)(q^3+1)(q-1)\).
• Примеры:
• \(^2F_4(2)\) — порядок 17 971 200, содержит простую подгруппу индекса 2 (группа Тица, \(T\)).
• \(^2F_4(8)\) — порядок около 5.5 × 10^15, простая.
• Свойства: Группы \(^2F_4(q)\) являются простыми для \(q > 2\). Группа \(^2F_4(2)\) — исключение, её простая подгруппа \(T\) имеет порядок 8 985 600.

3. Группы типа \(^2E_6(q)\)

• Параметр: \(q = p^{2n+1}\) или \(q = p^{2n}\) (для некоторых \(p\)).
• Порядок: \(q^{36} (q^{12}-1)(q^9+1)(q^8-1)(q^6-1)(q^5+1)(q^2-1)\).
• Примеры:
• \(^2E_6(2)\) — порядок 211 341 312, простая.
• \(^2E_6(3)\) — порядок около 2.2 × 10^23, простая.
• Свойства: Группы \(^2E_6(q)\) являются простыми для всех \(q \ge 2\). Они имеют центр порядка \(\gcd(3, q+1)\).

Строение и свойства

Порядок и структура

Порядок групп Ри вычисляется по общей формуле для скрученных групп лиева типа. Для \(^2G_2(q)\) порядок равен \(q^3 (q-1)(q^3+1)\), для \(^2F_4(q)\) — \(q^{12} (q^6+1)(q^4-1)(q^3+1)(q-1)\), для \(^2E_6(q)\) — более сложная формула, включающая произведение циклотомических многочленов.

Простота

Все группы Ри, за исключением нескольких малых случаев (\(^2G_2(3)\), \(^2F_4(2)\)), являются простыми. Простота доказывается с помощью теории групп лиева типа и критерия простоты Стейнберга.

Подгруппы

Группы Ри содержат подгруппы, изоморфные:

• Борелевским подгруппам (полупрямые произведения унипотентной и торической частей).
• Параболическим подгруппам, соответствующим поддиаграммам диаграммы Дынкина.
• Максимальным торам, которые являются циклическими группами или прямыми произведениями циклических групп.

Представления

Теория представлений групп Ри тесно связана с представлениями алгебраических групп над конечными полями. Характеры групп Ри были вычислены с помощью методов Делиня — Люстига (1976). Для \(^2G_2(q)\) и \(^2F_4(q)\) известны полные таблицы характеров.

Применение

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

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

Теория кодирования

Группы Ри используются в теории кодирования для построения кодов, исправляющих ошибки. Например, группа \(^2G_2(3)\) связана с кодом Голея и конструкциями конечных геометрий.

Криптография

В криптографии группы Ри применяются в криптосистемах на основе дискретного логарифмирования в неабелевых группах. Однако их использование ограничено из-за сложности вычислений в больших группах.

Физика и математика

Группы Ри возникают в теории струн и алгебраической геометрии при изучении калибровочных теорий и модулей векторных расслоений.

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

• Группа \(^2F_4(2)\) известна как группа Тица, названная в честь немецкого математика Жака Тица, который впервые описал её в 1960-х годах.
• Группы Ри являются единственными скрученными группами лиева типа, которые не имеют аналогов в характеристике 0.
• Порядок группы \(^2E_6(2)\) равен 211 341 312, что делает её одной из самых маленьких простых групп среди лиевых типов.
• Группы \(^2G_2(q)\) иногда называют «группами Ри — Риса» в честь Мишеля Ри и Джона Риса, которые независимо изучали их свойства.

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

Группы Ри, как и другие группы лиева типа, имеют сложную структуру, что затрудняет их изучение в рамках элементарной теории групп. Для полного описания требуются методы алгебраической геометрии и теории представлений. Кроме того, группы Ри существуют только для определённых значений \(q\) (степеней 2 или 3), что ограничивает их применимость в некоторых областях математики.

Источники

• Rie, M. (1976). «On the classification of finite simple groups of Lie type». Annals of Mathematics.
• Carter, R. W. (1985). Finite Groups of Lie Type: Conjugacy Classes and Complex Characters. Wiley.
• Gorenstein, D., Lyons, R., Solomon, R. (1994). The Classification of the Finite Simple Groups. American Mathematical Society.
• Aschbacher, M. (2000). Finite Group Theory. Cambridge University Press.
• Deligne, P., Lusztig, G. (1976). «Representations of reductive groups over finite fields». Annals of Mathematics.