Геометрия спорадических групп

Размещено на http: //www. allbest. ru/

Пермский государственный гуманитарно-педагогический университет Россия, 614000, Пермь, ул. Сибирская, 24

История физико-математических наук

Геометрия спорадических групп

В.Г. Алябьева

alyabieva@rambler.ru; 8 912 9651591

Аннотация

Дан обзор комбинаторно-геометрических интерпретаций спорадических групп. Спорадические группы удается интерпретировать как группы автоморфизмов блок-схем специального вида. Во второй половине XX в. построены геометрические интерпретации спорадических групп в виде диаграмм.

Ключевые слова: спорадические группы; конечные геометрии; конечные простые группы; группы типа Ли; системы Штейнера.

Annotatіon

Geometry of sporadic groups

V. G. Alyabieva

Perm State Humanitarian Pedagogical University, Russia, 614000, Perm, Sibirskaja, 24

alyabieva@rambler.ru; 8 912 9651591

In article the review of combinatory and geometrical interpretations of sporadic groups is given. Geometry of the sporadic groups are special types of block design. In 20th century geometric interpretation of the sporadic groups are constructed in the form of diagram.

Key words: finite simple groups; finite sporadic groups; simple group of Lie type; block design; finite geometry; Steiner system.

геометрический спорадический диаграмма

В 1981 г. произошло выдающееся событие в математике: было объявлено о завершении классификации простых конечных групп. Классификационная теорема утверждает, что произвольная простая конечная группа изоморфна некоторой группе из построенного списка, содержащего 1) циклические группы простого порядка, 2) знакопеременные группы , 3) группы типа Ли, 4) спорадические группы. Группы типа Ли образуют самый обширный класс простых конечных групп. Большая часть - это конечные аналоги классических простых групп Ли. Классификационная проблема простых конечных групп представляет собой целую новую математическую область, находящуюся в процессе бурного развития. В течение 25 лет большой коллектив математиков активно работал над решением этой проблемы. Утверждение о решении классификационной теоремы следует понимать в том смысле, что построенный список простых конечных групп признан полным. Нельзя полностью исключить некоторые упущения. Но они, даже если обнаружатся, не повлекут за собой коренной перестройки классификационного здания, которое устроено так, что допускает привнесение некоторых новых деталей. Американский математик Даниэл Горенстейн, активный участник классификационного процесса, опубликовал две книги, посвященные итогам классификационной проблемы. Одна из них - "Конечные простые группы. Введение в их классификацию" - переведена на русский язык [1].

Первые значительные результаты в решении классификационной проблемы простых конечных групп принадлежат Ричарду Брауэру. В работах конца 40-х - начала 50-х гг. XX столетия он предложил ключ к решению проблемы - исследовать централизаторы инволюций. Брауэр показал, что, с одной стороны, существует лишь конечное число простых групп с заданным централизатором инволюций. С другой стороны, если централизатор некоторой инволюции в простой группе изоморфен общей линейной группе над конечным полем порядка ( нечетно), то либо эта группа изоморфна трехмерной проективной специальной линейной группе, либо и она изоморфна группе Матье .

Из работ, опубликованных в 50-х гг. и способствующих решению классификационной проблемы, относится статья Клода Шевалле "О некоторых простых группах" [2]. В этой работе указан общий способ построения простых групп (бесконечных простых групп Ли и конечных простых групп типа Ли) как групп автоморфизмов алгебр Ли. Конструкция Шевалле выполняется над произвольным полем , в том числе над конечным полем. Для понимания некоторых результатов Шевалле обратимся к предыстории. Понятие простой группы Ли ввел в 1885 г. Софус Ли. Эли Картан различал (1894) четыре класса простых групп Ли и называл серии большими классами где - ранг группы. Группы класса локально изоморфны группам комплексных унимодулярных матриц; группы классов и - соответственно и - группам комплексных матриц, сохраняющих квадратичную форму; группы класса - группам симплектических комплексных матриц, сохраняющих кососимметрическую билинейную форму. Киллинг показал, что кроме этих комплексных простых групп есть еще особые простые группы размерностей 14, 52, 78, 133 и 248, которые Картан позднее назвал классами . Картан доказал, что иных простых комплексных групп Ли, отличных от перечисленных классов, нет.

Число вещественных простых групп Ли больше, чем комплексных. Картан (1914) нашел все вещественные простые группы Ли четырех больших классов и построил их классификацию.

Простые группы Ли четырех больших классов допускают геометрическую интерпретацию в виде фундаментальных групп проективных, неевклидовых и симплектических пространств.

Каждая простая группа Ли над полем вещественных или комплексных чисел однозначно определяет соответствующую ей простую алгебру Ли над тем же полем. Картан сопоставил элементу группы преобразование алгебры Ли, индуцированное внутренними автоморфизмами группы. Корни группы изображаются корневыми векторами в подалгебре Картана алгебры Ли. Корни алгебры имеют целочисленные разложения по простым корням. Простые корни алгебры Ли можно изобразить в виде связных графов. Вершины этих графов соответствуют простым корням алгебры, две вершины соединяются одной, двумя, тремя чертами или вообще не соединяются в зависимости от того, какова величина угла между корнями алгебры: , или .

