Изучение больших подгрупп в простых конечных группах с помощью ЭВМ тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Чеканов, Сергей Геннадьевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Свердловск МЕСТО ЗАЩИТЫ
1991 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Автореферат по математике на тему «Изучение больших подгрупп в простых конечных группах с помощью ЭВМ»
 
Автореферат диссертации на тему "Изучение больших подгрупп в простых конечных группах с помощью ЭВМ"

АКАдЕМШ НАУК СССР уральское Отделение

ИНСТИТУТ М1ЕМАТЖЙ И Ф&АНИКИ

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

Чеканов Сергей Геннадьевич

Изучение оолъдах подгрупп в простых конечных . грушах с помодаю ЭВМ

01.01.06 - математическая логика, алгебра и теория чисел

кандидата оазнко-магетхических наук

Сзердловса -

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

Научный руководитель -доктор физико-магематлческах наук, профессор В.Д.Мазуров

Официальные оппоненты: доктор физико-математических наук, профессор Д.С.Казариа, кандидат физико-математических наук, . .

старший научный сотрудник А.Н.Фошн,

' Ведущее учреждение - Красноярски государственный университет

Защита диссертации состоится а2Т 1991 года

в ^Г часов на заседании специализированного' совета К 002.07.Q2 в Институте математики а механики УрО АН СССР по адресу:

€20066, Свердловск, ул, С.Ковалевской, 16. '

С дассергадаеа южно ознакомится в Ои&шотеке Института математика и механика УрО АН СССР

Автореферат разослан 199^г.

Ученый секретарь * •

специализированного совета, . кандидат дизико-иатематических наук, старший научный сотрудник А.С.Кондратьев

- 3 -

3 1У81 году была завершена классификация простых конеч- ' [их груш. Итогом усилий сотен математикбв из разных стран ¡тал коллективный труд", изложение которого, по разлившим щенкам, займет от 5000 ДО 1000и журнальных страниц, это »еспрецеяентный случай в истории математики. С одной сторо-[Ы, поражает объем проделаннок работы, с доухой - количество ювых идей, которые потреоозались для построения доказателъ-!тва классификационной теоремы. Ясно, что доказательство этого объема не может Оыть признано удовлетворительным, т. к. ;рочитать такое количество страниц математического текста »ряд ли под силу одному, даже очень квалифицированному [агематику.

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

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

непрЕБо^льгх ко.лдлекснкх характеров. дроме того,' излагаются

£0 подгруппам ■■ 2 , , и '

группы Сог по подгруппе ' ^рь^' Ко1ЖРе,гнШ1

выбор автора ойья.св;е?сй тем, что на Ыекдунаролной алгебраической шв^еренцив /Новооиоирск, 21-26 августа 1у&э г./ несг.слъко известных специалистов ао конечным грувлам.проявили интерес именно к этш,: результатам. Цричзм, ах интерес ооьясачется тесной связью «е*ду раздошиаяма подстановочна характеров в койфтахиьишй схшадн отношений Кроле того, лоиск подстановочных характеров оправдан отсутствием такой дк.ормашш в атласе конечных груш р-уД.

Предлагаема! подход к вычасшшэ подстановочна* характеров щ>едср5ь,!Я&т собой сочетание сеоиетэ шдетановочнах характеров с евтовсшзшк использованием ЭК/1. Основная грудвоот: при чвгои твдод© связана с голучеюш! э^фейгавшх ограничено! на коэ^.у.-ищокты кр&т-ь:ости вшедшш вэправодаавс кокшюхсннх характеров в соответствуй^;;-; подсгелсьачкнй херс-хгзр. В таких случаях чсетс дает оадсхт применение мьтодоа дкнедкого йглй-р&'ляфСлшшя. Подробное издаете отого подхода кошзо найти в [1:3. Вдооь авпее.* вздгоои основную ида».

Пусть ' "!( " 2 й; X; - ргзяо^ешю шдст&козочшго характера "X, коночной трупов О- по иодррушо И в'сушу непркводазнх 'а>ыпяёксша хареятеро;. ^ . целочисленные' коэй^икяенга C^¿ удовлетворяю® следу&щил услов^гя:

