Курс лекций Красноярск, 2007 Сенашов, В. И

Группа поворотов икосаэдра. Напомним, что решение

уравнения определяет отношение ребра икосаэдра к ребру куба (рис. 1, 2), много веков называемое золотым сечением единичного отрезка. На рис.2 более толстыми линиями изображены расположенные на гранях куба рёбра икосаэдра. Пара таких рёбер, расположенных на противоположных гранях куба, определяет прямоугольник, а все шесть этих рёбер определяют прямоугольную триаду икосаэдра. В каждом икосаэдре можно построить 5 таких триад. Оказывается, между множеством всех чётных подстановок прямоугольных триад и множеством всех поворотов, совмещающих икосаэдр с собой, существует взаимно однозначное соответствие. Оно является изоморфизмом знакопеременной группы чётных подстановок 5-й степени и группы .

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

Около 1890 г. знаменитый русский кристаллограф и геометр Е.С.Федоров решил теоретико-групповыми методами одну из основных задач кристаллографии: задачу классификации правильных пространственных систем точек. Это было первым случаем непосредственного применения теории групп в естествознании и оказало существенное влияние на развитие теории групп.

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

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

1. Группа G состоит из линейных комбинаций двух параллельных переносов по вертикали и горизонтали с целочисленными коэффициентами, т.е. G – прямая сумма двух бесконечных циклических групп.

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

Разбиение плоскости можно сделать более мелким и выбрать в качестве фундаментальной области четверть клетки – равнобедренный прямоугольный треугольник, гипотенуза которого совпадает со стороной клетки, а вершина прямого угла совпадает с центром клетки. Группу G тогда нужно дополнить поворотами на вокруг центров квадратов.

Начальное разбиение плоскости можно дробить и дальше, полагая, что фундаментальная область соответствующей группы совпадает с 1/8 частью квадрата и т.д.

Упражнение. Докажите, что для разбиений плоскости на совокупность правильных n-угольников n может принимать только значения 3, 4 и 6.

Оказывается, что на этом пути можно получить только 17 различных групп симметрий. Мастера орнамента практически открыли орнаменты со всеми возможными группами симметрий: на долю теории групп выпало лишь доказать отсутствие других видов. Подробный вывод и перечисление всех фёдоровских групп движений пространства и в настоящее время требуют нескольких десятков страниц текста. Сообщим лишь, что существует только 230 фёдоровских групп движений пространства. Некоторые из них были открыты благодаря применению теории групп.

РАЗДЕЛ 8. ЗАКЛЮЧЕНИЕ
Тема 23. Атласы групп
Таблицы групп. Атласы конечных простых групп и представлений конечных групп. Конечной целью собственно теории групп является описание всех существующих в природе групповых композиций. Понятно, что задача получения списка всех групп неразрешима. Однако частичные решения этой задачи приводят к таблицам групп. Такие таблицы или ссылки на них появляются уже в первых книгах по теории групп. Например, шестая глава книги О.Ю.Шмидта [37] завершена построением всех групп 12-го порядка и таблицей, указывающей для каждого число неизоморфных групп порядка

«Очаровательная коллекция конкретных групп, записанных порождающими элементами и определяющими соотношениями» — такая характеристика книги [14] дана редактором её перевода. Эта книга (см. также [13]) содержит и метод перечисления смежных классов Тодда-Коксетера, позволяющий найти определяющие соотношения для групп, заданных к.-н. иным способом.

Этот метод многократно программировался и является сегодня частью систем компьютерной алгебры. Таким образом, системы компьютерной алгебры служат источником для составления таблиц групп. Системы компьютерной алгебры MAGMA и GAP отражают два основных способа представления группы: комбинаторный (порождающими элементами и определяющими соотношениями) и в виде группы преобразований (подстановками или матрицами). Открытая для пользователей система GAP [43] создавалась на основе подстановочного представления группы. Кроме большого количества запрограммированных алгоритмов, позволяющих строить списки групп с нужными пользователю свойствами, система GAP содержит и готовые таблицы групп.

Здесь приведён список некоторых групп из библиотеки системы GAP с указанными в скобках командами обращения к этим группам, причём параметр в этих командах определяет способ задания группы. Например, при filt=IsPermGroup получаем подстановочное представление группы, а при — её линейное представление.