Линейные, симплектические, ортогональные и унитарные группы над конечными полями, рассматривал К.Жордан в "Трактате о подстановках" [3]. Линейную группу над конечным полем, по сути, рассматривал ещё Галуа. Л.Диксон (1901) детально изучил эти группы в книге "Линейные группы с представлением в теории полей Галуа" как группы подстановок элементов из полей Галуа. К.Шевалле (1955) предложил следующий метод построения простых групп. Пусть задано конечное поле порядка, равного степени простого числа. Выберем в поле базис Шевалле. Построим множество всех линейных комбинаций базисных элементов с коэффициентами из поля простого порядка. Так как все структурные константы алгебры целочисленны, то можно определить в умножение. Это умножение превращает алгебру в алгебру Ли над конечным полем. Матрица линейного преобразования алгебры Ли в базисе Шевалле имеет в качестве элементов многочлены с целыми коэффициентами. Если эти коэффициенты взяты по модулю , то элементы матрицы представляют собой элементы поля Галуа порядка

 .

Группа Шевалле типа порождается автоморфизмами алгебры, заданными матрицами описанного вида. На этом пути получаются конечные группы Шевалле - конечные аналоги групп четырех больших классов и особых групп.

Для конечных простых групп типа Ли построены геометрические интерпретации в виде групп преобразований конечных неевклидовых геометрий.

Кроме конечных простых групп, принадлежащих перечисленным сериям, найдено 26 спорадических (изолированных) групп. Термин "спорадическая группа" укрепился в лексиконе математиков с 60-х г. XX столетия. Первоначально он был введен Бернсайдом. Первыми из спорадических групп были построены пять так называемых групп Матье. Основное свойство групп Матье, благодаря которому они стали знаменитыми, заключается в их высокой (высочайшей) транзитивности. Термин "транзитивная" ввел Коши (1845) для групп подстановок. Однако термином "группа" Коши не пользовался. Группу образуют подстановки переменных, которые не изменяют значения функции. Группа подстановок, действующая на множестве , транзитивна, если для каждой пары элементов группа содержит подстановку, преобразующую в . Группа называется -кратно транзитивной, если для любых двух наборов по элементов, в группе найдется подстановка, преобразующая один набор в другой. Для каждого натурального существует знакопеременная и симметрическая -кратная группа. Эти случаи - тривиальные. До Матье его соотечественники Лагранж и Эрмит построили, соответственно, дважды и трижды транзитивные группы, отличные от тривиальных. В статьях [4, 5, 6] (1860, 1861, 1873) Эмиль Матье построил: 3-кратно транзитивную группу на 22 символах, 4-кратно транзитивные группы соответственно, на 11 и 23 символах, 5-кратные группы , соответственно, на 12 и 24 символах. Эрнст Витт в 1938 г. [7] показал, что группы Матье можно интерпретировать как группы автоморфизмов систем Штейнера, комбинаторных конфигураций специального вида на 11, 12, 22, 23, 24 элементах. Система Штейнера

задается на множестве из элементов и состоит из семейства таких -подмножеств, что каждое -подмножество входит в одно и только одно -подмножество.

Систему можно построить как одноточечное расширение инверсной плоскости над полем . Инверсная плоскость содержит 10 точек и 30 циклов, обладающих следующими свойствами:

1. Каждый цикл содержит 4 точки.

2. Каждая точка инцидентна 12 циклам.

3. Через любые три точки проходит единственный цикл.

4. Для любых двух точек и цикла существует хотя бы один цикл , , проходящий через .

5. Существуют 4 точки, не принадлежащие одному циклу (4 неконцикулярные точки).

Добавим к плоскости точку так, чтобы она принадлежала каждому циклу из этой плоскости. Полученные "расширенные циклы" назовем блоками системы .

Заметим, что инверсную плоскость также можно получить одноточечным расширением конечной структуры, образующей аффинную плоскость над полем . Плоскость содержит 9 точек и 12 прямых, на каждой прямой лежит 3 точки, через каждые 2 точки проходит прямая.

Аналогично дополняя точкой систему , строим систему . Аналогично строится из системы система , из последней - система . В свою очередь систему можно построить из конечной проективной плоскости над полем , содержащей 21 точку и 21 прямую, по 5 точек на прямой таких, что через каждые 2 точки проходит единственная прямая. В.В.Афанасьев подверг (1984) специальному исследованию геометрию систем Штейнера. В.В.Афанасьев изучал [8, 9] выполнимость различных конфигураций в системах Штейнера , , . Система содержит 22 точки и 77 блоков по 6 точек в каждом блоке. Блок однозначно определяется заданием любых трёх его точек. Любые два блока либо пересекаются в 2 точках, либо не пересекаются. Для системы В.В.Афанасьев доказал справедливость теоремы Микеля и теоремы о связках - основных конфигурационных теорем конформной геометрии. Любая инволюция системы однозначно определяется блоком неподвижных точек и парой соответствующих точек. Система содержит 23 точки и 253 блока по 7 точек в каждом блоке. Любая пара блоков пересекается или в одной точке (касается), или в трех различных точках. Для системы выполняется обобщение теоремы Микеля: шесть точек касания четырех попарно касающихся блоков принадлежат одному блоку.

