В математике , в частности в теории групп , фраза группа типа Ли обычно относится к конечным группам , которые тесно связаны с группой рациональных точек редуктивной линейной алгебраической группы со значениями в конечном поле . Фраза группа типа Ли не имеет общепринятого точного определения, [1] но важная коллекция конечных простых групп типа Ли имеет точное определение, и они составляют большинство групп в классификации конечных простых групп .
Название «группы типа Ли» обусловлено тесной связью с (бесконечными) группами Ли , поскольку компактную группу Ли можно рассматривать как рациональные точки редуктивной линейной алгебраической группы над полем действительных чисел . Дьедонне (1971) и Картер (1989) являются стандартными источниками для групп типа Ли.
Первоначальным подходом к этому вопросу было определение и детальное изучение так называемых классических групп над конечными и другими полями Жорданом (1870). Эти группы изучались Л. Е. Диксоном и Жаном Дьедонне . Эмиль Артин исследовал порядки таких групп с целью классификации случаев совпадения.
Классическая группа — это, грубо говоря, специальная линейная , ортогональная , симплектическая или унитарная группа . Существует несколько небольших вариаций этих групп, которые задаются путем взятия производных подгрупп или центральных факторов , причем последние дают проективные линейные группы . Они могут быть построены над конечными полями (или любым другим полем) во многом таким же образом, как они строятся над действительными числами. Они соответствуют рядам An , B n , C n , D n , 2 An , 2 D n групп Шевалле и Стейнберга.
Группы Шевалле можно рассматривать как группы Ли над конечными полями. Теория была прояснена теорией алгебраических групп и работой Шевалле (1955) по алгебрам Ли, с помощью которой была выделена концепция группы Шевалле . Шевалле построил базис Шевалле (своего рода интегральную форму, но над конечными полями) для всех комплексных простых алгебр Ли (или, скорее, их универсальных обертывающих алгебр ), который можно использовать для определения соответствующих алгебраических групп над целыми числами. В частности, он мог брать их точки со значениями в любом конечном поле. Для алгебр Ли An , Bn , Cn , Dn это дало хорошо известные классические группы, но его конструкция также дала группы, связанные с исключительными алгебрами Ли E6 , E7 , E8 , F4 и G2 . Группы типа G 2 (иногда называемые группами Диксона ) уже были построены Диксоном (1905), а группы типа E 6 — Диксоном (1901).
Конструкция Шевалле не дала всех известных классических групп: она опустила унитарные группы и нерасщепляемые ортогональные группы . Штейнберг (1959) нашел модификацию конструкции Шевалле, которая дала эти группы и два новых семейства 3 D 4 , 2 E 6 , второе из которых было открыто примерно в то же время с другой точки зрения Титсом (1958). Эта конструкция обобщает обычную конструкцию унитарной группы из общей линейной группы.
Унитарная группа возникает следующим образом: общая линейная группа над комплексными числами имеет диаграммный автоморфизм, заданный обращением диаграммы Дынкина A n (что соответствует взятию обратного транспонирования), и полевой автоморфизм , заданный взятием комплексного сопряжения , которые коммутируют. Унитарная группа — это группа неподвижных точек произведения этих двух автоморфизмов.
Аналогично, многие группы Шевалле имеют автоморфизмы диаграмм, индуцированные автоморфизмами их диаграмм Дынкина , и автоморфизмы полей, индуцированные автоморфизмами конечного поля. Аналогично унитарному случаю, Стейнберг построил семейства групп, взяв неподвижные точки произведения диаграммы и автоморфизма поля.
Они дали:
Группы типа 3 D 4 не имеют аналога над действительными числами, поскольку комплексные числа не имеют автоморфизма порядка 3. [ необходимо пояснение ] Симметрии диаграммы D 4 также приводят к триальности .
Suzuki (1960) нашел новую бесконечную серию групп, которые на первый взгляд казались не связанными с известными алгебраическими группами. Ree (1960, 1961) знал, что алгебраическая группа B 2 имеет "дополнительный" автоморфизм в характеристике 2, квадрат которого был автоморфизмом Фробениуса . Он обнаружил, что если конечное поле характеристики 2 также имеет автоморфизм, квадрат которого был отображением Фробениуса, то аналог конструкции Стейнберга дал группы Судзуки. Поля с таким автоморфизмом имеют порядок 2 2 n +1 , а соответствующие группы являются группами Судзуки
(Строго говоря, группа Suz(2) не считается группой Сузуки, поскольку она не является простой: это группа Фробениуса порядка 20.) Ри удалось найти два новых похожих семейства
и
простых групп, используя тот факт, что F 4 и G 2 имеют дополнительные автоморфизмы в характеристике 2 и 3. (Грубо говоря, в характеристике p разрешается игнорировать стрелку на связях кратности p на диаграмме Дынкина при взятии автоморфизмов диаграммы.) Наименьшая группа 2 F 4 (2) типа 2 F 4 не является простой, но имеет простую подгруппу индекса 2, называемую группой Титса (названной в честь математика Жака Титса ). Наименьшая группа 2 G 2 (3) типа 2 G 2 не является простой, но имеет простую нормальную подгруппу индекса 3, изоморфную A 1 (8). В классификации конечных простых групп группы Ри
являются теми, чью структуру сложнее всего определить явно. Эти группы также сыграли роль в открытии первой современной спорадической группы. Они имеют инволюционные централизаторы вида Z /2 Z × PSL(2, q ) для q = 3 n , и, исследуя группы с инволюционным централизатором похожего вида Z /2 Z × PSL(2, 5), Янко нашел спорадическую группу J 1 .
Группы Сузуки являются единственными конечными неабелевыми простыми группами, порядок которых не делится на 3. Они имеют порядок 2 · 2(2 n +1) (2 · 2(2 n +1) + 1)(2 (2 n +1) − 1).
Конечные группы типа Ли были одними из первых групп, которые рассматривались в математике, после циклических , симметрических и знакопеременных групп, с проективными специальными линейными группами над простыми конечными полями, PSL(2, p ), построенными Эваристом Галуа в 1830-х годах. Систематическое исследование конечных групп типа Ли началось с теоремы Камиля Жордана о том, что проективная специальная линейная группа PSL(2, q ) является простой для q ≠ 2, 3. Эта теорема обобщается на проективные группы более высоких размерностей и дает важное бесконечное семейство PSL( n , q ) конечных простых групп . Другие классические группы изучались Леонардом Диксоном в начале 20-го века. В 1950-х годах Клод Шевалле понял, что после соответствующей переформулировки многие теоремы о полупростых группах Ли допускают аналоги для алгебраических групп над произвольным полем k , что привело к построению того, что сейчас называется группами Шевалле . Более того, как и в случае компактных простых групп Ли, соответствующие группы оказались почти простыми как абстрактные группы ( теорема простоты Титса ). Хотя с 19 века было известно, что существуют и другие конечные простые группы (например, группы Матье ), постепенно сформировалось убеждение, что почти все конечные простые группы могут быть объяснены соответствующими расширениями конструкции Шевалле вместе с циклическими и знакопеременными группами. Более того, исключения, спорадические группы , разделяют многие свойства с конечными группами типа Ли и, в частности, могут быть построены и охарактеризованы на основе их геометрии в смысле Титса.
Теперь это убеждение стало теоремой – классификацией конечных простых групп . Изучение списка конечных простых групп показывает, что группы типа Ли над конечным полем включают все конечные простые группы, кроме циклических групп, знакопеременных групп, группы Титса и 26 спорадических простых групп .
В общем случае конечная группа, связанная с эндоморфизмом односвязной простой алгебраической группы, является универсальным центральным расширением простой группы, поэтому она совершенна и имеет тривиальный множитель Шура . Однако некоторые из наименьших групп в семействах выше либо несовершенны, либо имеют множитель Шура больше "ожидаемого".
Случаи, когда группа не идеальна, включают:
Вот некоторые случаи, когда группа идеальна, но имеет множитель Шура больше ожидаемого:
Существует ошеломляющее количество «случайных» изоморфизмов между различными малыми группами типа Ли (и знакопеременными группами). Например, группы SL(2, 4), PSL(2, 5) и знакопеременная группа на 5 точках все изоморфны.
Полный список этих исключений см. в списке конечных простых групп . Многие из этих специальных свойств связаны с определенными спорадическими простыми группами.
Знакопеременные группы иногда ведут себя так, как если бы они были группами типа Ли над полем с одним элементом . Некоторые из малых знакопеременных групп также обладают исключительными свойствами. Знакопеременные группы обычно имеют внешнюю группу автоморфизмов порядка 2, но знакопеременная группа на 6 точках имеет внешнюю группу автоморфизмов порядка 4 . Знакопеременные группы обычно имеют множитель Шура порядка 2, но те, что на 6 или 7 точках имеют множитель Шура порядка 6 .
Для конечных групп типа Ли не существует стандартной системы обозначений, и в литературе можно найти десятки несовместимых и запутанных систем обозначений для них.