О конечных группах с независимыми подгруппами Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2010, Том 12, Выпуск 4, С. 15-20

УДК 512.542

О КОНЕЧНЫХ ГРУППАХ С НЕЗАВИСИМЫМИ ПОДГРУППАМИ А. Х. Журтов, А. А. Цирхов

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

всех неабелевых подгрупп в конечной группе.

Ключевые слова: конечные группы, независимые подгруппы, группы Фробениуса, силовские подгруппы.

Подгруппа H группы G называется независимой подгруппой, если Nq(K) ^ Nq(H) для любой нетривиальной подгруппы K из H.

Независимыми подгруппами, очевидно, являются группы простых порядков, нормальные подгруппы, дополнения групп Фробениуса. Другими примерами независимых подгрупп служат силовские 2-подгруппы в простых группах L2(2m), Sz(22m+1) и Ua(2m).

М. Сузуки [1] классифицировал конечные группы четного порядка с независимыми силовскими 2-подгруппами.

Л. И. Шидов [2] описал конечные группы, в которых независима каждая нильпотент-ная подгруппа.

Целью настоящей работы является изучение класса конечных групп, в каждой из которых любая неабелева подгруппа независима. Очевидно, рассматриваемому классу принадлежат все конечные метагамильтоновы группы, т. е. группы, в которых нормальны все неабелевы подгруппы. Начало изучению метегамильтоновых групп положила работа Г. М. Ромалиса и Н. Ф. Сесекина [3]. Конечные ненильпотентные метагамильтоновы группы классифицировал В. Т. Нагребецкий [4]. Конечные нильпотентные метагамильтоновы группы описаны в работе А. А. Махнева [5]. Бесконечные метагамильтоновы группы, а также обобщения как конечных, так и бесконечных метагамильтоновых групп рассматривались в работах различных авторов, из которых отметим работы С. Н. Черникова [6], Н. Ф. Кузенного и Н. Н. Семко [7], F. De Mari, F. De Giovanni [8]. Наиболее «свежие» результаты на эту тему содержаться в [9].

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

Теорема 1. В конечной группе G любая неабелева подгруппа независима тогда и только тогда, когда G метагамильтонова.

Предварительно докажем следующий результат.

Теорема 2. Пусть G — конечная группа, в которой каждая неабелева подгруппа независима. Тогда G обладает силовской башней. Более того, G является полупрямым произведением холловой нильпотентной подгруппы на абелеву подгруппу.

© 2010 Журтов А. Х., Цирхов А. А.

Напомним, что группа по определению обладает силовской башней, если она может быть получена с помощью полупрямых произведений из своих силовских подгрупп. Более точно, скажем, что нетривиальная группа О обладает силовской башней высоты Н > 0, если она при Н = 1 примарна, а при Н > 1 в ней есть нормальная нетривиальная силовская подгруппа, фактор-группа по которой обладает силовской башней высоты Н - 1.

1. Основные определения и используемые результаты

Группа О называется группой Фробениуса с ядром ¥ и дополнением Н, если 1 = ¥ < О, 1 = Н ^ О, О = ¥ ■ Н, ¥ П Н = 1 и СР(Н) = 1 для любого 1 = Н е Н.

Подгруппой Фраттини Ф(О) группы О называется пересечение ее максимальных подгрупп.

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

1. Любая подгруппа конечной группы О, содержащая нормализатор некоторой силовской подгруппы, совпадает со своим нормализатором в О [10, теорема 4.2.4].

2. Если силовская подгруппа Р конечной группы О лежит в центре своего нормализатора, то О обладает нормальным дополнением к Р, т. е. О = Р ■ N и Р П N = {1} для некоторой нормальной подгруппы N из О [10, теорема 14.2.1].

3. Любая группа нечетного порядка разрешима [11, теорема Фейта — Томпсона].

4. Если О — конечная простая неабелева группа, в которой пересечение любых двух различных силовских 2-подгрупп тривиально, то О изоморфна £2(5), $г(д) или Цз(д) для некоторого четного числа д [1].

5. Пусть Т — силовская 2-подгруппа простой группы £2(5), £г(д) или из(д). Тогда ^(Т) неабелева, N0 (Т) = ТН, где Н = 1 и ^(Н) ^ ^(Т) [1].

6. Пусть Н — дополнение группы Фробениуса [12]. Тогда

