Арифметические свойства конечных групп лиева типа

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

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

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

Спектром и-(Сг) конечной группы (7 называется множество порядков ее элементов. Группа (7 называется распознаваемой по спектру, если для любой конечной группы Я из равенства ш (Н) = и-(£?) следует изоморфизм Н ~ (7. Другими словами, если обозначить через /г (Сг) число попарно неизоморфных групп с таким же спектром, что и (7, то группа (7 распознаваема по спектру, если Цй) = 1. Для групп, которые не являются распознаваемыми, принята следующая терминология: группа (7 называется почти распознаваемой по спектрг/, если 1 < Н (0) < оо, и нераспознаваемой по спектру, если /г ((7) = оо. Говорят, что для группы (7 проблема распознавания решена, если известно точное значение Л ©.

Безусловно, вопрос о связи между спектром группы и ее строением изучался специалистами давно. Так, хорошо известно, что группа (7 с ¿-¿-(С?) = {1,2} является элементарной абелевой 2-группой. В 1932 г. Леви и ван дер Варден [52] доказали, что группа О с и)(0) = {1,3} нильпотентна и её ступень нильпотентности ограничена числом три. Нойман [66] описал группы (7 с ЦС7) = {1,2,3}. Санов [28] и М. Холл [49] установили, что группы G, для которых oj (G) С {1,2,3,4}, соответственно, u{G) С {1,2,3,6}, локально нильпотентны. Отметим, что все эти результаты получены без предположения о конечности группы G. Целый ряд результатов был получен и для конечных групп. Выделим среди них результаты Хигмана и Сузуки о конечных группах, спектр которых содержит только степени простых чисел (их называют ЕРРО-группами). В 1957 г. Хигман [50] показал, что порядок конечной разрешимой ЕРРО-труппы имеет не более двух простых делителей, а в 1962 г. Сузуки [89] описал все конечные простые ЕРРО-труппы. В середине 80-х годов, рассматривая общую проблему строения конечных ЕРРО-групп, китайский математик Ши Вуджи обнаружил (см. [69,72]), что знакопеременная группа Alt& и простая линейная группа ½(7) однозначно характеризуются своим спектром в классе конечных групп. Именно Ши принадлежит постановка вопроса о распознаваемости конечных групп по спектру в том виде, в котором он сформулирован в диссертационной работе.

После того, как в [81] Ши показал, что группа, обладающая нетривиальной нормальной разрешимой подгруппой, обязательно нераспознаваема (строгое доказательство этого утверждения содержится в [24]), стало понятно, что содержательной проблема распознаваемости является только для групп, представляющих из себя расширение прямого произведения М простых неабелевых групп с помощью некоторой подгруппы из Out (M). Из всего класса групп с подобным строением первоочередной интерес вызывают группы, для которых произведение М состоит из одного множителя, т. е. простые и почти простые группы. Именно этим группам посвящено подавляющее число работ по проблеме распознаваемости.

Список простых и почти простых групп, для которых вопрос о их распознаваемости решен, можно найти в обзоре Мазурова [26]. Мы приводим этот список, добавив в него результаты, полученные после выхода обзора (табл. 1−3 в § 1.3). Как демонстрирует список, с каждым годом растет количество работ, посвященных этой проблеме, расширяется и география стран, в которых работают специалисты, интересующиеся вопросом распознаваемостино, тем не менее, завершение исследований по проблеме распознаваемости, даже если ограничиться рассмотрением только конечных простых групп, представляется достаточно отдаленным. Хотелось бы, однако, отметить, что именно в настоящее время в данной области открываются совершенно новые перспективы, позволяющие надеяться на возможность полного решения. Для того чтобы пояснить, каковы эти перспективы, остановимся более подробно на сложившейся схеме проверки свойства распознаваемости простой группы.

Пусть Ь — конечная неабелева простая группа. На первом этапе проверки для любой конечной группы С? такой, что и-((?) = и (Ь), требуется показать, что (7 обладает единственным неабелевым композиционным фактором и что этот фактор изоморфен Ь. Если этот этап пройден успешно, то группа Ь называется квазираспознаваемой по спектру. На практике доказательство квазираспознаваемости выполняется в два шага. Пусть и (С?) = ш (Ь). Сначала доказывается, что факторгруппа группы С? по ее разрешимому радикалу К, т. е. максимальной разрешимой нормальной подгруппе, является почти простой. Затем устанавливается, что неа-белев простой фактор 5 группы <2/К изоморфен Ь.

Для формулировок результатов, служащих основными инструментами при доказательстве квазираспознаваемости, удобно воспользоваться понятием графа простых чисел группы (7. Графом простых чисел или графом Грюнберга-Кегеля (Ж (<3) группы С? называется граф, множеством вершин которого служит множество простых делителей порядка группы и в котором две вершины р тл. q смежны тогда и только тогда, когда рд 6 Ясно, что граф простых чисел группы определяется ее спектромв частности, группы с одинаковым спектром имеют одинаковые графы простых чисел. Обозначим число компонент связности графа ОК© через $((?).

Первая серия результатов относится к конечным группам, граф простых чисел которых несвязен. Структурное описание таких групп было получено Грюнбергом и Кегелем (см. [91]). Список простых групп с несвязным графом простых чисел был найден Вильямсом и Кондратьевым [17,91] (см. табл. 4−6 в § 1.3). Грюнберг и Кегель установили, что конечная группа С? с 5((7) > 1 либо является разрешимой группой специального вида, либо имеет единственный неабелев композиционный фактор 5, причем ¿-(й1) ^ $((?). Таким образом, если Ь — простая неабелева группа с з (Ь) > 1 и ЦС?) = из (Ь), то либо спектр группы Ь имеет специальный вид, либо фактор-группа группы (7 по ее разрешимому радикалу почти проста. Как следует из работы Алеевой [2], первый случай возможен только для Ь ~ Ьз (3), С/з (3), ^(З). Следовательно, в случае, когда Ь отлична от Ь3(3), С/з (3) и ?4(3), группа (7 имеет единственный неабелев композиционный фактор 5, причем 5(5) ^ 5(Ь) — в частности, группа Я содержится в списке, полученном Вильямсом и Кондратьевым. Используя эту информацию можно пытаться доказать, что 5 ~ Ь.

К сожалению, как видно из табл. 4−6, несвязность графа простых чисел является среди конечных простых групп скорее исключением, чем правилом. Общего же подхода для доказательства квазираспознаваемости групп со связным графом до недавнего времени просто не существовало.

Однако, как было показано в недавней работе Васильева [9], условие несвязности графа простых чисел может быть в большинстве случаев успешно заменено на более слабое условие. Назовем множество вершин графа независимым, если вершины этого множества попарно несмежны. Наибольшее число вершин в независимых множествах графа (Ж (<3) называется неплотностью этого графа и обозначается через ¿-©. Если 2 делит порядок группы С, то наибольшее число вершин в независимых множествах графа содержащих число 2, называется 2-неплотностью графа (Ж ((7) и обозначается через ?(2, <7). Основной результат работы [9] дает структурное описание конечных групп (7 с ?(2, (7) > 1 и г © > 2. Доказано, что такая группа (7 имеет единственный неабелев композиционный фактор 5, причем либо этот фактор указан явно, либо ?(2,5) ^ ?(2, С?).

Неплотности и 2-неплотности графов простых чисел всех конечных неабелевых простых групп найдены в работе Васильева и Вдовина [10]. Из этих результатов следует, что под условия теоремы из [9] попадают все неабелевы простые группы, кроме групп ?3(3),^з (З), ^(З) и некоторых знакопеременных групп. Таким образом, теорема Васильева позволяет пройти первый шаг доказательства квазираспознаваемости для широчайшего класса простых групп, включающего в себя все простые группы лиева типа с нерешенной проблемой распознаваемости. Кроме того, она по сути сводит второй шаг доказательства к рассмотрению только простых групп $ с ?(2,?) > 1, а список таких групп содержится в [10]. Разумеется, одного этого сведения еще недостаточно для завершения доказательства квазираспознаваемости, и, поскольку методы, использующие теорему Грюнберга-Кегеля, не применимы для групп со связным графом простых чисел, требуются новые методы, опирающиеся на указанные теоретические результаты. Разработка таких методов — одна из основных задач диссертационной работы.

Минимальным подстановочным представлением конечной группы С? называется ее точное подстановочное представление наименьшей степени. Минимальное подстановочное представление простой группы (7 всегда транзитивно, и поэтому можно считать, что (3 действует на множестве Г2 смежных классов по некоторой собственной подгруппе Р наименьшего индекса. Подгруппа Р называется стабилизатором представления. Число орбит действия группы Р на П называется рангом представления, длины этих орбит — подстепенями представления, а стабилизаторы точек из этих орбит — двойными стабилизаторами представления. Степень, ранг, подстепени, строение стабилизатора и двойных стабилизаторов будем кратко называть параметрами минимального подстановочного представления.

Степени минимальных подстановочных представлений простых классических групп были найдены Куперстейном [43]. Более полное описание этих представлений, включавшее ранги, подстепени, строение стабилизаторов и двойных стабилизаторов, было получено Мазуровым и Васильевым [11,21]. Классические группы в последних двух работах рассматривались в своем естественном матричном представлении, и для каждой серии групп задача описания потребовала отдельного решения, зависящего от соответствующей квадратичной формы. После появления работ Васильева [4−6], посвященных минимальным подстановочным представлениям исключительных групп лиева типа, возникла идея унифицировать описания представлений классических групп, рассмотрев классические группы не как группы матриц, а как группы лиева типа. Эта задача решается в диссертационной работе.

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

1. Доказано, что простая ортогональная группа Oi" 0(2) распознаваема по спектру. Обобщение основных идей доказательства распознаваемости данной группы стало важным элементом доказательства следующего, гораздо более общего, утверждения.

2. Доказано, что простые ортогональные группы 02n+i (2) и 0^п+2(2) распознаваемы по спектру для любого п = 2m ^ 8 (совместно с А.В.Васильевым). Эти группы стали первый примером распознаваемых групп лиева типа со сколь угодно большим лиевым рангом.

3. Доказано, что простые ортогональные группы Ojn (2fe) и 02n+i (2fc) квази-распознаваемы для любого п = 2 т ^ 8 и любого натурального к (совместно с A.B. Васильевым).

4. Доказано, что простые линейные группы Ln (2k) распознаваемы для любого п = 2 т ^ 32 и любого натурального к (совместно с A.B. Васильевым). Тем самым получен первый пример бесконечной серии распознаваемых групп со связным графом простых чисел.

5. На основе представления классических групп как групп автоморфизмов простых алгебр Ли найден общий подход к описанию параметров минимальных подстановочных представлений для всех конечных простых классических групп за исключением некоторых групп малых ранга и порядка поля определения.

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

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

Апробация работы. Результаты диссертации в период с 2002 по 2006 год были представлены на конференциях в Новосибирске, Екатеринбурге, Москве, Иркутске (см. [100−105]). Результаты работы неоднократно докладывались на семинарах Института математики СО РАН и НГУ «Теория групп» и «Алгебра и логика». В 2005 году автор выступала на семинаре по теории групп университета г. Сучжоу, Китай (руководитель — проф. Ши Вуджи).

Публикации. Результаты автора по теме диссертации опубликованы в работах [94−105].

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

Диссертация состоит из 4 глав, введения и списка литературы. Она изложена на 92 страницах, включает 8 таблиц и 2 рисунка, библиография содержит 105 наименований.

Перейдем к более подробному изложению работы.

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

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

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

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

3. Алексеева O.A., Кондратьев A.C. О распознаваемости группы E&(q) по множеству порядков элементов, Укр. матем. ж., Т. 54, № 7 (2002), 998−1003.

4. Васильев A.B. Минимальные подстановочные представления конечных простых исключительных групп типа G% и F4, Алгебра и логика, Т. 35, JV5 61 996), 663−684.

5. Васильев A.B. Минимальные подстановочные представления конечных простых исключительных групп типа Е7 и Е8, Алгебра и логика, Т. 36, № 51 997), 518−530.

6. Васильев A.B. Минимальные подстановочные представления конечных простых исключительных групп скрученного типа, Алгебра и логика, Т. 37, № 11 998), 17−35.

7. Васильев A.B. Распознаваемость групп (^(З71) по порядкам их элементов, Алгебра и логика, Т. 41, № 2 (2002), 130−142.

8. Васильев A.B. О распознавании всех конечных неабелевых простых групп, простые делители порядков которых не превосходят 13, Сиб. матем. журн., Т. 46, № 2 (2005), 315−324.

9. Васильев A.B. О связи между строением конечной группы и свойствами ее графа простых чисел, Сиб. матем. журн., Т. 46, N5 3 (2005), 511−522.

10. Васильев A.B., ВдовинЕ.П. Критерий смежности в графе простых чисел конечной простой группы, Алгебра и логика, Т. 44, № 6 (2005), 682−725.

11. Васильев A.B., Мазуров В. Д. Минимальные подстановочные представления конечных простых ортогональных групп, Алгебра и логика, Т. 33, № 6 (1994), 603−627.

12. Заварпицин A.B. Распознавание знакопеременных групп степени r +1 и г + 2 для простого г и группы степени 16 по их множествам порядков элементов, Алгебра и логика, Т. 39, № 6 (2000), 648−662.

13. Заварпицин A.B. Порядки элементов в накрытиях групп Ln (q) и распознаваемость знакопеременной группы Aq, Новосибирск: НИИДМИ. Препринт N 48 (2000).

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

15. Заварпицин A.B. Веса неприводимых SL3(^-модулей в характеристике определения, Сиб. матем. журн., Т. 45, № 2 (2004), 319−328.

16. Заварпицин А. В., Мазуров В. Д. Порядки элементов в накрытиях конечных простых линейных и унитарных групп и распознаваемость групп по спектру, Доклады РАН, Т. 409, № 6 (2006), 736−739.

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

18. Кондратьев A.C., Мазуров В. Д. Распознавание знакопеременных групп простой степени по порядкам их элементов, Сиб. матем. журн., Т. 41, № 2 (2000), 360−371.

19. ЛючидоМ.С., Могхаддамфар А. Р. Распознавание некоторых линейных групп над бинарным полем по их спектрам, Сиб. матем. журн., Т. 47, N2 1 (2006), 108−122.

20. Мазуров В. Д. Минимальное подстановочное представление простой группы Томпсона, Алгебра и логика, Т. 27, № 5 (1988), 562−580.

21. Мазуров В. Д. Минимальные подстановочные представления конечных простых классических групп. Специальные линейные, симплектические и унитарные группы, Алгебра и логика, Т. 32, № 3 (1993), 267−287.

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

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

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

25. Мазуров В. Д. Распознавание конечных простых групп S±(q) по порядкам их элементов, Алгебра и логика, Т. 41, N2 2 (2002), 166−198.

26. Мазуров В. Д. Группы с заданным спектром, Изв. Урал. гос. ун-та, 2005, № 36 (Математика и механика, вып.7), 119−138.

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

28. Санов И. Н. Решение проблемы Бернсайда для экспоненты 4, Учёные зап. Jle-нингр. гос. ун-та, мат. сер., Т. 10 (1940), 166−170.

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

30. AnJ.B., Shi W. The characterization of finite simple groups with no elements of order six, Comm. Algebra, V. 28, No. 7 (2000), 3351−3358.

31. AschbacherM., Seitz G.M. Involutions in Chevalley groups over fields of even order, Nagoya Math. J., V. 63 (1976), 1−91.

32. BorelA., CarterR., Curtis C.W., IwahoriN., Springer T.A., SteinbergR. Seminar on algebraic groups and finite groups, Berlin: Springer-Verlag, 1970. Русский перевод: Семинар по алгебраическим группам, М., Мир, 1973.

33. BrandlR., Shi W. Finite groups whose element orders are consecutive integers, J. Algebra, V. 143, No. 2 (1991), 388−400.

34. BrandlR., Shi W. A characterization of finite simple groups with abelian Sylow 2-subgroups, Ricerche di Mat., V. 42, No. 1 (1993), 193−198.

35. BrandlR., ShiW. The characterization of PSL (2,q) by its element orders, J. Algebra, V. 163, No. 1 (1994), 109−114.

36. CarterR. W. Simple groups of Lie type, London: John Wiley k, Sons, 1972.

37. CarterR.W., Conjugacy classes in the Weyl group, Compositio Mathematica, V. 25, No. 1 (1972), 1−59.

38. Carter R. W. Centralizers of semisimple elements in the finite classical group, Proceedings of London Mathemetical Society (3), V. 42, No. 1 (1981), 1−41.

39. Carter R. W. Finite groups of Lie type: conjugacy classes and complex characters, New York: John Wiley & Sons, 1985.

40. ChenG. Y, MazurovV.D., Shi W. J, Vasil’evA.V., ZhurtovA.Kh. Recognition of finite almost simple groups PGL2(q) by spectrum (to appear).

41. ChigiraN., Shi W. More on the set of elements orders in finite groups, Northeast Math. J., V. 12, No. 3 (1996), 257−260.

42. ConwayJ.H., CurtisR.T., NortonS.P., ParkerR.A., WilsonR.A. Atlas of finite groups, Oxford: Clarendon Press, 1985.

43. CoopersteinB.N. Minimal degree for a permutation representation of a classical group, Israel J. Math., V. 30 (1978), 213−235.

44. DarafshehM.R., MoghaddamfarA.R. A characterization of some finite groups by their element orders, Algebra Colloq., V. 7, No. 4 (2000), 467−476.

45. DarafshehM.R., MoghaddamfarA.R. Characterization of the groups PSL$(2), PSL6(2), and PSL7(2), Comm. in Algebra, V. 29, No. 1 (2001), 465−475. Corrigendum: Comm. in Algebra, V 32, No. 9 (2003), 4651−4653.

46. DengH.W., Shi W. The characterization of Ree groups 2F4(q) by their element orders, J. Algebra, V. 217, No. 1 (1999), 180−187.

47. The GAP Group, GAP — Groups, Algorithms, and Programming, Version 4.4, 2004; (http://www.gap-system.org).

48. Gorenstein D. Finite groups, New York: Harper & Row, 1968.

49. Hall M. Solution of the Burnside problem for exponent six, Illinois J. Math., V. 2 (1958), 764−786.

50. Higman G. Finite groups in which every element has prime power order, J. London Math. Soc., V. 32 (1957), 335−342.

51. JansenC., LuxK., ParkerR.A., WilsonR.A. An atlas of Brauer characters, Oxford: Clarendon Press, 1995.

52. LeviF., van der WaerdenB.L. Uber eine besondere Klasse von Gruppen, Abh. Math. Semin. Hamburg Univ., V. 9 (1932), 154−158.

53. LiH.L., Shi W.J. A characteristic property of M12 and PSU (6,2), Acta Math. Sin., V. 32, No. 6 (1989), 758−764.

54. LiH.L., Shi W.J. A characteristic property of some sporadic simple groups (in Chinese), Chinese Ann. Math, 14A, No. 2 (1993), 144−151.

55. LipschutzS., Shi W.J. Finite groups whose element orders do not exceed twenty, Progress in Natural Sci., V. 10, No. 1 (2000), 11−21.

56. LipschutzS., Shi W. A new classification of finite simple groups, Proceedings of the MFI '99.

57. LiuF.J., A characteristic property of projective special linear group L3(8) (in Chinese), J. Southwest-China Normal Univ. (N.S.), V. 22, No. 2 (1997), 131−134.

58. LucidoM.S., MoghaddamfarA.R. Groups with complete prime graph connected components, J. Group Theory, V. 7, No. 3 (2004), 373−384.

59. Mazurov V.D. Characterization of groups by arithmetic properties, Algebra Colloq., V. 11, No. 1 (2004), 129−140.

60. Mazurov V.D., Moghaddamfar A.R. Recognition of simple group S&(2) by its spectrum, Algebra Colloq. (to appear).

61. Mazurov V.D., Shi W., A note to the characterization of sporadic simple groups, Algebra Colloq., V. 5, No. 3 (1998), 285−288.

62. Moghaddamfar A.R. On spectrum of linear groups over the binary field and recognizability of L12(2), Intern. J. Algebra and Comput. (to appear).

63. Moghaddamfar A.R., PournakiM.R. Recognition of some symmetric groups by the set of the order of their elements, Acta Math. Hung., V. 99, No. 4 (2003), 263−270.

64. Moghaddamfar A.R., Shi W. J The characterization of almost simple groups PGL (2,p) by their element orders, Commun. Algebra, V. 32, No. 9 (2004), 33 273 338.

65. Moghaddamfar A.R., Shi W. J The number of finite groups whose element orders is given, J. Pure Appl. Algebra (to appear).

66. Neumann B.H. Groups whose elements have bounded orders, J. London Math. Soc., V. 12 (1937), 195−198.

67. PraegerC.E., Shi W. A characterization of some alternating and symmetric groups, Commun. Algebra, V. 22, No. 5 (1994), 1507−1530.

68. Shi W. A new characterization of some projective special linear groups and the finite groups in which every element has prime order or order 2p (in Chinese), J. Southwest-China Teach. Univ. (N.S.), V. 8, No. 1 (1983), 23−28.

69. Shi W. A characteristic property of PSL2(7), J. Austral. Math. Soc. (Ser. A), V. 36, No. 3 (1984), 354−356.

70. Shi W. A characterization of some PSL2(g) (in Chinese), J. Southwest-China Teach. Univ. (N.S.), V. 10, No. 2 (1985), 25−32.

71. Shi W. A characterization of some projective special linear groups, J. Math. (PRC), V. 5 (1985), 191−200.

72. Shi W. A characteristic property of A5 (in Chinese), J. Southwest-China Teach. Univ., V. 11, No. 3 (1986), 11−14.

73. Shi W. A characteristic property of As, Acta Mathematica Sinica, New Series, V. 3, No. 1 (1987), 92−96.

74. Shi W. A characteristic property of J: and PSL2(2n), Adv. in Math., V. 16 (1987), 397−401.

75. Shi W. A characteristic property of Mathieu groups (in Chinese), Chinese Ann. Math., 9A, No. 5 (1988), 575−580.

76. Shi W. On the simple /^-groups (in Chinese), J. Southwest-China Teach. Univ. (N.S.), V. 13, No. 3 (1988), 1−4.

77. Shi W. A characterization of the Conway simple group Co2, J. Math. (PRC), V. 9 (1989), 171−172.

78. Shi W. A characterization of the Higman-Sims group, Houston J. Math., V. 16, No. 4 (1990), 597−602.

79. Shi W. A characterization of Suzuki simple groups, Proc Amer. Math. Soc., V. 114, No. 3 (1992), 589−591.

80. Shi W. A characterization of the finite simple group JJ±{3), Analele Universita$ii din Timi§ oara, Ser. § tiinte Mat., V. 30, No. 2−3 (1992), 319−323.

81. Shi W. The characterization of the sporadic simple groups by their element orders, Algebra Colloq., V. 1, No. 2 (1994), 159−166.

82. Shi W. A characterization of Us (2m) by their element orders, J. Southwest-China Normal Univ. (N.S.), V. 25, No. 4(2000), 353−360.

83. ShiW. A characterization of /3(9), J. Southwest-China Normal Univ. (N.S.), V. 27, No. 5 (2002), 633−636.

84. Shi W., Tang C. Y. A characterization of some orthogonal groups, Progr. Nat. Sc., V. 7, No. 2 (1997), 155−162.

85. Shi W., WangL.H., WangS.H. The pure quantitative characterization of linear groups over the binary field (in Chinese), Chinese Annals of Math. (Ser.A), 24A, No. 6 (2003), 675−682.

86. Shi W., Yang W. Y. A new characterization of A5 and finite groups in which every nonidentity element has prime order, J. Southwest-China Teachers College (Ser. B, Chinese), No. 1 (1984), 36−40.

87. SteinbergR. Automorphisms of finite linear groups, Canad. J. Math., V. 12, No. 4 (1960), 606−616.

88. SteinbergR. Endomorphisms of algebraic groups, A.M.S. Memoirs, V. 80 (1986).

89. Suzuki M. On a class of doubly transitive groups, Ann. Math., V. 75 (1962), 105 145.

90. TestermanD.M. j4i-Type overgroups from induction of order p in semisimple algebraic groups and the associated finite groups, J. Algebra, V. 177, No. 1 (1995), 34−76.

91. Williams J.S. Prime graph components of finite groups, J. Algebra, V. 69, No. 2 (1981), 487−513.

92. ZavarnitsineA. V. Recognition of the simple groups L3 (q) by element orders, J. Group Theory, V. 7, No. 1 (2004), 81−97.

93. Zsigmondy К. Zur Theorie der Potenzreste, Monatsh. Math. Phys, V. 3 (1892), 265−284.Работы автора по теме диссертации.

94. Гречкосеева М. А. Минимальные подстановочные представления классических простых групп, Сиб. матем. журн., Т. 44, № 3 (2003), 560−586.

95. Гречкосеева М. А. Распознаваемость группы Oj?(2) по ее спектру, Сиб. матем. журн., Т. 44, № 4 (2003), 737−741.

96. Васильев A.B., Гречкосеева М. А. О распознаваемости конечных простых ортогональных групп размерности 2 т, 2 т + 1 и 2т+2 над полем характеристики 2, Сиб. матем. журн., Т. 45, № 3 (2004), 510−526.

97. Васильев A.B., Гречкосеева М. А., Мазуров В. Д., ЧаоХ.П., ЧенГ.Ю., ШиВ.Дж. Распознавание конечных простых групп F4(2m) по спектру, Сиб. матем. журн., Т. 45, № 6 (2004), 1256−1262.

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

99. GrechkoseevaM.A., Lucido M.S., MazurovV.D., MoghaddamfarA.R., VasU’evA.V. On recognition of the projective special linear groups over the binary field, Сибирские электронные математические известия, Т. 2 (2005), 253−263- (http://semr.math.nsc.ru).

100. Гречкосеева М. А. О подстановочных представлениях классических простых групп, Труды XXXIII Региональной молодежной конференции «Проблемы теоретической и прикладной математики», Екатеринбург, 2002, 12−15.

101. Гречкосеева М. А. О подстановочных представлениях простых скрученных групп лиева типа, Труды XXXIV Региональной молодежной конференции «Проблемы теоретической и прикладной математики», Екатеринбург, 2003, 18−21.

102. Васильев A.B., Гречкосеева М. А. О распознаваемости конечных простых ортогональных групп, Труды XXXV Региональной молодежной конференции «Проблемы теоретической и прикладной математики», Екатеринбург, 2004, 17−19.

103. Васильев А. В., ГречкосееваМ.А. О распознавании конечных простых групп по их спектрам, Материалы международной конференции, посвященной 75-летию со дня рождения профессора А. И. Кокорина, Иркутск, 2004, 13−14.

104. GrechkoseevaM.A., Vasil’evA. V. On recognition of finite simple linear groups by spectrum, Тезисы международной алгебраической конференции, посвященной 100-летию со дня рождения П. Г. Конторовича и 70-летию Л. Н. Шеврина, Екатеринбург, 2005, 97−98.