Представления конечных групп и проблема распознаваемости тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

003448465

На правах рукописи

)

ЗАВАРНИЦИН Андрей Витальевич

ПРЕДСТАВЛЕНИЯ КОНЕЧНЫХ ГРУПП И ПРОБЛЕМА РАСПОЗНАВАЕМОСТИ

01 01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание учёной степени доктора физико-математических наук

Новосибирск 2008

1 6 О ИТ 2008

003448465

Работа выполнена в Институте математики им С Л.Соболева СО РАН

Научный консультант:

доктор физико-математических наук, профессор, член-корреспондент РАН Мазуров Виктор Данилович

Официальные оппоненты:

доктор физико-математических наук, профессор Казарин Лев Сергеевич

доктор физико-математических наук, профессор Кондратьев Анатолий Семёнович

доктор физико-математических наук, профессор, член-корреспондент Национальной академии наук Беларуси Шеметков Леонид Александрович

Ведущая организация:

Южно-Уральский государственный университет

Защита диссертации состоится «14» ноября 2008 г в «14» ч, на заседании диссертационного совета Д003 015 02 при Институте математики им. С.Л.Соболева СО РАН по адресу 630090, Новосибирск, пр. Акад Коптюга, 4

С диссертацией можно ознакомиться в библиотеке Института математики СО РАН

Автореферат разослан «10» октября 2008 г.

Учёный секретарь диссертационного совета /У^р^

кандидат физико-математических наук г^Л ^ Ряскин

Общая характеристика работы

Постановка задачи и актуальность темы диссертации. Множество порядков элементов конечной группы несет большую информацию о ее строении Классическим примером, иллюстрирующим глубину связи между периодом и строением конечной группы, является стоявшая открытой более 60-ти лег ослабленная проблема Бернсайда. Из положительного решения этой проблемы [4,1, 2] следует, что число конечных групп данного периода с данным числом порождающих конечно, а значит, ограничено их строение. Другим важным примером является теорема Фейга-Томпсона [11], утверждающая, что конечная группа без элементов порядка 2 является разрешимой

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

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

Приступим теперь к более конкретному изложению основной проблематики диссертации Общий список используемых терминов и обозначений (большинство из которых стандартны) приведен в конце диссертации