(а) силовские р-подгруппы из Н являются циклическими при р > 2, а при р = 2 — циклическими или кватернионными группами;

(б) если в Н есть инволюция Ь, то (¿) содержит все инволюции из Н и / = /-1 для любого элемента / из ядра.

7. Если все силовские подгруппы группы О циклические, то О — полупрямое произведение холловой циклической подгруппы на циклическую подгруппу [12].

8. Если N — конечная примарная группа, А — группа порядка, взаимно простого с N |, действующая нетривиально на N, то А действует нетривиально на фактор-группе по подгруппе Фраттини Ф^) группы N [10, теорема 12.2.2].

9. Если V — элементарная абелева группа и А — действующая на V группа, порядок которой взаимно прост с IV|, то V = VI х ■ ■ ■ х Vs, где каждая VI, I = 1,... ,в, является минимальной А-инвариантной подгруппой [10, теорема 16.3.2].

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

В дальнейшем О означает конечную группу, каждая неабелева подгруппа которой независима.

Лемма 1. В любой подгруппе и любой фактор-группе группы О все неабелевы подгруппы независимы.

< Пусть Н < О, VДО. Если 1 = К < К < Н и К - неабелева, то NH (К) = Н П ^(К) ^ Н П N0(К) = NH(К). Поэтому К независима в Н.

Если U = U/V — неабелева подгруппа в G/V = G и 1 = W/V ^ U/V, то U — неабелева, W = 1 и

Ng/v(W/V) = Ng(W/V) < Ng(U/V) = Ng/v(U/V),

поэтому U — независимая подгруппа в G. >

Лемма 2. Пусть P — силовская р-подгруппа группы G и H — подгруппа, содержащая Ng (P). Если H неабелева, то Ng(K) ^ H для любой нетривиальной подгруппы K из H.

< По условию H независима. По предложению 1 Ng(H) = H. Поэтому Ng(K) ^ Ng (H) = H. >

Лемма 3. Если P — силовская р-подгруппа в G и Ng(P) неабелева, то

(а) P П Px = {1} для любого x £ G\NG(P),

(б) Ng(P) —холлова подгруппа.

< (а): Предположим противное. Тогда G = Ng(P) и существует x £ G, для которого P = P П Px = 1. Выберем x так, чтобы порядок подгруппы D = P П Px был наибольшим. Тогда (Np(D),Npx(D)) не является р-подгруппой и поэтому в Ng(D) существуют, по меньшей мере, две различные силовские р-подгруппы.

С другой стороны, Ng(P) — независима, поэтому Ng (D) ^ Ng (P) и, следовательно, в Ng(D) есть только одна силовская р-подгруппа. Полученное противоречие доказывает

(а).

(б): Пусть 1 = U — силовская подгруппа из N = Ng(P). По условию Ng(U) ^ Ng (N). По предложению 1 Ng(N) = N, поэтому Ng(U) ^ N. Отсюда вытекает, что U — силовская подгруппа в G и, таким образом, Ng (P) — холлова подгруппа. >

Лемма 4. Группа G разрешима.

< Предположим противное. По лемме 1 можно считать, что G — неабелева простая группа. По теореме Фейта — Томпсона (предложение 3) порядок G четен. По предложению 2 нормализатор силовской 2-подгруппы группы G неабелев и, следовательно, по лемме 3 пересечение любых двух различных силовских 2-подгрупп из G тривиально. По предложению 4 G изоморфна L2(q), U%(q) или Sz(q) для некоторого четного числа q. По лемме 2 из предложения 5 получаем противоречие. >

Лемма 5. Если P — силовская подгруппа в G, нормализатор N которой неабелев и отличен от G, то G — группа Фробениуса, ядро которого есть элементарная абелева группа, а дополнение совпадает с N.

< По лемме 4 в G есть нетривиальная элементарная абелева нормальная q-подгруп-па V для некоторого простого числа q. Поскольку N неабелева, H = V • N тоже неабелева. По условию G = Ng(V) ^ Ng(H), откуда Ng(H) = G. С другой стороны, по предложению 1 NG(H) = H. Отсюда G = H = V • N. Далее, V П NAN и V П NAV, т. е. V П NAG. С другой стороны, если V П N = 1, то по условию и предложению 1 G = NG(V П N) ^ Ng(N) = N, вопреки выбору P. Поэтому V П N = {1}.