Циклическая группа порядка (CyclicGroup( [filt, ]n ));

Абелева группа, разложимая в прямую сумму групп порядков для списка натуральных чисел (AbelianGroup( [filt, ]ints ));

Группа диэдра порядка (DihedralGroup( [filt, ]n ));

Знакопеременная группа степени (AlternatingGroup( [filt, ]deg ));

Симметрическая группа степени (SymmetricGroup( [filt, ]deg ));

Группа Матье степени (MathieuGroup( [filt, ]degree ));

Общая линейная группа обратимых матриц над кольцом (GL( [filt, ]d, R ));

Общая линейная группа обратимых матриц над конечным полем из элементов (GL( [filt, ]d, q ));

Специальная линейная группа обратимых матриц над кольцом (SL( [filt, ]d, R ));

Специальная линейная группа обратимых матриц с единичным определителем над конечным полем из элементов (SL( [filt, ]d, q ));

Проективная специальная линейная группа, изоморфная фактор-группе группы по её центру (PSL( [filt, ]d, q ));

Группа под номером каталога всех групп порядка (SmallGroup( order, i )), (423164062 группы).

Кроме того, в каталоге групп малых порядков системы GAP можно найти каждую группу порядка:

— для и для каждого простого числа ;

— для делящего или и для каждого простого ,

— имеющего не более 3 различных простых делителей.

Заметим, что каждый из этих случаев охватывает бесконечное множество групп.

Командой AllSmallGroups( arg ) можно вызвать все группы со свойством Например, по команде AllSmallGroups( 1029, IsNilpotent ) выписываются все 5 нильпотентных групп порядка 1029, причём каждая из них задана системой из 4 порождающих элементов и определяющими соотношениями.

Помещённый в дополнении пример О.Ю.Шмидта группы Фробениуса с некоммутативным инвариантным множителем находится в каталоге системы GAP. Таким образом, свойства этой группы можно получить сегодня и с помощью этой системы, либо обратившись к её каталогу групп, либо построив в системе GAP указанную группу на языке определяющих соотношений.

Система GAP может обращаться и к существующему отдельно от неё Атласу представлений конечных групп [44]. Атлас содержит: спорадические группы (т.е. исключительные конечные простые группы), знакопеременные группы, линейные группы, другие классические группы, исключительные группы лиева типа и некоторые другие группы. Из бесконечных серий групп берутся только группы малых рангов над полями небольших порядков.

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

Атлас представлений конечных групп позволил найти другие порождающие некоторых его групп. Например, на сайте ИВМ СО РАН