^ (3; Х;СО ~ ¡а - Н!

#. - й

, аш характера

-а —

~ Для эффективного вычисления коэффициентов необходимо определить границы, в которых находятся эта неотрицательные целые числа. В таких случаях целесообразно решать предварительно задачу линейного программирования, т. 6. накти максимум линейнои формы (¿1 при перечисленных выше ограничениях. Сделать это можно используя, например, симплекс-метод.

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

Пусть От -конечная простая .группа. Подгруппу А группы • О- назовем широкой, 'если она удовлетворяет следующим условиям: простая неабелева группа;^ (А) = где п(Сг) -минималь-аый индекс собственных , подгрупп группы О- ; А -максимальна до включению среди подгрупп» обладающих первыми двумя свойствами.

Понятие широкой подгруппы впервые было определено в совместной работе ¿.д. Мазурова и А.Н. Фомина Сб^.Там же оали доказаны основные свойства широких подгрупп, которые легли в основу описания широких подгрупп в простых спорадических группах. Основным результатом [бЗ является следующее предлоке-вие. -

Предложена е.. Пусть еХГс класс простых конечных групп содержащий знакопеременные грушш Аи , при пусть

содержит широкие подгруппы каждой грушш входящей в . Тогда совпадает с классом всех цростых конечных

групп.

- ь -

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

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

Всего известно двадцать шесть простых спорадических групп, для Н(Ъ Эъ ,

^, Мс, Ли, Не, , О-Х > Сог уСоъ , ^, г ^ описание широких, подгрупп было получено совместными усилиями В.Д. и Н.П. Мазуровых причем в группе широкая подгруппа изоморфна , в нормализатор широкой подгруппы это 25-14 , в соответственно ¿-г(23>) , а в остальных грушах широких подгрупп нет.

Итак, среди простых спорадических групп, широкие под-^группы которых не описаны остались группы />, ^ )

• Вторая глава дассертащш содержит описание широких подгрупп в группах Я* ^иъ..

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

фшсация максимальных подгрупп во многих • спорадических группах опирается на классификационную теорему о простых конечных группах, а описание широких подгрупп имеет смысл лишь без использования этой теоремы. Поэтому предварительно оыли вычислены минимальные индексы собственных подгрупп в группах Я'ул > , С<о< с использо-

ванием лишь таблицы характеров и перечислением возможных подстановочных .чарактервв. В результате было установлено, что в ^'¿2. подгруппа изоморфная 2 ^2) является подгруппой минимального индекса, в Г¿гу} Р^Д.} Со< , подгруппами минимального индекса являются 3 ,

СЬг> соответственно. Для. группы минимальный

индекс был найден Н.П. Мазуровой /ст. Сэ]/.

Основные результатом второй глаьы является. следующая теорема.

Теорема. Пусть Сг - одна из спорадических групп Гь ^иЪ. . Тогда в Сг нет широких под-

групп.

Существенным ограничением при использовании э^ являются возможности арифметики машины. Например, машины типа ВС могут выполнять арифметические операции с целыми чисяа-ш, запись которых содержит не оолее 16. знаков. В больших спорадических группах необходимы вычисления со значительно Золыпимк числами. Например, цра вычислении минимального шдекса а группе р* верхняя граница минимального индекса, зценивалась в 1С/см. р. 8,7/. даже если использовать ходход предло:«ешщд в {VI ■ то последующе вычисления шнимального индекса яо'хреоуюг нереального количества .-.жи-' юго времени.

С другой стороны» зри анализе /.оказательсхьа о сааз кого

- 3 -

результата кз (_&2 об эквивалентности классификационной теоремы о простых конечных грушах и описания широких : подгрупп в известных простых группах можно понять,что для классификации простых конечных групп достаточно описал более узкий класс подгрупп в известных простых группах.

Подгруппу А конечной просто! группы Сг назовем К-широкой, если она удовлетворяет следующим свойствам:

1) А - простая неабелева группа;

2) к-- Кк (&) ..где минимальный индекс собственных подгрупп из С^- с из- .

. вестныш кошюзицйоншш суактораш;

3) А максимальна по включению среди собственных подгрупп Сс оиладашдих первыми двумя. свойствами),

3 третьей главе диссертации доказана следующая лемма о К-щроких подгруппах. •

Леьма. Пусть А - К-шрокня подгруппа конечной простой группы Сг . Тогда

са(луз А-,

Сг - М А для любой подгруппы М из £ индекса И,(Сг) . При этом представление А на смежных классах по М щшашшно.

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

Основным результатом § 1 третьей главы является, следующее предкоденые.

- Изучение иаьшх подгрупп в простых конечных группах с помощью ЪВ'Л , '

Автореферат диссертации на соскан.-.з учешой степоШ кандидата 4лзико-.матсмахических наух

4SM50B Сергей Геннадьевич Подписано к печати 2b.I0»ïÛ Заказ 1128 «Горма? 'uia-i/iL', Булата типографская .'.'3. Усл.'сеч. л. 0,5 Уч.-изд. л. 0,5. Тира.» 100 экз.Бесплатно.

Челябинский государственный; университет. 454136, Челябинск, ул. Ррагьев Калириных, i2b\

Ротапринт Челябинского оадасгного управления статястккк 454060, Челябинск, ул. Колуны, ¿37 а.