Группы Судзуки

Группа Судзуки — это алгебраическая структура, относящаяся к классу конечных простых групп, впервые описанная японским математиком Митио Судзуки в 1960 году. Группы Судзуки представляют собой одно из семейств групп лиева типа, возникающих в теории конечных групп и тесно связанных с алгебраическими группами над конечными полями. Они являются важным компонентом классификации конечных простых групп, завершённой в XX веке, и обладают уникальными свойствами, отличающими их от других групп лиева типа.

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

Группы Судзуки обозначаются символом \(^2B_2(q)\) или \(\mathrm{Sz}(q)\), где \(q = 2^{2n+1}\) — нечётная степень числа 2 (то есть \(q = 2, 8, 32, 128, \dots\)). Они являются скрученными группами лиева типа, полученными из алгебраической группы типа \(B_2\) (симплектическая группа ранга 2) с помощью автоморфизма поля порядка 2. Группы Судзуки существуют только для полей характеристики 2, что делает их уникальным случаем среди конечных простых групп.

Основные параметры группы Судзуки \(\mathrm{Sz}(q)\):

• Порядок: \(q^2(q-1)(q^2+1)\).
• Простота: для \(q > 2\) группа \(\mathrm{Sz}(q)\) является простой; для \(q = 2\) группа \(\mathrm{Sz}(2)\) изоморфна группе Фробениуса порядка 20 и не является простой.
• Классификация: группы Судзуки входят в список 18 семейств конечных простых групп, наряду с группами Шевалле, группами Штейнберга и спорадическими группами.

История открытия

Митио Судзуки (1926–1998) в 1960 году опубликовал работу, в которой описал новое семейство конечных простых групп, позже названных его именем. Открытие было сделано в контексте изучения групп с заданными свойствами централизаторов инволюций (элементов порядка 2). Судзуки показал, что если в конечной простой группе централизатор любой инволюции является 2-группой (то есть группой, порядок которой — степень двойки), то группа должна быть изоморфна одной из групп \(\mathrm{Sz}(q)\). Это открытие стало важным шагом в классификации конечных простых групп, так как выявило новый класс групп, не входящих в ранее известные семейства.

Позднее, в 1962 году, Жак Титс показал, что группы Судзуки являются частным случаем скрученных групп лиева типа, возникающих из автоморфизмов алгебраических групп. Это позволило включить их в общую теорию групп лиева типа, разработанную Клодом Шевалле и Робертом Штейнбергом.

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

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

Порядок группы \(\mathrm{Sz}(q)\) равен \(q^2(q-1)(q^2+1)\). Например, для \(q = 8\) порядок составляет \(8^2 \cdot 7 \cdot 65 = 64 \cdot 7 \cdot 65 = 29120\). Для \(q = 32\) порядок равен \(32^2 \cdot 31 \cdot 1025 = 1024 \cdot 31 \cdot 1025 = 32\,512\,000\).

Группа Судзуки имеет следующую подгрупповую структуру:

• Борелевская подгруппа: подгруппа, являющаяся полупрямым произведением элементарной абелевой 2-группы порядка \(q^2\) и циклической группы порядка \(q-1\).
• Подгруппа Шевалле: подгруппа, изоморфная группе \(\mathrm{SL}(2,q)\) (специальная линейная группа степени 2 над полем из \(q\) элементов), которая является максимальной подгруппой.
• Подгруппа Фробениуса: для \(q = 2\) группа \(\mathrm{Sz}(2)\) изоморфна группе Фробениуса порядка 20, которая является разрешимой.

Свойства простоты

Для \(q > 2\) группа \(\mathrm{Sz}(q)\) является простой, то есть не имеет нетривиальных нормальных подгрупп. Простота доказывается с помощью теории групп лиева типа: группы Судзуки являются скрученными группами, и для них выполняется критерий простоты, аналогичный критерию для групп Шевалле.

Централизаторы инволюций

Одной из ключевых характеристик групп Судзуки является строение централизаторов инволюций. В \(\mathrm{Sz}(q)\) все инволюции (элементы порядка 2) сопряжены, и их централизатор является 2-группой, то есть группой, порядок которой — степень двойки. Это свойство было использовано Судзуки для характеризации группы: если в конечной простой группе централизатор любой инволюции является 2-группой, то группа изоморфна \(\mathrm{Sz}(q)\) для некоторого \(q = 2^{2n+1}\).

Автоморфизмы

Группа внешних автоморфизмов \(\mathrm{Sz}(q)\) имеет порядок \(2n+1\), где \(q = 2^{2n+1}\). Внешние автоморфизмы возникают из автоморфизмов поля \(\mathbb{F}_q\), которые действуют на группе через скручивание. Полная группа автоморфизмов \(\mathrm{Sz}(q)\) является полупрямым произведением группы внутренних автоморфизмов (самой группы) и циклической группы порядка \(2n+1\).

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