(http://icm.krasn.ru/resources.php?resid=10) для каждой (кроме группы Монстр) спорадической группы размещено три инволюции, порождающих эту группу, причем либо две из них перестановочны, либо в каждой состоящей из трёх инволюций системе порождающих этой группы любые две инволюции не коммутируют.

Тема 24. Заключение
Как мы уже отмечали в начале курса лекций, в настоящее время теория групп представляет собой хорошо развитую область математики. В Красноярске в августе 2007 г. проходила международная алгебраическая конференция, посвященная 75-летию профессора В.П.Шункова. Многие участники этой конференции приехали в Красноярск с только что закончившегося международного российско-китайского семинара, проходившего на озере Байкал. В сентябре 2007 г. в Санкт-Петербурге проходила международная алгебраическая конференция, посвященная 100-летию со дня рождения Д.К. Фаддеева. Работало четыре её секции. Наибольшее число докладов было прочитано в секции «Теория групп». В некоторые дни эта секция делилась на три подсекции: бесконечные группы, конечные группы и конечные геометрии, абелевы группы.

В России работают постоянно действующие алгебраические семинары, на которых регулярно заслушиваются доклады по теории групп, в т. ч. и доклады красноярских алгебраистов. Это семинары МГУ, ИМ УрО РАН, ИМ СО РАН, НГУ, Красноярский городской алгебраический семинар, работающий на базе СибФУ.

Российские ученые имеют большой авторитет в мире. Для участия в оргкомитетах конференций, проводимых в других странах, приглашаются многие российские ученые. Приглашенные алгебраисты выступают с докладами на международных конференциях, проводимых за рубежом. Большинство научных журналов, таких как «Алгебра и логика», «Сибирский математический журнал», «Фундаментальная и прикладная математика», «Дискретная математика», «Доклады академии наук» переводятся на английский язык и переиздаются за границей.

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

ДОПОЛНЕНИЕ
Тема 25. Группы Фробениуса
Группы Фробениуса играют большую роль в изучении бесконечных групп. Интересны для изучения как сами группы Фробениуса, так и группы, обладающие системами подгрупп, являющимися группами Фробениуса.
Определение. Напомним, что конечная группа G называется группой Фробениуса, если в ней найдется собственная подгруппа H, совпадающая со своим нормализатором и взаимно простая со своими сопряженными подгруппами, отличными от H, [29].

Приведем элементарные свойства групп Фробениуса.

Теорема 25.1. Порядки ядра и неинвариантного множителя конечной группы Фробениуса взаимно просты.

Доказательство. Пусть G = FH – конечная группа Фробениуса и S – силовская p-подгруппа из H. Предположим, что найдётся p-подгруппа P > S и P не содержится в H. По теореме 16.2.2 из [13] найдётся элемент из . Тогда . Противоречие с определением группы Фробениуса. Учитывая строение группы Фробениуса G = FH, получаем утверждение теоремы. Теорема доказана.

Теорема 25.2. Всякая подгруппа порядка pq, где p и q – необязательно различные числа, дополнительного множителя Фробениуса – циклическая.

Доказательство. Пусть существует группа Фробениуса G = FH с абелевым инвариантным множителем F и нециклическим дополнением . Пусть H = <a> <v>, где |a| = p, |v|= q и . Элемент равен e, т. к. он централизует H, следовательно, . Ввиду нецикличности H имеем . По свойствам групп Фробениуса, G=F(a) и F(a’v) имеем , . Поэтому

.

Таким образом, . Это невозможно, т. к. (|F|,|1|)=1. Теорема доказана.

Следствие 25.1. Силовские p-подгруппы в дополнительном множителе циклические при p > 2, а при p = 2 либо циклические, либо (обобщённые) группы кватернионов.

Разрешимый дополнительный множитель Фробениуса является группой одного из таких типов:

Циклическая группа;

2. H = <a> <b>, (|a|, |b|)=1, (a)=H, все элементы простых порядков из b лежат в Z(H);

3. H = H₁Q, где H₁ – группа нечётного порядка одного из типов 1, 2, Q₁ – обобщённая группа кватернионов с инволюцией t, ;

4. H = QH₁, где H₁ – группа нечётного порядка одного из типов 1, 2, Q – группа кватернионов восьмого порядка;

5. H содержит подгруппу индекса 2 типа 4, и силовская 2-подгруппа из H есть группа кватернионов порядка 10.

Неразрешимый дополнительный множитель Фробениуса H содержит в качестве подгруппы индекса группу , где – группа одного из типов 1, 2, (|H₁|,30)=1.

Пусть G — группа, H — ее собственная подгруппа. Имеется в виду, что G и H составляют пару Фробениуса, если для любого элемента x из G\H пересечение H с H^x единично.

Дадим описание группы Фробениуса с неинвариантным множителем, содержащим инволюцию.

Теорема 25.3. Пусть G = B(i) – периодическая группа Фробениуса, |i| = 2. Тогда любой нетривиальный элемент из ядра B служит строго вещественным относительно инволюции i.

Доказательство. Рассмотрим элемент c = ib^-1ib, где b – произвольный элемент из b. Так как , то по теореме 25.1 порядок элемента c нечётен, |c| = 2n+1. Тогда или . Следовательно, , и появляются две возможности или . Первая возможность не реализуется ввиду того, что . Значит, или . Тогда имеет место равенство , которое и доказывает теорему. Теорема доказана.

Теорема 25.4. Пусть G=B (i) – периодическая группа Фробениуса, |i| = 2. Тогда ядро B будет абелевой группой.

Доказательство. Пусть b, c – произвольные элементы из b, c. По предыдущей теореме элемент c имеет нечётный порядок, и пусть, напр., |c|=2n-1. Рассмотрим элемент . По теореме 25.3:
idi = d ^-1 = c^-ⁿb^-1cⁿ,
с другой стороны,

Таким образом, или . Учитывая порядок элемента c, перепишем это равенство в виде или . Теорема доказана.

Приведем формулировку знаменитой теоремы Фробениуса:

Теорема 25.5. Пусть G — конечная группа, содержащая подгруппу H, совпадающую со своим нормализатором и взаимно простую со своими сопряжёнными подгруппами. Тогда совокупность элементов, не содержащихся ни в H, ни в одной из сопряжённых с H подгрупп, вместе с единицей составляют нормальный делитель группы G.

Доказательство теоремы Фробениуса в случае, когда порядок |H| чётен. Пусть – множество инволюций, взятых по одной из каждой сопряжённой с H подгруппой. Так как пара a, b инволюций в любой группе порождает группу диэдра (ab) (a) и

то для любых содержатся во множестве . Если один из i, k фиксирован, а другой принимает значение от 1 до n, то получается n различных элементов из F. Так как |F|=n, то эти элементы исчерпывают всю F. Значит, для любых ,

при некотором . Следовательно, и теорема Фробениуса в случае четного порядка группы доказана.

Доказательство теоремы Фробениуса в случае нечётного порядка неинвариантного множителя занимает большой объём, и по этим соображениям здесь оно не рассматривается.

Теорема Фробениуса неверна для бесконечных групп. В.П. Шунко-вым и его учениками построены примеры групп, которые вместе со своей подгруппой составляют пару Фробениуса, но не являются группами Фробениуса.

Теорема Фробениуса справедлива для локально конечных групп, как показывает теорема Бусаркина-Старостина (см., напр., [40]): если в локально конечной группе G имеется подгруппа B, совпадающая со своим нормализатором и взаимно простая с каждой из своих сопряжённых подгрупп, то множество элементов из G, не входящих ни в одну из сопряжённых с B подгрупп, вместе с единицей является инвариантной в G подгруппой.

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

Определение. Группа G называется группой Фробениуса (фробениусовой группой) с дополнением (неинвариантным множителем) H и ядром (инвариантным дополнением) F, если F и H — такие её собственные подгруппы, что выполняются условия:

1) (G,H) — пара Фробениуса, т.е. H H^g=1 для любого элемента g G \ H;

