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

Автор: Журтов Арчил Хазешович, Мазуров Виктор Данилович

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 4 т.11, 2009 года.

Бесплатный доступ

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

Локально конечная группа, спектр, централизатор инволюции.

Короткий адрес: https://sciup.org/14318284

IDR: 14318284

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

Спектром периодической группы G называется множество ω(G) порядков ее элементов. В работе дается обзор результатов, связанных с доказательством локальной конечности периодических групп, имеющих определенный спектр, устанавливается, что любая группа G, для которой 2 G ш(G) С { 1, 2, 3, 5, 9,15 } , локально конечна и описывается ее строение.

Теорема 1. Пусть G — группа, для которой

2 G ш(G) С { 1, 2, 3, 5, 9,15 } .

Тогда верно одно из следующих утверждений.

  • 1 .    Группа G — расширение абелевой группы периода 3, 5, 9 или 15 посредством группы ( t ) порядка 2, и a t = a - 1 для любого элемента a G A.

  • 2 .    Группа G — расширение элементарной абелевой 2 -группы A посредством циклической группы B порядка 1, 3, 5, 9 или 15 , действующей свободно на A .

  • 3 .    ш(G) = { 1,2,3,5 } и G A 5 .

В частности, G локально конечна.

Здесь действие группы B на группе A называется свободным действием , если A нетривиальна и a b = а для неединичных a G A и b G B .

Доказательство теоремы 1 основано на результатах работ [1–3]. Аналогично доказываются и следующие факты.