Группы Судзуки относятся к классу скрученных групп лиева типа (также называемых группами Штейнберга). Они являются одним из трёх семейств скрученных групп, наряду с группами \(^2A_n(q)\) (унитарные группы) и \(^2G_2(q)\) (группы Ри). В отличие от групп Шевалле, которые существуют для всех полей, группы Судзуки существуют только для полей характеристики 2 с нечётным показателем степени.

В контексте классификации конечных простых групп группы Судзуки входят в список 18 семейств:

• 16 семейств групп лиева типа (включая группы Шевалле, Штейнберга и Судзуки);
• 1 семейство циклических групп простого порядка;
• 1 семейство знакопеременных групп.

Кроме того, существуют 26 спорадических групп, которые не входят в эти семейства. Группы Судзуки не являются спорадическими, так как образуют бесконечное параметрическое семейство.

Примеры

Группа \(\mathrm{Sz}(2)\)

Для \(q = 2\) группа \(\mathrm{Sz}(2)\) имеет порядок \(2^2 \cdot (2-1) \cdot (2^2+1) = 4 \cdot 1 \cdot 5 = 20\). Она изоморфна группе Фробениуса порядка 20, которая является разрешимой и не является простой. Группа \(\mathrm{Sz}(2)\) изоморфна полупрямому произведению циклической группы порядка 5 и циклической группы порядка 4.

Группа \(\mathrm{Sz}(8)\)

Для \(q = 8\) группа \(\mathrm{Sz}(8)\) имеет порядок \(8^2 \cdot 7 \cdot 65 = 64 \cdot 7 \cdot 65 = 29120\). Она является простой группой и имеет 7 классов сопряжённости. Группа \(\mathrm{Sz}(8)\) часто используется в качестве примера в учебниках по теории групп, так как её порядок относительно невелик, но структура уже достаточно сложна.

Группа \(\mathrm{Sz}(32)\)

Для \(q = 32\) группа \(\mathrm{Sz}(32)\) имеет порядок \(32^2 \cdot 31 \cdot 1025 = 1024 \cdot 31 \cdot 1025 = 32\,512\,000\). Она является простой и имеет 9 классов сопряжённости. Эта группа уже значительно больше и используется в исследованиях по теории представлений и когомологиям групп.

Применение

Группы Судзуки находят применение в различных областях математики:

• Теория конечных групп: они служат важным примером для изучения свойств простых групп, особенно в контексте классификации и теории групп лиева типа.
• Теория представлений: группы Судзуки используются для построения модулярных представлений и изучения блоков групповых алгебр.
• Криптография: в некоторых схемах криптографии на основе групп лиева типа группы Судзуки могут применяться как альтернатива группам точек эллиптических кривых, хотя их использование менее распространено.
• Геометрия: группы Судзуки связаны с конечными геометриями, в частности с проективными плоскостями и обобщёнными четырёхугольниками. Например, группа \(\mathrm{Sz}(q)\) действует на обобщённом четырёхугольнике порядка \((q, q)\).
• Теория кодирования: группы Судзуки используются для построения кодов, исправляющих ошибки, и в теории дизайнов.

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

• Группы Судзуки являются единственными конечными простыми группами, которые не являются ни группами Шевалле, ни группами Штейнберга, ни спорадическими, но при этом входят в семейство скрученных групп. Они были открыты позже, чем группы Шевалле, и их существование не было предсказано ранее.
• Для \(q = 2\) группа \(\mathrm{Sz}(2)\) не является простой, что делает её исключением среди групп Судзуки с \(q > 2\).
• Группы Судзуки тесно связаны с группами Ри \(^2G_2(q)\), которые также существуют только для полей характеристики 3 с нечётным показателем степени.
• В 1968 году Джон Томпсон использовал группы Судзуки в своей работе по классификации конечных простых групп, что привело к открытию новых спорадических групп.

Источники

• Suzuki, M. (1960). "A new type of simple groups of finite order". Proceedings of the National Academy of Sciences of the United States of America, 46(6), 868–870.
• Tits, J. (1962). "Groupes simples et géométries associées". Proceedings of the International Congress of Mathematicians, Stockholm, 197–221.
• Carter, R. W. (1989). Simple Groups of Lie Type. John Wiley & Sons.
• Gorenstein, D. (1982). Finite Simple Groups: An Introduction to Their Classification. Plenum Press.
• Wilson, R. A. (2009). The Finite Simple Groups. Springer.