2) подгруппа F нормальна в G и G=F H;

3) G \{ F\{1}} = H^g.

Если G и H удовлетворяют условию 1 определения группы Фробениуса, то по В.П. Шункову они составляют пару Фробениуса (G,H).

В.П. Шунковым совместно с А.И. Созутовым доказано [28], что если (G,H) — пара Фробениуса в периодической (слабо) (сопряженно) бипримитивно конечной группе G, то G=F H — группа Фробениуса.

А.И. Созутовым показано, что в сопряженно бипримитивно конечной группе, которая со своей подгруппой H составляет пару Фробениуса, если имеется неединичный элемент конечного порядка, то группа обладает периодической частью T, являющейся группой Фробениуса с локально конечным неинвариантным множителем H T.

Приведём пример группы Фробениуса с некоммутативным ядром. Если дополнительный множитель группы Фробениуса содержит элемент порядка два, то ядро группы является абелевой группой, если же дополнительный множитель нечётного порядка, то это не всегда так. Вейснер пытался доказать коммутативность инвариантного множителя Фробениуса в общем случае. О.Ю. Шмидт обнаружил ошибку в рассуждениях Вейснера и построил пример группы Фробениуса с некоммутативным инвариантным множителем, который был опубликован в 1940 г. [37]. Пусть

G=<q,r,t,p|q⁷=p⁷=r⁷=1,t³=1,rt=tr²,r^-1q^-1rq=p,

qt=tq²p,pt=tp⁴,rq=qrp,pq=qp,pr=rp>.
Данная группа обладает следующими свойствами:

a) Любой элемент группы G может быть представлен в виде t^aq^br^cq^d, где показатели a, b, c, d неотрицательны и не превышают порядка соответствующего элемента, причём единственным образом;

б) |G | = 3*7³ = 1029;

в) Подгруппа третьего порядка H = (t) совпадает со своим нормализатором и взаимно проста со своими сопряжёнными, составляя вместе с ними класс из 343 групп;

г) Существует 342 элемента седьмого порядка, которые вместе с единицей составляют нормальный делитель порядка 343, а именно: F = >, куда входит и p;

д) При преобразовании элементами F (кроме единицы) все 343 сопряжённые с H подгруппы перемещаются между собой.