Всюду в дальнейшем под спектром конечной группы в, обозначаемом через (¿(С), будем понимать множество порядков всех элементов из в Другими словами,

ш{в) = { п е N | 3 д е в Ы = п}

К примеру, спектром знакопеременной группы степени 5 является множество о;(АН5) = {1,2,3,5}.

Назовем конечную группу б распознаваемой (по спектру), если для любой конечной группы Н равенство спектров = и{Н) влечет изо-

морфизм £? = Н Центральной проблемой, на которой основана диссертация, является

Проблема 1. Найти все распознаваемые по спектру конечные группы

Сразу отметим, что эта проблема представляет интерес только для простых или близких к простым групп, поскольку известно [7], что группа, обладающая нетривиальной разрешимой нормальной подгруппой не является распознаваемой. К настоящему времени распознаваемые группы описаны во многих классах конечных простых и почти простых групп (см обзор [8]). Тем не менее, полное решение проблемы 1 даже в классе простых групп пока представляется отдаленным

Конечные группы, спектры которых совпадают, будем называть изо-спектралъными Для конечной группы (? обозначим через /1(6) число (возможно, оо) попарно неизоморфных изоспектральных ей конечных групп. Таким образом, распознаваемость группы (? эквивалентна равенству /г(С) = 1 В частности, проблему 1 можно сформулировать в уточненном виде, как проблему нахождения значения /г(б) для заданной конечной группы С Именно эту задачу мы и будем подразумевать под проблемой распознаваемости для данной группы

Группу С?, для которой /г((7) = оо (соответственно, 1 < /¡(б) < оо), будем называть нераспознаваемой (соответственно, почти распознаваемой) по спектру. К примеру, нераспознаваемой группой является, очевидно, группа 1,1. Первые примеры почти распознаваемых групп появились в работах [5, 6]. Все эти группы б удовлетворяют условию Ь{С) — 2, и до недавнего времени было неизвестно, существуют ли группы, для которых /г(С) £ {1,2,оо} В связи с этим В. Ши поставил следующий вопрос, внесенный в Коуровскую тетрадь [10, проблема 13 63]

Проблема 2. Верно ли, что существует натуральное число к такое, что для любой конечной группы С либо И (С?) ^ г, либо = оо?

В настоящей диссертации получено решение данной проблемы А именно, показана сюръективность отображения /г С 1—> /г (С) из класса конечных групп в множество N и {оо}

Накрытием группы (7 назовем произвольную группу Н, входящую в короткую точную последовательность

1 _ N -> Я в -> 1

Накрытие называется собственным, если группа N в этой последовательности нетривиальна

Решение проблемы распознаваемости для конечной группы С включает в себя проверку следующего естественного ослабленного условился (С1) ф ш(Н) для всякого собственного накрытия Н группы (3

Группу <3, удовлетворяющую этому условию будем называть распознаваемой (по спектру) среди своих накрытий Хотя свойство распознаваемости среди накрытий формально более слабое, чем просто распознаваемость, его проверка для некоторых групп может быть очень трудоемкой и часто приводит к изучению модулярных представлений. Это объясня-01 сп тем, что изучение спектра накрытия Н группы <3 сводится к рассмотрению случал, когда Н — расщепляемое расширение элементарной абелевой р-группы N, где р — некоторое простое число, с помощью (3, причем <3 действует неприводимо на N Так возникают (З-модули над полем положительной характеристики р, и для проверки неравенства ¡¿(С) ф <¿(11) требуется использовать информацию о неподвижных точках в этих модулях р'-элементов, либо о размерах жордановых клеток р-элементов группы С. В случае, когда (3 — группа лиева типа, определенная над полем некоторой характеристики г, рассмотрение естественно разбивается на два случая. При р — г речь идет об эквихарактери-стических модулях группы в Как известно из классических результатов Стейнберга [9], теория эквихаракаерисгических модулей конечных групп лиева типа тесно связана с теорий представлений полупростых алгебраических групп положительной характеристики Однако, непосредственное применение этих результатов довольно ограничено, поскольку описания строения неприводимых модулей таких групп в общем случае не сущесгвует В кросс-характеристическом же случае (т. е когда рфг) информации о явном строении б-модулей еще меньше, и здесь приходится использовать подгрупповое строение группы (3 с целью применения теорем типа Холла-Хигмэна

Неразрешимые симметрические и знакопеременные группы составляют первый широкий класс групп, для которого была установлена распознаваемость среди накрытий (см [25]), но до сих пор полностью не решена проблема распознаваемости по спектру Следующая проблема была внесена в Коуровскую тетрадь В. Д Мазуровым (см [10, проблема 14 60])-

Проблема 3. Пусть (7 — собственное накрытие конечной простой группы Ь = Ьп(д); где п > 3 Верно ли, что в в найдется элемент, порядок которого отличен от порядка любого элемента из Ь?

Другими словами, в проблеме 3 спрашивается, являются ли простые группы Ьп(д), где п ^ 3, распознаваемыми среди накрытий В данной диссертации получено решение этой проблемы Отметим, чго уже в случае п — 3 предложенное доказательство не обходится без существенного применения теории представлений.

Простые неабелевы группы, не являющиеся распознаваемыми среди накрытий очень редки. В [7] были получены два единственных известных до недавнего времени примера таких групп, а именно группы из(3) и из (7) Отвечая на вопрос из проблемы 3, мы находим новый пример такой группы.

Граф простых чисел Г(С) конечной группы б, также часто называемый графом Грюнберга-Кегеля, — это граф, множеством вершин которого является совокупность простых делителей порядка |С|, в котором две вершины р, 5 соединены ребром если и только если С содержит элемент порядка рд Граф простых чисел впервые возник и исследовался в работах [3, 12, 15] в связи с вопросами строения целочисленных групповых алгебр и представлений конечных групп Например, было доказано, что для любой конечной группы б число компонент связности графа Г(С) не превосходит 6.

Непосредственная связь графа простых чисел и спектра очевидна по спектру и{С) данной группы С однозначно восстанавливается граф Г(С). Заметим, что для группы С определение ее графа Г (С) является более простой задачей, чем нахождение спектра, т. к для этою достаточно знать существование только элементов, порядка рд при различных р, д € 7г((3) Поэтому естественно возникает вопрос, насколько граф Г((?) определяет группу <7. Группу (7 назовем распознаваемой по графу, если для любой конечной группы Я равенство графов Г (Я) = Г(С?) (как графов с отмеченными вершинами) влечет изоморфизм Я = С Распознаваемость по графу сильнее распознаваемости по спектру Первые примеры распознаваемых по графу групп появились в работе [14] Таких примеров было известно лишь конечное число (и все они были из числа спорадических простых групп).

По аналогии с упомянутым ранее значением для данной группы С можно обозначить через Н г {С) число (возможно, оо) неизоморфных конечных групп, граф простых чисел которых совпадает с Г((?) Таким образом, возникает следующая проблема распознаваемости групп по графу, которая представляет интерес

Проблема 4. Для каждой конечной группы (7 найти значение ЬГ(С)

В частности, представляют интерес вопросы о существовании бесконечного числа групп, распознаваемых по графу, а также групп <3, для которых 1 < Лг(б) < оо На эти вопросы также получен отвег в данной диссертации

Подводя итог, можно отметить, что основной целью диссертации является получение результатов в рамках решения указанных выше проблем 1-4, опираясь, в частности, на известные и разрабатывая новые методы из теории представлений.

Основные результаты диссертации.

1 Получено исчерпывающее решение проблемы распознаваемости по спектру для простых групп и из(д) и для симметрических групп простой степени г ^ 7 Найден критерий распознаваемости симметрических групп степени г + 1, для простого числа г ^ 11

2 Предложена модель для построения неприводимых (рациональных конечномерных) модулей простой алгебраической группы БЬз(^) над алгебраически замкнутым полем F простой характеристики в пространствах полиномов и, как следствие, всех абсолютно неприводимых эквихарактеристических представлений конечных простых групп Ь3(д) и и3(д)

3. Получено решение проблемы 13.63 из Коуровской тетради о существовании для любого натурального числа к ровно к конечных изоспектральных групп

4 Получено решение проблемы 14 60 из Коуровской тетради о распознаваемости по спектру среди накрытий простых групп Ьп(рт) При этом случай, когда п много больше чем р, был рассмотрен в совместной с В. Д Мазуровым работе В качестве следствия доказана распознаваемость по спектру групп Ьп(2) при любом п > 2.

5 Построен первый пример бесконечной серии конечных групп, распознаваемых по графу, а также первый пример группы С, удовлетворяющей равенству Лг (<3) = 2

Отметим, что результаты 1, 3, 5 опираются на классификацию конечных простых групп

Научная новизна. Все основные и ряд вспомогательных результатов диссертации являются новыми

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

Методы исследования. В работе используются классические методы теории групп (конечные группы, группы лиева типа, алгебраические группы), методы теории представлений конечных и алгебраических групп, методы линейной алгебры, а также элементы теории чисел и теории графов

Апробация работы. Результаты диссертации в период с 2002 по 2008 год были представлены на международных конференциях в Новосибирске, Москве, Нальчике, Гуаруже (Бразилия) В частности, на международной конференции «Мальцевские чтения» (Новосибирск, 2006 г) и международной школе-конференции по теории групп (Нальчик, 2006 г.) автором были сделаны пленарные доклады по теме диссертации Результаты неоднократно докладывались на семинарах Института математики СО РАН и НГУ «Теория групп» и «Алгебра и логика», а также на общеинститутском семинаре ИМ СО РАН.

Публикации. Основные результаты диссертации опубликованы в журналах [17]-[24], входящих в перечень ВАК для докторских диссертаций. См также [29, 32]

Структура и объём диссертации. Диссертация состоит из четырех глав (включая введение), списка обозначений, предметного указателя и литературы. Она изложена на 119 страницах текста Библиография содержит 91 наименование.

Содержание диссертации

Общая структура диссертации. Диссертация разбита на главы, главы на параграфы, а параграфы, в свою очередь, на пункты Основные результаты каждой главы (теоремы и их следствия), а также открытые и решенные вопросы (проблемы) явным образом сформулированы в первом параграфе главы. Нумерация всех результатов (теорем, предложений, лемм, следствий) тройная первая цифра — номер главы, вторая — номер параграфа, третья — номер утверждения в текущем параграфе. Нумерация проблем сквозная.

Глава 1. Введение

В этой вводной главе формулируется постановка задачи, обосновы-

вается актуальность проблематики, приводится общая характеристика и формулировка результатов, а также объясняется структура диссертаг ции

Глава 2. Распознавание по спектру почти простых групп

Данная глава посвящена распознаваемости по спектру некоторых классов линейных, унитарных и симметрических групп. Получено полное решение проблемы распознаваемости для простых групп Ьз(<?) и Чз (</) В качестве следствия получено решение проблемы 13 63 из Ко-уровской тетради Кроме того, доказала распознаваемость по спектру симметрических групп Symr, г ^ 7, и получен критерий распознаваемости групп Symr+1, г > 11, где в обоих случаях г — простое число Здесь же предложена модель для построения неприводимых модулей простой алгебраической группы SL3(F) над алгебраически замкнутым полем F положительной характеристики в пространствах полиномов и, как следствие, всех абсолютно неприводимых эквихарактеристических представлений простых групп Ьз(<?) и 11з(д).

Из вспомогательных утверждений главы, представляющих самостоятельный интерес, отметим следующее Получена общая формула (см предложение 2 4.12), описывающая спектр автоморфных расширений групп лиева, типа, определенных над конечным полем, через спектры групп того же типа, определенных над меньшим полем. Также представляет интерес теоретико-числовая гипотеза (проблема 5), связанная с существованием особых простых чисел Мерсенна.

Прежде чем сформулировать результаты главы, введем следующие обозначения Для натурального числа тп и простого числа р запись рг\\пг означает, что рт | m и pr+1 { т. Напомним, что простое число вида р = 2к -1 для некоторого к называется простым числом Мерсенна. Назовем простое число Мерсенна р особым, если число р2 - р +1 также простое Например, 3 и 7 — особые простые числа Мерсенна Обозначим через А В произвольное расширение группы А с помощью группы В, в котором А является нормальным делителем.

В данной главе доказаны следующие утверждения

Теорема 2.1.1. Пусть L = L3(q), где. q = рк.

(г) Если q = 1 (mod 6), то h(L) = г + 1, где 3Г || к, и u(G) = ш{Ь) тогда и только тогда, когда G удовлетворяет L ^ G ^ L Зг, где L Зг — расширение L посредством группы полевых автоморфизмов порядка Зг.

(и) Если q = 5,9 (mod 12), то h(L) = 2 и ш{Ь) = ш(Ь 2), где L 2 -расширение L с помощью графового автоморфизма.

(ггг) Если q четно либо 3 < q = 3,11 (mod 12), то h{L) — 1.

(tv) h(LЗ(3)) = oo.

Отметим, что, поскольку q — степень простого числа, сравнение 9 (mod 12) выполнено тогда и только тогда, когда q = Зп при п четном, а g = 3 (mod 12) тогда и только тогда, когда q = 3" при п нечетном

Следствие 2.1.2. Отображение h G н h(G) из класса конечных групп в множество N U {оо} является сюръективным В частности, вопрос из проблемы 2 имеет отрицательный ответ

Теорема 2.1.3. Пусть U = U3(g), где q-pk > 2.

(г) Если 5 < q = -1 (mod 6), то h(U) = г + 1, где 3Г || к, и w(G) = u(U) тогда и только тогда, когда G удовлетворяет условию U < G < U 3Г, где U Зг — расширение U посредством группы полевых автоморфизмом порядка Зг

(гг) Если q = 3,7 (mod 12) uq — не особое простое число Мерсенна, то h(U) = 2 « w(i7) = lo(U 2), где U 2 — расширение U посредством группы тюлевых автоморфизмов порядка 2.

(ггг) Если q четно или g = 1,9 (mod 12), то h(U) = 1

(iv) Если q — 5 или q — особое простое число Мерсенна, то h(U) = оо

Отметим, что из теоремы 2 1 3(v) следует, что распознаваемость некоторых унитарных групп 11з(д) связана с существованием особых простых чисел Мерсенна В этой связи сделаем еще ряд замечаний Нам не известно, существуют ли особые простые числа Мерсенна, кроме 3 и 7, и мы предполагаем, что они не существуют По крайней мере из всех 44 известных на сегодняшний день (2008 г) простых чисел Мерсенна, самое большее из которых равно 232582657 — 1, только 3 и 7 являются особыми На самом деле можно поставить следующий более общий вопрос, ответ на который нам не известен

Проблема 5. Существует ли простое число к > 3, для которого число р2 - р + 1, где p = 2k -I, является простым9

Было проверено с помощью компьютера, что такого к < 100000 не существует Также можно показать, что такое к должно удовлетворять сравнению к — 1 (mod 12)

Теорема 2.1.4. Пусть г ^ 11 — простое число Имеют место следующие утверждения

(г) Симметрическая группа Symr распознаваема по спектру

(и) Симметрическая группа степени Symr+1 распознаваема тогда и только тогда, когда ai(Symr+1) ф ui(G) для любого собственного накрытия G — N А произвольной группы N с помощью группы А, изоморфной Symr или Altr

Неприводимые модули алгебраических групп SLa(F) и соответствующие им неприводимые эквихарактеристические представления конечных групп SL3(<y) и SU3(<j) описываются в следующем утверждении Существенным здесь является пункт (гг), в котором приведены базовые (т е р-ограниченные) неприводимые модули этих групп. Подробности см в §3 главы 2 диссертации

Теорема 2.1.5. Пусть F — алгебраически замкнутое поле характеристики р Пусть G =

(г) Неприводимые рациональные FG-модули Ма,ь находятся во взаимно однозначном соответствии со своими старшими весами Ха,ь, a,b >. Q Пусть р-разложения чисел а и b имеют вид

а = ао + pax + + р'щ, 0 ^ аг ^ р — 1,

b = bQ + pbi+ +plk,

Тогда Ма,ъ = МаоМ ® >bi ® ® м(м

(гг) Если 0 ^ a, b < р — 1, то Ма<ъ = Wa,b, где Wa,b — модуль, определенный в лемме 2 3 8

(иг) Пусть q — pk. Тогда все q2 абсолютно неприводимых представлений конечных групп SL3 (q) и SU3 (q) над полем характеристики р эквивалентны ограничениям на эти группы представлений G, соответствующих модулям Ма1ь, где 0^о, b ^ q — 1.

Результаты этой главы опубликованы в работах [17, 18, 19, 29, 28] Глава 3. Порядки элементов в накрытиях простых групп Данная глава посвящена решению проблемы 14 60 из Коуровской тетради (см проблему 3), а именно распознаваемости среди накрытий простых линейных групп Как будет показано (и уже было видно

в предыдущей главе при рассмотрении случая п = 3), эта задача существенно использует свойства неприводимых модулярных представлений групп L„(q) в характеристике определения. Так как теория таких представлений параллельна теории представлений в характеристике определения групп U„(g), мы естественно формулируем мпогие результаты сразу для линейных и унитарных групп LEn(q), где е 6 {+, -}

Первый основной результат (теорема 311) состоит в том, что если простая линейная или унитарная группа, определенная над полем характеристики р и имеющая достаточно большую размерность по сравнению с р, действует на конечномерном векторном пространстве над полем той же характеристики р, то соответствующее полупрямое произведение содержит элемент, порядок которого отличен о г всех порядков элементов исходной простой группы В качестве следствия отсюда вытекает (следствие 3 1.2), что группа GL„(2) = L„(2) всех невырожденных матриц размерности п над полем порядка 2 распознаваема по спектру при любом п > 2

Доказательство теоремы 311 опирается на свойства централизаторов элементов в неприводимых модулях группы SL ®(д) (предложение 3 2.4), которые, однако, не удается применить для случая, когда размерность п группы меньше характеристики определения р В этом случае использован другой подход, опирающийся на структуру множества весов неприводимых эквихарактеристических модулей алгебраических групп типа Ai Таким образом, получен второй основной результат (теорема 313), который обобщает теорему 3 1 1 и состоит в том, что если простая группа G = L* (д), где либо п ф 4, либо q простое или четное, действует на векторном пространстве над полем характеристики определения группы G, то соответствующее полупрямое произведение содержит элемент, порядок которого отличен от порядков всех элементов группы G Отсюда, в частности, вытекает частичный положительный ответ на проблему 14 60 из Коуровской тетради (следствие 3 14)

Исключенный выше случай в проблеме 14 60, а именно когда L/ — L4(g), где q непростое и нечетное, потребовал более тонкого анализа Оказалось, что в общем случае эти группы не всегда являются распознаваемыми среди накрытий Мы строим явно один контрпример и

предполагаем существование бесконечного множества подобных примеров среди групп 1м (д).

Из вспомогательных утверждений главы, представляющих самостоятельный интерес, хотелось бы отметить уточнение предложения Супру-ненко-Залесского о строении множества весов неприводимых р-ограни-ченных модулей алгебраических групп типа А[ (см предложение 3 3 10), а также обобщение известной теоретико-числовой теоремы Жигмонди на "уншарный" случай (см. предложение 3 2 5).

Теперь сформулируем явно доказанные утверждения этой главы

Теорема 3.1.1. Пусть £ 6 {+, —} и Ь = Ь^(д) — простая группа, где д — рт Предположим, что п^р, пфр+1иЬ не является исключительной (см ниже) Если Ь действует на векторном пространстве IV над полем характеристики р, то ш(ЪУ X Ь) ф где УУ X Ь —

естественное полупрямое произведение Ш на Ь

В формулировке теоремы 311 исключительными называются группы из списка

Ц{2т), Ц(3">), Ц(Зт), Ц0(ЗП Ь|1(5Т"), Ц8(5">), где ее {+,-},т> 1, и6(2), и7(2), и9(2), и10(2), ип (2), и18(2), и5(3), и8(3), и1Х(3)

Отсюда вытекает подтверждение следующей гипотезы из [13]

Следствие 3.1.2. Простые друПНЫ ¡-¡п (2) = СЬП(2) распознаваемы по спектру для всех п ^ 3

Следующее утверждение обобщает теорему 3 11, однако доказывается, используя другие методы

Теорема 3.1.3. Пусть е е {+, —} и Ь = 1£(д) — простая группа, где <7 = рт Предположим, что либо п > 5, либо п — 4 и д простое, либо п — 4 и д четное Если Ь действует на векторном пространстве \¥ над полем характеристики р, то ш(1У X Ь) ф <*>(Ь)

Отметим, что из доказательства теоремы 3 1 3 в случае, когда либо п ^ 5, либо д нечетное простое, следует более сильный факт группа Ь содержит полупростой элемент д, порядок которого р-максимален (т. е такой, что г>|с/| ^ и который централизует нетривиальный вектор

из Ш. Более того, если п ^ 5 и д > 3, то такой элемент д может быть выбран независимо от модуля IV.

Следствием этого результата является следующее (частичное) положительное решение проблемы 3.

Следствие 3.1.4. Пусть Ь — Ьп(д) — простая линейная группа. Если либо п ф 4, либо д простое иди чётное, то Ь распознаваема по спектру среди своих накрытий

Контрпример к проблеме 3 в случае размерности п = 4 дается в следующем утверждении-

Теорема 3.1.5. Группа Ь = Ь4(1324) обладает абсолютно неприводимым 96-мерным модулем IV над полем характеристики 13 таким, что X Ь) = и>(Ь) В частности, Ь не распознаваема по спектру среди своих накрытий

Отметим, что модуль IV из теоремы 3 15 построен явно (см предложение 3 4.8). Таким образом, ответ на вопрос из проблемы 3 положительный при п ф 4 и, вообще говоря, огрицательный при п =- 4

Результаты этой главы опубликованы в работ.ах [20, 22, 23, 24, 32] Теорема 3 11 и следствие 3.1.2 доказаны в соавторстве с В Д Мазуровым Остальные результаты получены автором лично

Глава 4. Распознаваемость по графу простых чисел

Данная глава посвящена проблеме распознаваемости по графу простых чисел Легко видеть, что зная спектр ш(С?) группы С, можно построить граф Г (С), но не всегда наоборот. Одним из результатов данной главы является первый пример бесконечной серии групп, однозначно определяемых по своему графу простых чисел в классе всех конечных групп-

Теорема 4.1.1. Простые группы <?2(7), 2С2(д), д = 32т+1 > 3, распознаваемы по графу В частности <?г(7) — новый пример группы, распознаваемой по спектру

Обозначим через в (С?) число компонент связности графа Г (С) Из классификации [15, 3] следует, что в (С) ^ 6 для любой конечной группы С. Для групп из теоремы 4 11 выполнены равенства я^С^?)) = 3 и «(£2(7)) = 2. Известно, что спорадическая группа Янко — единственная простая конечная группа с шестью компонентами связности графа простых чисел. Оказывается, имеет место следующий факт

Теорема 4.1.2. Пусть (7 — конечная группа и в(С) = 6 Тогда С = ,/4 В частности, ^ распознаваема по графу

Другими словами, группа ,1а распознаваема в классе конечных групп по числу компонент связности своего графа простых чисел Очевидно также, что этим свойством обладает только группа /4

Несложно найти примеры распознаваемых по графу групп С?, для которых «(б) равно 4 и 5 Однако, следующий вопрос не столь очевиден

Проблема 6. Существует ли распознаваемая по графу конечная группа со связным графом простых чисел9

Отметим, что установить распознаваемость группы по графу вообще говоря сложнее, чем распознаваемость по спектру, поскольку некоторые методы при решении первой задачи перестают работать Более заметною роль при распознавании групп по графу играют юнкие свойства модулярных представлений. Так, например, в предложениях 4 2 5 и 4 2 6 данной главы, которые представляют самостоятельный интерес, мы доказываем, используя описание комплексных и модулярных характеров, существование ненулевых неподвижных точек некоторых элементов групп (?г(<?) и 2(?2(д) при их действии на модулях над полем, характеристика которого отлична от характеристики определения группы.

Группа <3 называется квазираспознаваемой по графу, если любая конечная группа, граф простых чисел которой совпадает с Г (С), имеет тот же набор неабелевых композиционных факторов (с учетом кратностей), что и группа (3.

Пусть М обозначает спорадическую группу самого большого порядка (называемую Монстром) Структура группы б с графом Г(<3) = Г(М) может быть ограничена до расширений 3-групп посредством М следующим образом

Теорема 4.1.3. Монстр М квазираспознаваем по графу, и распознаваем если и только если для любого неприводимого ЕМ-модуля V над полем .Р характеристики 3 в М найдется элемент порядка 41, 47, 59, или 71, централизующий в V ненулевой вектор

Мы выдвигаем гипотезу, что любой элемент группы М любого из порядков 41, 47, 59, или 71 централизует ненулевой вектор в любом ^М-модуле над полем характеристики 3 и, в частности, Монстр распознаваем по графу Эта гипотеза могла бы быть легко проверена, если бы все неприводимые 3-модулярные характеры Монстра были известны Элементарными методами, однако, решить этот вопрос нам не удалось Отметим, 41 о часть утверждения 4 13 была независимо доказана в [14]

Напомним, что для конечной группы (3 через Л.г(С?) обозначается число неизоморфных конечных групп с графом Г(С) Распознаваемость б по графу эквивалентна равенству к г(б) = 1 Существуют примеры групп С7, для которых 1 < 1'1Г(С) < оо

Теорема 4.1.4. ЛГ(Ь3(7)) = 2 и Г(Ь3(7)) = Г(Ь3(7) 2).

Отсюда вытекает

Следствие 4.1.5. Группа Ьз(7) 2 распознаваема по спектру

Результаты данной главы опубликованы в работе [21]

Пользуясь случаем, я хотел бы выразить искреннюю благодарность своему научному консультанту чл -корр. РАН В Д.Мазурову за его участие в формулировке основной задачи, всестороннюю помощь и внимание в работе, его глубокую компетентность и прекрасные человеческие качества Я также хотел бы поблагодарить всех сотрудников лаборатории теории групп Института математики им С Л Соболева СО РАН, а в особенности д.ф -м.н. А В.Васильева, д ф -м н Е П Вдовина, к ф -м н М А.Гречкосееву, к ф.-м н Д О Ревина за полезное обсуждение как содержания данной работы, так и общих теоретико-групповых вопросов. Часть этой работы была выполнена во время моих стажировок в университете г. Сан-Пауло (Бразилия), в связи с чем я хотел бы поблагодарить директора института математики и статистики этого университета, а также сотрудников департамента математики за гостеприимство и радушие

Работа выполнена при поддержке Российского Фонда Фундаментальных Исследований (коды проектов 08-01-00322, 06-01-39001, 05-01-00797, 99-01-00550, 96-01-01893), Сибирского Отделения РАН (гранты №1 и №29 для молодых ученых и Интеграционный проект 2006 1 2), Совета по грантам Президента РФ (грант для ведущих научных школ НШ-344.2008.1), Фонда Содействия Отечественной Науке (программа "Выдающиеся ученые Кандидаты и доктора наук РАН" за 2008 г), Фонда ГАРЕБР, Бразилия (проекты 06/60766-3, 01/14811-4).

Литература

[1] Зельмсшов Е И. Решение ослабленной проблемы Бернсайда ддя групп нечетного показателя // Изв. АН СССР Сер. матем. 1990. Т 54, № 1 С. 42-59.

[2] Зельмаяов Е.И. Решение ослабленной проблемы Бернсайда для 2-групп // Матем. сб 1991 Т 182, №4 С 568-592.

[3] Кондратьев АС. О компонентах графа простых чисел для конечных простых групп // Мат сборник 1989 Т. 180, №6. С 787-797

[4] Кострикин А. И Вокруг Бернсайда, М : Наука, 1986

[5] Мазуров В Д. О множестве порядков элементов конечной группы // Алгебра и логика 1994. Т. 33, №1. С 81-89

[6] Мазуров В Д Характеризация конечных групп множествами порядков их элементов // Алгебра и логика. 1997. Т. 36, № 1 С 37-53.

[7] Мазуров В Д. Распознавание конечных групп по множеству порядков их элементов // Алгебра и логика. 1998 Т 37, №6 С 651666

[8] Мазуров В Д Группы с заданным спектром // Изв. Урал Гос. Унив Мат. Мех 2005 Т. 36, №7. С. 119-138

[9] Стейнберг Р Лекции о группах Шевалле, Москва- Мир, 1975

[10] Нерешенные вопросы теории групп. Коуровская тетрадь 16-е изд Новосибирск 2006 Ин-т матем. СО РАН.

[11] Feit W, Thompson J. G Solvability of groups of odd order // Pacific J Math 1963 V. 13, P 775-1029.

[12] Gruenberg K. W, Roggenkamp K. W Decomposition of the augmentation ideal and of the relation modules of a finite group // Proc London Math Soc 1975 V 31, N2 P. 149-166

[13] Grechkoseeva M A , Lucido M S, Mazurov V. D., Moghaddamfar A R , Vasd'ev A V On recognition of the projective special linear groups over the binary field // Sib. felektron Mat. Izv. 2005. V 2 P 253-263

[14] Hagie M. The prime graph of a sporadic simple group // Commun Algebra 2003 V 31, N9. P 4405^424.

[15] Williams J S Prime graph components of finite gioups // J Algebra 1981 69 , N2 P 487-513

[16] ZsiginondyK Zui Theonedei Potenzreste//Monatsh fur Math und Phys 1892 Bd 3 S. 256-284

Работы автора по теме диссертации

[17] Заварницин А. В. Распознавание по множеству порядков элементов симметрических групп степени гиг+1 для простого г // Сиб Матем Журн. 2002. Т 43, №5. С 1002-1006

[18] Заварницин А.В Веса неприводимых 8Ьз(д)-модулей в характеристике определения // Сиб Матем. Журн. 2004. Т 45, №2. С 319-328

[19] Заварницин А В Распознавание простых групп Цз(<7) но порядкам элементов // Алгебра и логика. 2006. Т. 45, №2 С 185-202

[20] Заварницин А В., Мазуров В Д Порядки элементов в накрытиях конечных простых линейных и унитарных групп и распознаваемость групп Ь„(2) по спектру // Доклады Академии Наук 2006 Т 409, №6 С 736-739

[21] Заварницин А В О распознавании конечных групп по графу простых чисел // Алгебра и логика 2006 Т 45, №4. С 390-108

[22] Завартщпн А В , Мазуров В Д О порядках элементов в накрытиях простых групп Ln (q) и Un(<2) // Труды Ин-та матем и механ УНЦ РАН 2007 Т. 13, № 1. С 89-98.

[23] Заварницин А В Свойства порядков элементов в накрытиях групп Ln{q) и U,,(g) // Сиб Матем Журн. 2008 Т 49, №2 С 309-322.

[24] Завартщпн А В О распознаваемости по спектру среди накрытий конечных простых линейных и унитарных групп // Доклады Академии Наук 2008 Т 421, № 1 С 11-14

[25] Заварниции А В , Мазуров В Д О порядках элементов в накрытиях симметрических и знакопеременных групп // Алгебра и логика. 1999 Т 38, №3. С 296-315

[26] Завартщпн А В. Распознавание по множеству порядков элементов знакопеременных групп степени г + 1 и г + 2 для простого г и группы степени 16//Алгебра и логика 2000. Т 39, №6 С 635-648.

[27] Zavarnitsme А. V Recognition of finite simple groups by element orders, Международная конференция "Lie and Jordan algebras, their representations and applications I", Сан-Пауло (2002), тезисы докладов, г 48

[28] Zavarnitsme А V Weights of the irreducible SL3(g)-modules in defining characteristic, Препринт RT-MAT 2003-13, IME-USP, Сан-Пауло (2003), 12 с

[29] Zavarnitsme A V" Recognition of the simple groups L3(q) by element orders //J Group Theory 2004 V 7, N1 P 81-97

[30] Завартщпн А. В Характеризация конечных групп по графу простых чисел, Международная алгебраическая конференция, посвященная 100-летию со дня рождения Д К Фаддеева, Санкт-Петербург (2007), тезисы докладов, С 177-178

[31] Вдовин Е П, Завартщпн А В , Колесников П. С, Ножндасв А П, Ревпн Д О Группы и алгебры лиева типа Материалы V конференции молодых ученых СО РАН, посвященной М А Лаврентьеву, Новосиб гос ун-т, Новосибирск, 2007, С 11-15

[32] Zavarnitsine A V Exceptional action of the simple groups L4 (<?) in the defining characteristic // Siberian Electronic Math Reports 2008 V 5 P 68-74

[33] Zavarmtbme A V Properties of element orders in covers for PSLn(g), Международная алгебраическая конференция, посвященная 100-летию со дня рождения А Г Куроша, Москва, 2008, тезисы докладов, С 376-377

Заварницин Андрей Витальевич

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

Автореферат диссер1ации на соискание учёной степени доктора физико-математических наук

Подписано в печать 16.07.08. Формат 60x84 1/16.

Уел печ л 1,2 Уч -изд. л 1,2 Тираж 150 экз Заказ №131

Отпечатано в ООО «Омега Принт» 630090, Новосибирска, пр Лаврентьева, 6

1 Введение

§1 Общая характеристика результатов работы.

1.1 Постановка задачи и актуальность темы диссертации

1.2 Основные результаты диссертации.

1.3 Научная новизна.

1.4 Теоретическая и практическая ценность.

1.5 Методы исследования.

1.6 Апробация работы.

1.7 Публикации.

1.8 Структура и объём диссертации.

2 Распознавание по спектру почти простых групп

§1 Основные результаты главы.

1.1 Краткий обзор.

1.2 Формулировка основных результатов

§2 Распознавание по спектру групп Ь3(д).

2.1 Предварительные замечания.

2.2 Вспомогательные результаты.

2.3 Доказательство основной теоремы.

§3 Веса неприводимых 8Ьз(д)-модулей в характеристике определения

3.1 Предварительные замечания.

3.2 Неприводимые ЭЬз (¿^-модули.

3.3 Веса неприводимых модулей

1.1 Постановка задачи и актуальность темы диссертации

Множество порядков элементов конечной группы несёт большую информацию о её строении. Классическим примером, иллюстрирующим глубину связи между периодом и строением конечной группы, является стоявшая открытой более 60-ти лет ослабленная проблема Бернсайда. Из положительного решения этой проблемы [10, 6, 7] следует, что число конечных групп данного периода с данным числом порождающих конечно, а значит, ограничено их строение. Другим важным примером является теорема Фейта-Томпсона [39], утверждающая, что конечная группа без элементов порядка 2 является разрешимой.

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

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

Приступим теперь к более конкретному изложению основной проблематики диссертации. Общий список используемых терминов и обозначений (большинство из которых стандартны) приведён в конце диссертации.

Всюду в дальнейшем под спектром конечной группы С, обозначаемом через со (С), будем понимать множество порядков всех элементов из С. Другими словами, и (в) = {п е N | 3 д е в : \д\ =п].

К примеру, спектром знакопеременной группы степени 5 является множество ш(АВД = {1,2,3,5}.

Назовём конечную группу С распознаваемой (по спектру), если для любой конечной группы Н равенство спектров о>((7) = ш(Н) влечёт изоморфизм С = Н. Центральной проблемой, на которой основана диссертация, является

Проблема 1. Найти все распознаваемые по спектру конечные группы.

Сразу отметим, что эта проблема представляет интерес только для простых или близких к простым групп, поскольку известно [13], что группа, обладающая нетривиальной разрешимой нормальной подгруппой не является распознаваемой. К настоящему времени распознаваемые группы описаны во многих классах конечных простых и почти простых групп (см. обзор [16]). Тем не менее, полное решение проблемы 1 даже в классе простых групп Ьп(д) пока представляется отдалённым.

Конечные группы, спектры которых совпадают, будем называть изоспек-тралъными. Для конечной группы Ст обозначим через число (возможно, оо) попарно неизоморфных изоспектральных ей конечных групп. Таким образом, распознаваемость группы эквивалентна равенству /¿((7) = 1. В частности, проблему 1 можно сформулировать в уточнённом виде, как проблему нахождения значения Н(0) для заданной конечной группы С. Именно эту задачу мы и будем подразумевать под проблемой распознаваемости для данной группы.

Группу С, для которой Ь,{0) = оо (соответственно, 1 < /г(С) < оо), будем называть нераспознаваемой (соответственно, почти распознаваемой) по спектру. К примеру, нераспознаваемой группой является, очевидно, группа Первые примеры почти распознаваемых групп появились в работах [11, 12]. Все эти группы С? удовлетворяют условию /г(С) = 2, и до недавнего времени было неизвестно, существуют ли группы, для которых /г(С) 0 {1,2,оо}. В связи с этим В. Ши поставил следующий вопрос, внесённый в Коуровскую тетрадь [19, проблема 13.63]:

Проблема 2. Верно ли, что существует натуральное число к такое, что для любой конечной группы О либо ^ к, либо /г(С) = оо?

В настоящей диссертации получено решение данной проблемы. А именно, показана сюръективность отображения К : С > к(0) из класса конечных групп в множество N и {оо}.

Накрытием группы С назовём произвольную группу Н, входящую в короткую точную последовательность

Накрытие называется собственным, если группа N в этой последовательности нетривиальна.

Решение проблемы распознаваемости для конечной группы С? включает в себя проверку следующего естественного ослабленного условия: со (С) со(Н) для всякого собственного накрытия Н группы С.

Группу (2, удовлетворяющую этому условию будем называть распознаваемой (по спектру) среди своих накрытий. Хотя свойство распознаваемости среди накрытий формально более слабое, чем просто распознаваемость, его проверка для некоторых групп может быть очень трудоёмкой и часто приводит к изучению модулярных представлений. Это объясняется тем, что изучение спектра накрытия Н группы С сводится к рассмотрению случая, когда Н — расщепляемое расширение элементарной абелевой ^-группы ./V, где р — некоторое простое число, с помощью (7, причём С действует неприводимо на N. Так возникают С-модули над полем положительной характеристики р, и для проверки неравенства со (О) Ф со(Н) требуется использовать информацию о неподвижных точках в этих модулях ^/-элементов, либо о размерах жордановых клеток р-элементов группы С. В случае, когда — группа лиева типа, определённая над полем некоторой характеристики г, рассмотрение естественно разбивается на два случая. При р —- г речь идёт об эквихарак-теристических модулях группы С. Как известно из классических результатов Стейнберга [17], теория эквихарактеристических модулей конечных групп лиева типа тесно связана с теорий представлений полупростых алгебраических групп положительной характеристики. Однако, непосредственное применение этих результатов довольно ограничено, поскольку описания строения неприводимых модулей таких групп в общем случае не существует. В кросс-характеристическом лее случае (т. е. когда р ф г) информации о явном строении (7-модулей ещё меньше, и здесь приходится использовать подгруп-повое строение группы С с целью применения теорем типа Холла-Хигмэна.

Неразрешимые симметрические и знакопеременные группы составляют первый широкий класс групп, для которого была установлена распознаваемость среди накрытий (см. [83]), но до сих пор полностью не решена проблема распознаваемости по спектру. Следующая проблема была внесена в Коуровскую тетрадь В.Д.Мазуровым (см. [19, проблема 14.60]):

Проблема 3. Пусть С — собственное накрытие конечной простой группы Ь = 1ип(д), где п ^ 3. Верно ли, что в С найдётся элемент, порядок которого отличен от, порядка любого элемента из Ь ?

Другими словами, в проблеме 3 спрашивается, являются ли простые группы Ьп(д), где п^З, распознаваемыми среди накрытий. В данной диссертации получено решение этой проблемы. Отметим, что уже в случае п = 3 предложенное доказательство не обходится без существенного применения теории представлений.

Простые неабелевы группы, не являющиеся распознаваемыми среди накрытий очень редки. В [13] были получены два единственных известных до недавнего времени примера таких групп, а именно группы и3(3) и Цз(7). Отвечая на вопрос из проблемы 3, мы находим новый пример такой группы.

Граф простых чисел Г(6?) конечной группы (7, также часто называемый графом Грюнберга-Кегеля, — это граф, множеством вершин которого является совокупность простых делителей порядка |С|, в котором две вершины р, д соединены ребром если и только если С содержит элемент порядка рц. Граф простых чисел впервые возник и исследовался в работах [8, 44, 69] в связи с вопросами строения целочисленных групповых алгебр и представлений конечных групп. Например, было доказано, что для любой конечной группы С число компонент связности графа Г(С) не превосходит 6.

Непосредственная связь графа простых чисел и спектра очевидна: по спектру с^(С) данной группы 6? однозначно восстанавливается граф Г(Сг). Заметим, что для группы С определение её графа Г(С) является более простой задачей, чем нахождение спектра, т. к. для этого достаточно знать существование только элементов, порядкард при различных]?, д € 7г(С). Поэтому естественно возникает вопрос, насколько граф Г(С) определяет группу С. Группу С назовём распознаваемой по графу, если для любой конечной группы Н равенство графов Т(Н) = Г((7) (как графов с отмеченными вершинами) влечёт изоморфизм Н = (7. Распознаваемость по графу сильнее распознаваемости по спектру. Первые примеры распознаваемых по графу групп появились в работе [49]. Таких примеров было известно лишь конечное число (и все они были из числа спорадических простых групп).

По аналогии с упомянутым ранее значением /¿(6?) для данной группы С можно обозначить через /гг(С) число (возможно, оо) неизоморфных конечных групп, граф простых чисел которых совпадает с Г (О). Таким образом, возникает следующая проблема распознаваемости групп по графу, которая представляет интерес.

Проблема 4. Для каждой конечной группы С найти значение /гг(С).

В частности, представляют интерес вопросы о существовании бесконечного числа групп, распознаваемых по графу, а также групп С, для которых 1 < /г.г(С) < сю. На эти вопросы также получен ответ в данной диссертации.

Подводя итог, можно отметить, что основной целью диссертации является получение результатов в рамках решения указанных выше проблем 1-4, опираясь, в частности, на известные и разрабатывая новые методы из теории представлений. Работы автора по теме диссертации опубликованы в [75]—[91].

1.2 Основные результаты диссертации

1. Получено исчерпывающее решение проблемы распознаваемости по спектру для простых групп Ьз(д) и Цз(д) и для симметрических групп простой степени г ^ 7. Найден критерий распознаваемости симметрических групп степени г + 1, для простого числа г ^ 11.

2. Предложена модель для построения неприводимых (рациональных конечномерных) модулей простой алгебраической группы 8Ьз(^) над алгебраически замкнутым полем ^ простой характеристики в пространствах полиномов и, как следствие, всех абсолютно неприводимых эк-вихарактеристических представлений конечных простых групп Ьз^) и ад.

3. Получено решение проблемы 13.63 из Коуровской тетради о существовании для любого натурального числа к ровно к конечных изоспектраль-ных групп.

4. Получено решение проблемы 14.60 из Коуровской тетради о распознаваемости по спектру среди накрытий простых групп Ъп(рт). При этом случай, когда п много больше чем р, был рассмотрен в совместной с В. Д. Мазуровым работе. В качестве следствия доказана распознаваемость по спектру групп Ьп(2) при любом п > 2.

5. Построен первый пример бесконечной серии конечных групп, распознаваемых по графу, а также первый пример группы (7, удовлетворяющей равенству = 2.

Отметим, что результаты 1, 3, 5 опираются на классификацию конечных простых групп.

1.3 Научная новизна

Все основные и ряд вспомогательных результатов диссертации являются новыми.

1.4 Теоретическая и практическая ценность

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

1.5 Методы исследования

В работе используются классические методы теории групп (конечные группы, группы лиева типа, алгебраические группы), методы теории представлений конечных и алгебраических групп, методы линейной алгебры, а также элементы теории чисел и теории графов.

1.6 Апробация работы

Результаты диссертации в период с 2002 по 2008 год были представлены на международных конференциях в Новосибирске, Москве, Нальчике, Гуару-же (Бразилия). В частности, на международной конференции «Мальцевские чтения» (Новосибирск, 2006 г.) и международной школе-конференции по теории групп (Нальчик, 2006 г.) автором были сделаны пленарные доклады по теме диссертации. Результаты неоднократно докладывались на семинарах Института математики СО РАН и НГУ «Теория групп» и «Алгебра и логика», а также на общеинститутском семинаре ИМ СО РАН.

1.7 Публикации

Основные результаты диссертации опубликованы в журналах [75]-[82], входящих в перечень ВАК для докторских диссертаций. См. также [87, 90].

1. Алеева М. Р. О композиционных факторах конечных групп с множеством порядков элементов, как у группы U3(д) // Сиб. матем. журн. 2002. Т. 43, №2. С. 249-267.

2. Алеева М. Р. О конечных простых группах с множеством порядков элементов, как у группы Фробениуса или двойной группы Фробениуса // Мат. заметки. 2003. Т. 73, №3. С. 323-339.

3. Бутурлакин А. А. Спектры линейных и унитарных групп // Алгебра и логика. 2008. Т. 47, №2. в печати.

4. Бутурлакин A.A., Гречкосеева М. А. Циклическое строение максимальных торов в конечных классических группах // Алгебра и логика. 2007. Т. 46, №2. С. 129-156.

5. Васильев A.B., Гречкосеева М.А. О распознавании по спектру конечных простых линейных групп над полями характеристики 2 // Сиб. матем. журн. 2005. Т. 46, №4. С. 749-758.

6. Зельманов Е. И. Решение ослабленной проблемы Бернсайда для групп нечётного показателя // Изв. АН СССР. Сер. матем. 1990. Т. 54, №1. С. 42-59.

7. Зельманов Е. И. Решение ослабленной проблемы Бернсайда для 2-групп // Матем. сб. 1991. Т. 182, №4. С. 568-592.

8. Кондратьев A.C. О компонентах графа простых чисел для конечных простых групп // Мат. сборник 1989. Т. 180, №6. С. 787-797.

9. Кондратьев А. С., Мазуров В. Д. Распознавание знакопеременных групп простой степени по порядкам их элементов // Сиб. матем. журн. 2000. Т. 31, №2. С. 80-91.

10. Кострикин А. И. Вокруг Бернсайда, М.: Наука, 1986.

11. Мазуров В. Д. О множестве порядков элементов конечной группы // Алгебра и логика. 1994. Т. 33, № 1. С. 81-89.

12. Мазуров В. Д. Характеризация конечных групп множествами порядков их элементов // Алгебра и логика. 1997. Т. 36, №1. С. 37-53.

13. Мазуров В. Д. Распознавание конечных групп по множеству порядков их элементов // Алгебра и логика. 1998. Т. 37, №6. С. 651-666.

14. Мазуров В. Д., Су М. Ч., Чао Х.П. Распознавание конечных простых групп Ъз(2т) и Цз(2т) по порядкам их элементов // Алгебра и логика. 2000. Т. 39, №5. С. 567-585.

15. Мазуров В. Д. Распознавание конечных простых групп S4 (q) по порядкам их элементов // Алгебра и логика. 2002. Т. 41, №2. С. 166-198.

16. Мазуров В. Д. Группы с заданным спектром // Изв. Урал. Гос. Унив. Мат. Мех. 2005. Т. 36, №7. С. 119-138.

17. Стейнберг Р. Лекции о группах Шевалле, Москва: Мир, 1975.

18. Хосрави А., Хосрави Б. Квазираспознавание простых групп 2G2{q) по графу простых чисел // Сиб. Матем. Журн. 2007. Т. 48, №3. С. 707-716.

19. Нерешённые вопросы теории групп. Коуровская тетрадь. 16-е изд. Новосибирск. 2006. Ин-т матем. СО РАН.

20. Blackburn N., Huppert В. Finite groups III, Springer, Berlin, 1982.

21. Brandi R., Shi W. Finite groups whose element orders are consecutive integers // J. Algebra. 1991. V. 143, N2. P. 388-400.

22. Brandi R., Shi W. The characterization of PSL2(q) by its element orders // J. Algebra. 1994. V. 163, N1. P. 109-114.

23. Suprunenko I. D., Zalesskii A. E. Fixed vectors for elements in modules for algebraic groups // Internat. J. Algebra Cornput. 2007. V. 17, NP. 5-6. P. 1249-1261.

24. Testerman D. M. -Artype overgroups of elements of order p in semisimple algebraic groups and the associated finite groups //J. Algebra. 1995. V. 177, N1. P. 34-76.

25. Thompson J. G. Normal p-complements for finite groups // Math. Z. 1960. Bd 72, N2. S. 332-354.

26. Ward H. N. On Ree's series of simple groups // Trans. Amer. Math. Soc. 1966. 121, N1. P. 62-89.

27. Williams J. S. Prime graph components of finite groups //J. Algebra. 1981. 69 , N 2. P. 487-513.

28. Zalesskii A. E. Minimal polynomials and eigenvalues of p-elements in representations of quasi-simple groups with a cyclic Sylow p-subgroup // J. London Math. Soc. 1999. V. 59, N3. P. 845-866.

29. Zassenhaus H. Kennzeichnung endlicher linearen Gruppen als Permutationsgruppen // Abhandl. math. Semin. Univ. Hamburg. 1936. Bd 11. S. 17-40.

30. Zassenhaus H. Uber endliche Fastkörper // Abhandl. math. Sernin. Univ. Hamburg. 1936. Bd 11. S. 187-220.

31. Zsigmondy K. Zur Theorie der Potenzreste // Monatsh. für Math, und Phys. 1892. Bd 3. S. 256-284.

32. The GAP Group, GAP — Groups, Algorithms, and Programming, Version 4.4.7 (2006), http://www.gap-system.orgРаботы автора по теме диссертации

33. Заварницин A.B. Распознавание по множеству порядков элементов симметрических групп степени г и г + 1 для простого г /У Сиб. Матем. Журн. 2002. Т. 43, №5. С. 1002-1006.

34. Заварницин А. В. Веса неприводимых 8Ь3(д)-модулей в характеристике определения // Сиб. Матем. Журн. 2004. Т. 45, №2. С. 319-328.

35. Заварницин А. В. Распознавание простых групп U3(g) по порядкам элементов // Алгебра и логика. 2006. Т. 45, №2. С. 185-202.

36. Заварницин A.B., Мазуров В.Д. Порядки элементов в накрытиях конечных простых линейных и унитарных групп и распознаваемость групп Ln(2) по спектру // Доклады Академии Наук. 2006. Т. 409, №6. С. 736739.

37. Заварницин А. В. О распознавании конечных групп по графу простых чисел // Алгебра и логика. 2006. Т. 45, №4. С. 390-408.

38. Заварницин A.B., Мазуров В.Д. О порядках элементов в накрытиях простых групп Ln(g) и Un{q) // Труды Ин-та матем. и механ. УНЦ РАН. 2007. Т. 13, № 1. С. 89-98.

39. Заварницин А. В. Свойства порядков элементов в накрытиях групп Ln(q) и \Jn(q) // Сиб. Матем. Журн. 2008. Т. 49, №2. С. 309-322.

40. Заварницин A.B. О распознаваемости по спектру среди накрытий конечных простых линейных и унитарных групп // Доклады Академии Наук 2008. Т. 421, №1. С. 11-14.

41. Заварницин A.B., Мазуров В.Д. О порядках элементов в накрытиях симметрических и знакопеременных групп // Алгебра и логика. 1999. Т. 38, №3. С. 296-315.

42. Заварницин А. В. Распознавание по множеству порядков элементов знакопеременных групп степени г+1 и г+2 для простого г и группы степени 16 // Алгебра и логика. 2000. Т. 39, №6. С. 635-648.

43. Zavarnitsine А. V. Recognition of finite simple groups by element orders, Международная конференция "Lie and Jordan algebras, their representations and applications I", Сан-Пауло (2002), тезисы докладов, с. 48.

44. Zavarnitsine А. V. Weights of the irreducible SL3(g)-modules in defining characteristic, Препринт RT-MAT 2003-13, IME-USP, Сан-Пауло (2003), 12 с.ЛИТЕРАТУРА 119

45. Zavarnitsine А. V. Recognition of the simple groups L3(q) by element orders // J. Group Theory 2004. Y. 7, N1. P. 81-97.

46. Заварницин Л. В. Характеризация конечных групп по графу простых чисел, Международная алгебраическая конференция, посвящённая 100-летию со дня рождения Д. К. Фаддеева, Санкт-Петербург (2007), тезисы докладов, С. 177-178.

47. Вдовин Е.П., Заварницин А. В., Колесников П. С., Пожидаев А. П., Ре-вин Д. О. Группы и алгебры лиева типа. Материалы V конференции молодых учёных СО РАН, посвящённой М. А. Лаврентьеву, Новосиб. гос. ун-т, Новосибирск, 2007, С. 11-15.

48. Zavarnitsine А. V. Exceptional action of the simple groups L4(g) in the defining characteristic // Siberian Electronic Math. Reports. 2008. V. 5. P. 68-74.

49. Zavarnitsine A. V. Properties of element orders in covers for PSLn(g), Международная алгебраическая конференция, посвящённая 100-летию со дня рождения А. Г. Куроша, Москва, 2008, тезисы докладов, С. 376-377.