Если теперь n £ N, то по условию Cv(n) ^ N П V = {1}. Отсюда G = V • N — группа Фробениуса. >

Лемма 6. Если в G нормализатор каждой силовской подгруппы абелев или совпадает с G, то G — полупрямое произведение холловой нормальной подгруппы на абелеву подгруппу и G обладает силовской башней.

< Пусть H — произведение всех нормальных силовских подгрупп из G. Тогда H — нильпотентная нормальная холлова подгруппа. Нормализаторы остальных силовских

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

В частности, О обладает силовской башней. >

Лемма 7. О обладает силовской башней и О — полупрямое произведение холловой нормальной подгруппы на абелеву подгруппу.

< Предположим противное. Пусть О — минимальный контрпример. По лемме 6 в О есть силовская подгруппа, нормализатор N которой неабелев и отличен от О. По лемме 5 О — группа Фробениуса, ядро V которой — элементарная абелева группа. Так как ядро группы Фробениуса — холлова подгруппа, то V — силовская подгруппа в О. В силу минимальности О по лемме 1 О^ обладает силовской башней, поэтому О обладает силовской башней.

Если силовская 2-подгруппа в N неабелева, то V — нециклическая подгруппа. Далее, по предложению 6 (б) N обладает единственной инволюцией £ и = $-1 для любого элемента $ £ V. Если $ = 1, то К = ($, £) неабелева группа и ($) = N0^) П V. Поскольку V — нециклическая группа, V ^ ), однако по условию V ^ N0(($)) ^ N0(К). Это противоречие показывает, что силовская 2-подгруппа в N абелева. По предложению 6 (а) все силовские подгруппы в N циклические, а по предложению 7 N = АВ — полупрямое произведение холловой циклической подгруппы А на циклическую подгруппу В.

Так как N неабелева, то NN (В) = N и поэтому ^з^В) = VNN (В) = О. Поскольку VB неабелева, то из условия следует, что О = N0^) ^ ^з^В). Это противоречие доказывает лемму и вместе с ней теорему 2. >

3. Доказательство теоремы 1

Пусть О — минимальный противоречащий пример. Тогда в О существует неабелева подгруппа, нормализатор которой отличен от О. Кроме того, для любой неабелевой подгруппы Н из О и любой нетривиальной подгруппы К из Н выполняется включение ^(К) < N0(Н).

По теореме 2 О = NA, где N — холлова нильпотентная нормальная в О подгруппа, А — абелева подгруппа и N П А = {1}. Зафиксируем эти обозначения до конца доказательства.

Лемма 8. О не нильпотентна.

< Предположим противное. Пусть и — неабелева подгруппа группы О, для которой N0^) = О. Так как О нильпотентна, то N0^0^)) = N0^). По лемме 1 из минимальности О вытекает, что ^(и) А О. Если 2(О) П и = 1, то О = N^2(О)) < N0(Я(О)) < N<3^) = О, то О = N<3(2(О)) ^ N<3^) = О, что не верно. Поэтому и1 А О. Поскольку коммутант и1 нетривиален и совпадает с коммутантом К подгруппы и, то К А О, и мы получаем противоречие с условием: О = N0^) ^ N0^) = О. >

Лемма 9. См (А) — собственная нормальная подгруппа в N и N/CN (А) — элементарная абелева группа, на которой А действует неприводимо.

< Если См (А) = N, то О нильпотентна вопреки лемме 8. Поэтому См (А) — собственная подгруппа в N и, следовательно, А действует на N при сопряжении в О нетривиально. Из предложения 8 вытекает, что А действует нетривиально на группе V = N/Ф(N), которая является прямым произведением элементарных абелевых групп. Теперь из предложения 9 вытекает, что V = Vi х ... х У^, где каждая подгруппа V;, я = 1, • • •, 3 является минимальной А-инвариантной подгруппой. Так как А действует нетривиально на V, то А

действует нетривиально на одном из сомножителей, например, на V\. Пусть C — полный прообраз V2 х ... х Vs в N. Тогда C A G и N/C ~ Vi. Осталось показать, что C = Cn(A). Очевидно, что Cn (A) ^ C. Предположим, что C ^ Cn (A). В этом случае CA — неабеле-ва подгруппа и Ng(CA) = G. С другой стороны, по условию G = Nq(C) ^ Nq(CA) = G. Это противоречие доказывает лемму. >