Теорема 2. Пусть G — группа, для которой ш(G) = { 2, 3 } U ш, где каждый элемент из ω либо взаимно прост с числом 6 , либо равен 9 . Тогда верно одно из следующих утверждений.

  • 1 .    Группа G — расширение абелевой группы периода 3 или 9 посредством группы ( t i порядка 2, и a t = a - 1 для любого элемента a G A.

  • 2 .    Группа G — расширение элементарной абелевой 2-группы A посредством циклической группы B порядка 1, 3 или 9 , действующей свободно на A.

  • 3 .    ш(G) = { 1,2,3,5 } и G ' A 5 .

  • 4 .    ^(G) = { 2, 7,9 } и G ' L 2 (8) .

В частности, G локально конечна.

Теорема 3. Пусть G — группа, для которой ш(G) = { 2, 3 } U ш, где каждое число из ш нечетно. Если ш(G) содержит такое простое число p >  5 , что 3р Е ш(G), то G локально конечна и изоморфна простой группе L 2 (Q) для некоторого локально конечного поля Q характеристики 2 .

Отметим, что группа L 2 (Q) удовлетворяет условию теоремы 3 для любого локально конечного поля Q характеристики 2.

Основные определения и обозначения

Спектр периодической группы G — это множество ш(G) порядков элементов группы G: натуральное число n содержится в ш(G) тогда и только тогда, когда в G есть элемент порядка n. Если множество ш(G) конечно, то оно однозначно определяется множеством ^(G) своих максимальных по делимости элементов.

Пусть группа B действует на группе A. Будем говорить, что B действует свободно , а само действие называть свободным действием , если A = 1 и равенство a b = a для a Е A, b Е B выполняется только при a = 1 или b = 1.

Известные результаты

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

  • 1.    Вопрос о локальной конечности групп периода n решен положительно только для небольших n.

  • 2.    Пусть G — группа, для которой ^(G) = { 2, 3 } . Тогда G — расширение элементарной абелевой p-группы A посредством циклической q-группы, действующей свободно на A. Здесь {p, q} = { 2, 3 } [13].

  • 3.    Если ^(G) = { 3,4 } , то G локально конечна [6] и выполнено одно из следующих утверждений:

Группы периода 2 абелевы: из равенств x 2 = y 2 = (xy) 2 = 1 с очевидностью вытекает, что xy = yx.

Локальная конечность групп периода 2 и 3 была известна еще Бернсайду. Позднее Леви и Ван-дер-Варден [4, 5] показали, что любая группа периода 3 трехступенно ниль-потентна.

Как показал Санов [6], группы периода 4 локально конечны. С ростом числа образующих ступень разрешимости конечных групп периода 4 неограниченно растет [7].

Локально конечны и группы периода 6 [8]. Их 2-длина и 3-длина не превосходит единицы. В частности, все они разрешимы ступени разрешимости, не большей четырех.

До сих пор ничего не известно о локальной конечности групп периода 5.

Группа, период которой достаточно большое натуральное число, может не быть локально конечной [9–12]. В частности, в [9] доказывается существование группы периода n, не являющейся локально конечной, для любого нечетного n >  665, а в [12] — для любого n >  8000.

  • (3 .1) G = VQ, где V — нетривиальная нормальная элементарная абелева 3-подгруппа, Q является 2-группой, которая действует свободно на V и изоморфна либо циклической группе порядка 4, либо группе кватернионов порядка 8;

  • (3 .2) G = T ( а ) , где T — нормальная нильпотентная 2-подгруппа ступени нильпотентности 2, а порядок a равен 3;

  • (3 .3) G = TS , где T — элементарная нормальная 2-подгруппа, а S изоморфна симметрической группе степени 3.

  • 4.    Если группа P периода 5 действует свободно на абелевой { 2,3 } -группе, то | P I =5 [15].

  • 5.    Пусть ^(G) = { 2, 5 } . Тогда G — либо расширение элементарной абелевой 2-группы A посредством группы P периода 5, действующей свободно на A, либо расширение элементарной абелевой 5-группы посредством группы порядка 2 [16]. В первом случае по предложению 4 | Р | =5, поэтому G во всех случаях локально конечна.

  • 6.    Пусть ^(G) = { 2, 2 m + 1, 2 m - 1 } , где m >  2. Тогда G ' L 2 (2 m ) [17].

  • 7.    Пусть ш(G) = { 2 } U ш1, где ш ' состоит из нечетных чисел. Тогда верно одно из утверждений:

В частности, G разрешима и ее ступень разрешимости не больше, чем 3 [14].

  • (7.1)    G — расширение абелевой группы А посредством группы ( t ) порядка 2 и a t = а - 1 для любого а G A.

  • (7.2)    G — расширение элементарной абелевой 2-группы A посредством группы без инволюций, действующей свободно на A при сопряжении в G.

  • (7.3)    G ' L 2 (Q) для подходящего локально конечного поля Q характеристики 2 [1].

  • 8.    Если ^(G) = { 3, 5 } , то либо G = FT , где F — двуступенно нильпотентная нормальная 5-подгруппа, а I T I = 3, либо G — расширение трехступенно нильпотентной 3-группы посредством группы порядка 5 ([19] с учетом предложения 4). В частности, G локально конечна.

  • 9.    Если ^(G) = { 4, 5 } , то выполняется одно из следующих утверждений:

Группы из пунктов (7.1) и (7.3) локально конечны. Существуют группы из пункта (7.2), не являющиеся локально конечными [18].

  • (9.1)    G = TD, где T — нормальная элементарная абелева 2-группа, а D — неабелева группа порядка 10.

  • (9.2)    G = FT , где F — элементарная абелева нормальная 5-подгруппа, а T изоморфна подгруппе группы кватернионов порядка 8.

  • (9.3)    G = TF , где T — нильпотентная ступени 6 нормальная 2-подгруппа, а F — группа порядка 5 ([19] с учетом предложения 4). В частности, G локально конечна.

  • 10.    Если ^(G) = { 3,4, 5 } , то G локально конечна и либо изоморфна А б , либо G = VC , где V — нетривиальная элементарная абелева нормальная 2-подгруппа, а C ' А 5 [20].

  • 11.    Если { 1, 5 } = ш(G) С { 1, 2, 3,4, 5 } , то G локально конечна. Это вытекает из предложений 1, 2, 3, 5, 6, 8, 9 и 10 [20].

  • 12.    Если периодическая группа G, действующая свободно на абелевой группе, содержит неинвариантную подгруппу X порядка 3, то ( X G ) изоморфна SL 2 (3) или SL 2 (5) [2, 3].

  • 13.    Пусть ^(G) = { 5, 6 } . Тогда G — разрешимая локально конечная группа и справедливо одно из следующих утверждений:

  • (13.1)    G — расширение элементарной абелевой 5-группы посредством циклической группы порядка 6;

  • (13.2)    G — расширение трехступенно нильпотентной 3-группы посредством группы диэдра порядка 10;

  • (13.3)    G — расширение прямого произведения трехступенно нильпотентной 3-группы и элементарной абелевой 2-группы посредством группы порядка 5 [21].

  • 14.    Если ^(G) = { 3,4, 7 } , то G ' L 2 (7) [22].

Доказательство теорем

Пусть G — группа, удовлетворяющая условиям одной из теорем 1–3. Тогда для нее выполнены условия предложения 7. Если G изоморфна L 2 (Q) для локально конечного поля Q характеристики 2, то при условиях теоремы 1 или 2 Q конечно порядка 2 m для некоторого m и ^(G) = { 2, 2 m 1, 2 m +1 } , откуда либо m = 2 и G ' A 5 , либо выполнены условия теоремы 2, m = 3 и G ' L 2 (8). Так как пункт (7.1) предложения 7 в условиях теорем 1 и 2 совпадает с пунктом 1 этих теорем и несовместим с условием теоремы 3, то можно считать, что G — расширение элементарной абелевой 2-группы V посредством группы H = G/V нечетного периода, действующей свободно на V при сопряжении в G.

Если выполнены условия теоремы 1 и H не содержит элементов порядка 3, то ^(G) = { 2, 5 } и пункт 2 теоремы 1 выполнен по предложению 4. Поэтому можно считать, что H содержит элемент r порядка 3. Так как H не содержит инволюций, то по предложению 12 r принадлежит центру H . В условиях теоремы 3 это невозможно и, таким образом, теорема 3 доказана. Если же выполнены условия теоремы 2, то H является 3-группой.

Если R — конечная 3-подгруппа из H , порожденная элементами r i V,..., r m V , то F = ( r i ,..., r m ) — конечная группа, силовская 3-подгруппа R которой изоморфна R. Если v — нетривиальный элемент из V, то (R, v) — конечная группа Фробениуса с дополнением R, поэтому R — циклическая группа. Отсюда следует, что (r) содержит все элементы порядка 3 из H , поэтому в H/ (r) нет элементов порядка 9.

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

По предложению 4 любая силовская 5-подгруппа из H также является циклической. Поэтому, если ^(H/ ( r ) = { 3, 5 } , то выполнено заключение теоремы 1.

Предположим, что ^(H/ ( r ) = { 3, 5 } . По предложению 8 H локально конечна. Поскольку H является { 3, 5 } -группой и ее силовские подгруппы циклические, она сама — циклическая группа. Так как минимальный период H равен 45, она содержит элемент порядка 45, что по предположению не верно. Это противоречие заканчивает доказательство теоремы 1.

Открытые вопросы

  • 1.    Пусть ^(G) = { 5, 6,11 } . Верно ли, что G ' L 2 (11)?

  • 2.    Пусть ^(G) = { 6, 7,13 } . Верно ли, что G ' L 2 (13)?

  • 3.    Пусть ^(G) = { 8, 9,17 } . Верно ли, что G ' L 2 (17)?

  • 4.    Пусть ^(G) = { 6,p } , где p — простое число. Верно ли, что G локально конечна?

Список литературы Локальная конечность некоторых групп с заданными порядками элементов

  • Мазуров В. Д. О бесконечных группах с абелевыми централизаторами инволюций//Алгебра и логика.-2000.-T. 39, № 1.-C. 74-86.
  • Журтов А. Х. О регулярных автоморфизмах порядка 3 и парах Фробениуса//Сиб. мат. журн.-2000.-T. 41, № 2.-C. 329-338.
  • Журтов А. Х. О квадратичных автоморфизмах абелевых групп//Алгебра и логика.-2000.-T. 39, № 3.-C. 320-328.
  • Levi F., van der Waerden B. L. Uber eine besondere Klasse von Gruppen//Abh. Math. Semin. Hamburg Univ.-1932.-Vol. 9.-P. 154-158.
  • Levi F. V. Groups in which the commutator operations satisfy certain algebraical conditions//J. Indian Math. Soc.-1942.-Vol. 6.-P. 87-97.
  • Санов И. Н. Решение проблемы Бернсайда для экспоненты 4//Уч. зап. Ленингр. гос. ун-та. Мат. сер.-1940.-T. 10.-C. 166-170.
  • Размыслов Ю. П. Проблема Холла -Хигмана//Изв. АН СССР. Сер. мат.-1978.-T. 42, № 4.-C. 833-847.
  • Hall Jr. M. Solution of the Burnside problem for exponent six//Illinois J. Math.-1958.-Vol. 2.-P. 764-786.
  • Адян С. И. Проблема Бернсайда и тождества в группах.-М.: Наука, 1975.-336 c.
  • Ольшанский А. Ю. Геометрия определяющих соотношений в группах.-М.: Наука, 1989.-448 с.
  • Ivanov S. V. The free Burnside groups of sufficiently large exponents//Internat. J. Algebra Comput.-1994.-Vol. 4.-P. 3-308.
  • Лысёнок И. Г. Бесконечные бернсайдовы группы четного периода//Изв. РАН. Сер. мат.-1996.-T.60, № 1.-C. 3-224.
  • Neumann B. H. Groups whose elements have bounded orders//J. London Math. Soc.-1937.-Vol. 12.-P. 195-198.
  • Лыткина Д. В. Строение группы, порядки элементов которой не превосходят числа 4//Сиб. мат. журн.-2007.-T. 48, № 2.-C. 353-358.
  • Jabara E. Fixed point free action of groups of exponent 5//J. Austral. Math. Soc.-2004.-Vol. 77.-P. 297-304.
  • Newman M. F. Groups of exponent dividing seventy//Math. Scientist.-1979.-Vol. 4.-P. 149-157.
  • Журтов А. Х., Мазуров В. Д. О распознавании конечных простых групп L2(2m) в классе всех групп//Сиб. мат. журн.-1999.-T. 40, № 1.-C. 75-78.
  • Созутов А. И. О строении неинвариантного множителя в некоторых группах Фробениуса//Сиб. мат. журн.-1994.-T. 35, № 4.-P. 893-901.
  • Gupta N. D., Mazurov V. D. On groups with small orders of elements//Bull. Austral. Math. Soc.-1999.-Vol. 60.-P. 197-205.
  • Мазуров В. Д. О группах периода 60 с заданными порядками элементов//Алгебра и логика.-2000.-T. 39, № 3.-C. 329-346.
  • Мазуров В. Д., Мамонтов А. С. О периодических группах с элементами малых порядков//Сиб. мат. журн.-2009.-T. 50, № 2.-C. 397-404.
  • Lytkina D. V., Kuznetsov A. A. Recognizability by spectrum of the group L2(7) in the class of all groups//Siberian Electronic Math. Rep.-2007.-Vol. 4.-P. 136-140.
Еще
Статья научная