Рассмотрим пример группы Фробениуса с ненильпотентным дополнительным множителем.

Группа G = {a,b,c,d} порядка 2²37² с определяющими соотношениями

a⁷ = b⁷ = c³d⁴ = e, ab = ba, cac^-1 = a²,

cbc^-1 = b⁴, dad^-1 = b², dbd^-1 = a³, dcd^-1 = c²
является группой Фробениуса с инвариантным множителем A = <a> <b> и ненильпотентным дополнительным множителем B = < c , d >, [10].

В.П. Шунков поставил в Коуровской тетради нерешенных проблем по теории групп вопрос 6.53. Что можно сказать о ядре и дополнении

группы Фробениуса? В частности, какие группы могут выступать в качестве ядра? дополнения?

Группа Фробениуса в бесконечном случае может иметь очень сложное строение.

В.В.Блудов показал, что любая группа может быть вложена в ядро некоторой группы Фробениуса и любая правоупорядоченная группа изоморфна дополнению некоторой группы Фробениуса [6]. Обзор результатов по группам Фробениуса и группам с системами фробениусовых подгрупп можно найти в [24].

Библиографический список
1 Адян, С.И. Проблема Бернсайда и тождества в группах / С.И. Адян. М.: Наука, 1975.

Александров, П.С. Введение в теорию групп / П.С. Александров. М.: Наука, 1980.
Алешин, С.В. Конечные автоматы и проблема Бернсайда о периодических группах / С.В. Алешин // Мат. зам. – 1972. – Т. 11. №3. – С. 319–328.
Бахова, М.Ю. Примеры бипримитивно конечных групп без инволюций / М.Ю. Бахова: тез. докл. 17 всесоюзной алгебр. конф. – Минск, 1983. – С. 17.
Богопольский, О.В. Введение в теорию групп. М.; Ижевск: Ин-т компьютерных исследований, 2002.
Блудов, В.В. О группах Фробениуса / В.В. Блудов // Сиб. мат. журн. –1997. – Т.38. № 6. – С. 1219–1221.
Глухов, М.М. Алгебра. Т.1,2 / М.М. Глухов, В.П. Елизов, А.А. Нечаев; допущено МО РФ в качестве учебника для студентов вузов, обучающихся по группе специальностей в области информационной безопасности. М.: Гелиос АРВ, 2003.
Голод, Е.С. О ниль-алгебрах и финитно аппроксимируемых p-группах / Е.С. Голод // Изв. АН СССР. Сер. мат. – 1964. – Т. 28. №1. – С. 273–276.
Голод, Е.С. О некоторых проблемах бернсайдовского типа / Е.С. Голод // Труды международного конгресса математиков. – М.: Мир, 1968. – С. 284–289.
Горчаков, Ю.М. О бесконечных группах Фробениуса / Ю.М. Горчаков // Алгебра и логика. – 1965. – Т. 4. №1. – С. 118–125.
Григорчук, Р.И. К проблеме Бернсайда о периодических группах / Р.И. Григорчук // Функц. анализ и его приложения. –1980. – Т. 14. №1. – С. 53–54.
Каргаполов, М.И. О проблеме О.Ю. Шмидта / М.И. Каргаполов // Сиб. мат. журн. – 1963. – Т. 4. №1. – С. 232–235.
Каргаполов, М.И. Основы теории групп / М.И. Каргаполов, Ю.И.Мерзляков. М.: Наука, 1996.
Коксетер, Г.С.М. Порождающие элементы и определяющие соотношения дискретных групп: пер. с англ. / Г.С.М. Коксетер, У.О.Дж. Мозер; под. ред. Ю.И. Мерзлякова. М.: Наука, 1980.
Кудрявцев, В.Б. Введение в теорию автоматов / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. М.: Наука, 1985.
Курош, А.Г. Теория групп / А.Г. Курош. М.: Наука, 1967.
Математическая энциклопедия / под ред. И.М. Виноградова. М.: Сов. энциклопедия, 1977–1984.
Международный математический конгресс в Амстердаме, 1954. – М., 1959.
Мерзляков, Ю.И. О бесконечных конечно-порожденных периодических группах / Ю.И. Мерзляков // Докл. АН СССР. – 1983. – Т. 268. №4. – С. 803–805.
Новиков, П.С. О периодических группах / П.С. Новиков // Докл. АН СССР. – 1959. – Т. 127. №4. – С. 749–752.
Новиков, П.С. О бесконечных периодических группах / П.С. Но-виков, С.И. Адян // Изв. АН СССР . Сер. матем. – 1968. – Т. 32. №1. – С. 212–244; Т. 32. №2. – С. 251–523; Т. 32. №3. – С. 708–731.
Ольшанский, А.Ю. Бесконечные группы с циклическими подгруппами / А.Ю. Ольшанский // Докл. АН СССР. – 1979. – Т. 245. №4. – С. 785–787.
Ольшанский, А.Ю. Геометрия определяющих соотношений в группах / А.Ю. Ольшанский. М.: Наука, 1989.
Попов, А.М. Группы с системами фробениусовых подгрупп / А.М. Попов, А.И. Созутов, В.П. Шунков. Красноярск. Изд-во КГТУ, 2004.
Рожков, А.В. Условия конечности в группах автоморфизмов деревьев / А.В. Рожков // Алгебра и логика. – 1998. – Т. 37. №5. – С. 568–605.
Сенашов, В.И. Группы с условиями конечности / В.И. Сенашов, В.П. Шунков. Новосибирск: Изд-во СО РАН, 2001.
Сенашов, В.И. Группы с условиями конечности / В.И. Сенашов, А.И. Созутов, В.П. Шунков // Успехи мат. наук. – 2005. – Т.69. № 5 (365). – С. 1–46.
Созутов, А.И. Об одном обобщении теоремы Фробениуса на бесконечные группы / А.И. Созутов, В.П. Шунков // Мат. сб. – 1976. – Т.100. № 4. – С. 495–506.
Старостин, А.И. О группах Фробениуса / А.И. Старостин // Укр. мат. журн. –1971. – Т. 23. № 5. С. 629–639.
Струнков, С.П. Нормализаторы и абелевы подгруппы некоторых классов групп / С.П. Струнков // Изв. АН СССР. Сер. мат. – 1967. – Т. 31. №3. – С. 657–670.
Сущанский, В.И. Периодические p-группы подстановок и неограниченная проблема Бернсайда / В.И. Сущанский // Докл. АН СССР. – 1979. – Т. 247. №3. – С. 557–561.
Холл, М. Теория групп / М. Холл. М.: Мир, 1962.
Череп, А.А. О множестве элементов конечного порядка в бипримитивно конечной группе / А.А. Череп // Алгебра и логика. – 1987. – Т. 26. № 4. – С. 518–521.
Черников, Н.С. Группы, разложимые в произведение перестановочных подгрупп / Н.С. Черников. Киев: Наук. думка, 1987.
Черников, С.Н. Условия конечности в общей теории групп / С.Н. Черников // Успехи мат. наук. – 1959. – Т. 14. № 5. – С. 45–96.
Черников, С.Н. Группы с заданными свойствами системы подгрупп / С.Н. Черников. М.: Наука, 1980.
Шмидт, O.Ю. Избранные труды. Математика / O.Ю. Шмидт. – М.: Изд-во. АН СССР, 1959.
Шунков, В.П. О локально-конечной группе с экстремальными силовскими p-подгруппами по некоторому простому числу p / В.П. Шунков // Сиб. мат. журн. – 1967. – Т. 8. №1. – С. 213–229.
Шунков, В.П. О некотором обобщении теоремы Фробениуса на периодические группы / В.П. Шунков // Алгебра и логика. – 1967. – Т. 6. №3. – С. 113–124.
Шунков, В. П. M_p-группы / В. П. Шунков. М.: Наука, 1990.
Feit, W. Solvability of groups of odd order / W.Feit, J.G. Thompson // Pacif. J. Math. – 1963. – V. 13. № 3. – P. 775–1029.
Holl, Ph. A property of locally finite groups / Ph. Holl, C.R. Kylatilaka // J. London Math. Soc. – 1964. – V. 39. – P. 235–239.
The GAP Group GAP – Groups, Algorithms, and Programming, Version 4.4, 2006 (http://www.gap-system.org).
Wilson R. Atlas of Group Representations, Version 2.0 (http://www.mat.bham.ac.uk/atlas/).

<< предыдущая страница