Лемма 10. Любая неабелева подгруппа из N инвариантна в G.

< Пусть K — неабелева подгруппа из N.

Из лемм 1 и 8 вытекает, что KAN, а из леммы 9 следует, что Kо = Cn (A) П K = 1. Теперь по условию Ng(K) ^ Ng(Ko) ^ A, поэтому K < G. >

Лемма 11. Если H — неабелева подгруппа из G, то H A G.

< По лемме 10 можно считать, что H ^ N. Пусть Но = HnN. Тогда Но — нормальная в H холлова подгруппа и поэтому H = H00 Ao, где Ao сопряжена с некоторой подгруппой из A. Не нарушая общности, можно считать, что Ao ^ A. Так как H ^ N, то Ao = 1. По условию A ^ Ng(Ao) ^ Ng(H), т. е. A нормализует H и, в частности, нормализует Ho. Если Ho неабелева, то по лемме 10 G = Ng(Ho) ^ Ng(H), т. е. HAG. Поэтому можно считать, что Ho абелева и, следовательно, A не централизует Ho. Из леммы 9 вытекает, что 1 = [H0, A] = [H, A] По условию G = NG([H0,A]) ^ NG(H0A), т. е. H0<G. Это означает, что H A G. Лемма и теорема 1 доказаны. >

Литература

1. Suzuki M. Finite groups of even order in which Sylow 2-groups are independent // Ann. Math.—1964.— Vol. 80, № 1.—P. 58-77.

2. Шидов Л. И. О конечных группах с нормализаторным условием // Сиб. мат. журн.—1980.—Т. 21, № 6.—C. 141-145.

3. Ромалис Т. М., Сесекин Н. Ф. О метагамильтоновых группах // Мат. зап. Уральского ун-та.— 1966.—Т. 5, № 3.—C. 45-49.

4. Нагребецкий В. Т. Конечные ненильпотентные группы, любая неабелева подгруппа которых инвариантна // Мат. зап. Уральского ун-та.—1967.—Т. 6, № 1.—C. 80-88.

5. Махнев А. А. О конечных метагамильтоновых группах // Мат. зап. Уральского ун-та.—1976.— Т. 10, № 1.—C. 60-75.

6. Черников С. Н. Группы с заданными свойствами систем подгрупп.—М.: Наука, 1980.—384 с.

7. Кузенный Н. Ф., Семко Н. Н. Строение разрешимых ненильпотентных метагамильтоновых групп // Мат. заметки.—1983.—Т. 34, № 2.—C. 179-188.

8. F. de Mari, F. de Giovanni. Groups with finitely many normalizers of non-abelian subgroups // Ricerche di mat.—2006.—Vol. 55, № 2.—P. 311-317.

9. Ballester-Bolinchesn A., Cossey J. Finite groups with subgroups super-soluble or subnormal // J. Al-gebra.—2009.—Vol. 321, № 7.—P. 2042-2052.

10. Холл М. Теория групп.—М.: Изд-во иностр. лит-ры, 1962.—468 с.

11. Feit W, Thompson J. G. Solvability of groups of odd order // Pacific J. Math.—1963.—Vol. 13, № 3.— P. 755-1029.

12. Burnside W. Theory of groups of finite order.—Cambridge: Cambridge Univ. Press, 1911.

Статья поступила 29 сентября 2010 г.

Журтов Арчил Хазешович Кабардино-Балкарский госуниверситет, заведующий кафедрой геометрии и высшей алгебры РОССИЯ, 360004, Нальчик, ул. Чернышевского, 175 E-mail: zhurtov_a@mail.ru

Цирхов ЛУБЕКИР ЛХМЕТХАНОВИЧ Кабардино-Балкарский госуниверситет, ассистент кафедры геометрии и высшей алгебры РОССИЯ, 360004, Нальчик, ул. Чернышевского, 175 E-mail: tsirkhov@mail.ru

ON FINITE GROUPS WITH INDEPENDENT SUBGROUPS

Zhurtov A. H., Tsirkhov A. A.

Represented the rezults of investigation of class of finite groups in which any non abelian group is independent. Formulated and proved the necessary and sufficient condition of independence of non abelian group in the finite group.

Key words: finite group, independent subgroup, Frobenius group, Sylow group.