Образами симметрии в системе являются 7 неподвижных точек и 29 инвариантных блоков.

Система состоит из 24 точек и 759 блоков по 8 точек в каждом блоке. Блок определяется заданием пяти любых его точек. Два блока либо пересекаются в 4 или в 2 точках, либо не пересекаются. Для других непересекающихся блоков существует единственный блок, не пересекающий данные. Для двух блоков, пересекающихся в двух точках, не существует блоков, пересекающих каждый блок в четырех точках, отличных от точек пересечения, и блоков, не пересекающих их. Для пересекающихся в четырех точках блоков существует единственный блок, пересекающий каждый из данных блоков в 4 точках, отличных от их пересечения. Внутренняя структура системы относительно произвольной точки является системой . В системе В.В.Афанасьевым найдено 7 обобщений теоремы Микеля и теоремы о связках. Любая инволюция в определяется блоком неподвижных точек и парой соответствующих точек. Образами симметрии в системе являются 8 неподвижных точек и 71 блок.

С момента построения Матье групп новых спорадических групп не было построено в течение почти 100 лет. После знаменитой статьи Шевалле начались поиски новых простых групп во многих направлениях. Были построены новые простые группы типа Ли, а также другие спорадические группы. К настоящему времени известны 26 спорадических групп.

Уже при построении простых групп типа Ли геометрические соображения играли важную роль. При дальнейшем исследовании простые группы типа Ли получили многочисленные геометрические интерпретации. В 50-х гг. Титс предложил [10] общую идею построения геометрий инцидентностей, связанных с простыми и полупростыми группами Ли и обобщающих понятие проективной геометрии. В последующие годы он интенсивно развивал свои идеи. С каждой геометрией инцидентностей Титс сопоставлял диаграмму-граф. Язык диаграмм Титс усовершенствовал и систематизировал в своей работе 1974 г. Позднее Ф.Бьюкенаут [11] так охарактеризовал эти работы Титса: "Титс дал геометрическую интерпретацию всех простых групп Ли. Каждая из его геометрий характеризуется определенной диаграммой. В этом - одна из наиболее очаровательных особенностей этой теории. Эти хорошие и простые изображения с огромным потенциалом информации могут хорошо проявиться как части универсального языка. Титсом создан настоящий геометрический рай".

Ф.Бьюкенаут, развивая идеи Титса комбинаторно-геометрической характеризации простых конечных групп, ввел диаграммы, характеризующие спорадические группы. Ему удалось построить геометрические интерпретации большей части спорадических групп.

Список литературы

1. Горенстейн Д. Конечные простые группы. Введение в их классификацию. М.: Мир. 1985.

2. Шевалле К. О некоторых простых группах // Математика: период. сб. переводов иностр. статей. 1958. 2:1. С.3-53.

3. Jordan C. Traiteґ des substitutions et des йquations algйbriques. Paris: Gauthier-Villars, 1957. 667 p.

4. Mathieu M.E. Mйmoire sur le nombre valeurs que peut acquйrir une fonction quand on y permute ser variables de toutes les maniиres possibles// Journal de mathйmatiques pures et appliquйes. 1860. Ser.2. T.5. P.9-42.

5. Mathieu M.E. Mйmoire sur l'йtude des fonctions de plusieurs quantitйs, sur la maniиre de les former et sur les substitutions qui les laissent invariables// Journal de mathйmatiques pures et appliquйs. 1861. Ser.2. T.6. P.241-323.

6. Mathieu M.E. Sur la function cing fois transitive de 24 quantitйs// Journal de mathйmatiques pures et appliquйes. 1873. T.18. Ser.2. P.25-46.

7. Witt E. Die 5-fach transitiven Gruppen von Mathie // Abhandlungen aus dem mathematischen Seminar der Universitдt Hamburg. 1938. Bd.176. S.31-44; Афанасьев В.В. Теорема Микеля и ее обобщения для систем Штейнера S(22,6,3), S(23,7,4), S(24,5,8) / Ярославский пединститут. Ярославль, 1984. 12 с. Деп. в ВИНИТИ, 16.04.84, №2370-84.

8. Афанасьев В.В. Конфигурации из трех блоков в системах Штейнера S(22,6,3), S(23,7,4), S(24,5,8) / Ярославский пединститут. Ярославль, 1984, 19 с. Деп. в ВИНИТИ 16.1084, № 6724-84.Tits J. Les "formes rйelles" des groupes de type E6 // Seminaire Bourbaki / Exposй 162. Paris, 1958.

9. Tits J. Groupes simples et gйomйtries associйes// Proceedings of the International Congress of Mathematicians, August, 1962. Stockholm, 1963. P.197

10. Buekenhout F. Diagrams for geometries and groups// Journal of Combinatorial Theory. 1979. Vol.27, № 2. P.121-151.

Размещено на Allbest.ru