On the pronormality of subgroups of odd
indices in finite simple symplectic groups
arXiv:1610.01067v2 [] 5 Oct 2016

(in Russian, English abstract)

∗

Anatoly S. Kondrat’ev, Natalia V. Maslova, Danila O. Revin

Abstract
A subgroup H of a group G is said to be pronormal in G if H and H g are conjugate in
hH, H g i for every g ∈ G. In [Sib. Math. J. 2012. Vol. 53, no. 3], the following conjecture was
formulated by Evgeny P. Vdovin and the third author.
Conjecture. All subgroups of odd indices are pronormal in all finite simple groups.
The conjecture was veriﬁed by authors for many families of ﬁnite simple groups in [Sib. Math.
J. 2015. Vol. 56, no. 6]. Namely, the following theorem was proved.
Theorem. All subgroups of odd indices are pronormal in the following finite simple groups:
An , where n ≥ 5; sporadic groups; groups of Lie type over fields of characteristic 2; L2n (q);
U2n (q); S2n (q), where q 6≡ ±3 (mod 8); On (q); exeptional groups of Lie type not isomorphic to
E6 (q) or 2 E6 (q).
In [Proc. Steklov Inst. Math., to appear, Theorem 1] authors proved that, if a group G has a
normal abelian subgroup V and a subgroup H such that G = HV , then H is pronormal in G if
and only if U = NU (H)[H, U ] for any H-invariant subgroup U of the group V . Using this fact, in
[Proc. Steklov Inst. Math., to appear, Theorem 2] it was proved that Conjecture fails. Precisely, a
ﬁnite simple symplectic group P Sp6n (q) with q ≡ ±3 (mod 8) contains a nonpronormal subgroup
of odd index. In view of the above results, the following problem naturally arises.
Problem. Classify ﬁnite simple groups in which all subgroups of odd indices are pronormal.
Using [Proc. Steklov Inst. Math., to appear, Theorem 2] we prove the following theorem.
Theorem 1. Let G = P Sp2n (q), where q ≡ ±3 (mod 8) and n 6∈ {2m , 2m (22k + 1) | m, k ∈
N ∪ {0}}. Then G contains a nonpronormal subgroup of odd index.
The main result of this paper is the following theorem.
Theorem 2. Let G = P Sp2n (q), where n ≥ 2 and q ≡ ±3 (mod 8). Then any subgroup of
odd index of G is pronormal in G.

Keywords: ﬁnite group, simple group, pronormal group, odd index.
MSC 2010 Codes: 20D05, 20D20, 20E32, 20E45.
The work is supported by the grant of the President of the Russian Federation for young scientists
(grant no. MK-6118.2016.1), by the Integrated Program for Fundamental Research of the Ural Branch of
the Russian Academy of Sciences (project no. 15-16-1-5), by the Program for State Support of Leading
Universities of the Russian Federation (agreement no. 02.A03.21.0006 of August 27, 2013). The second
author is a winner of the competition of young mathematicians of the Dmitry Zimin Foundation “Dynasty”
(in 2013 year). The third author is supported by Chinese Academy of Sciences President’s International
Fellowship Initiative (PIFI), grant no. 2016VMA078.
∗

1

Аннотация
Подгруппа H группы G называется пронормальной, если для любого элемента g ∈ G
подгруппы H и H g сопряжены в подгруппе hH, H g i.
В работе Е.П.Вдовина и третьего автора [Сиб. матем. журн. 2012. Т 53, № 3] была
высказана гипотеза о том, что подгруппа нечетного индекса в конечной простой группе
всегда пронормальна. Недавно [Сиб. матем. журн. 2015. Т 56, № 6] авторы подтвердили
эту гипотезу для всех конечных простых групп, за исключением P SLn (q), P SUn (q), E6 (q)
и 2 E6 (q), где q во всех случаях нечетно и n не является степенью числа 2 в первых двух
случаях, а также P Sp2n (q), где q ≡ ±3 (mod 8).
Однако в работе [Тр. Ин-та математики и механики УрО РАН. 2016. Т. 22, № 1] авторами было доказано, что при q ≡ ±3 (mod 8) и n ≡ 0 (mod 3) простая симплектическая
группа P Sp2n (q) содержит непронормальную подгруппу нечетного индекса. Тем самым гипотеза о пронормальности подгруппы нечетного индекса в конечной простой группе была
опровергнута.
Как естественное расширение данной гипотезы возникает проблема классификации конечных неабелевых простых групп, в которых любая подгруппа нечетного индекса пронормальна. В настоящей работе мы продолжаем изучать эту проблему для симплектической
простой группы P Sp2n (q) при q ≡ ±3 (mod 8) (в отсутствие этого ограничения подгруппы
нечетных индексов пронормальны). Доказывается, что если n не является числом вида 2m
или 2m (22k + 1), то данная группа содержит непронормальную подгруппу нечетного индекса. В то же время в статье доказано, что если n = 2m , то все подгруппы нечетных индексов
в группе P Sp2n (q) пронормальны. Для случая n = 2m (22k + 1) и q ≡ ±3 (mod 8) вопрос о
пронормальности подгрупп нечетных индексов в группе P Sp2n (q) пока остается открытым.

Введение
В соответствии с определением Ф. Холла, подгруппа H группы G называется пронормальной, если для любого элемента g ∈ G подгруппы H и H g сопряжены в подгруппе
hH, H g i.
В дальнейшем мы рассматриваем только конечные группы, и в связи с этим термин «группа» употребляется нами в значении «конечная группа».
Подгруппа H конечной группы G называется холловой, если ее порядок |H| и
индекс |G : H| взаимно просты.
В работе [1] было доказано, что холловы подгруппы в конечных простых группах
пронормальны, и на основании анализа доказательства была высказана следующая
Гипотеза 1 [1, гипотеза 1]. В конечных простых группах подгруппы нечетных
индексов пронормальны.
Эта гипотеза была подтверждена авторами [2, теорема] для конечных простых
групп, за исключением P SLn (q), P SUn (q), E6 (q) и 2 E6 (q), где q во всех случаях
нечетно и n не является степенью числа 2 в первых двух случаях, а также P Sp2n (q),
где q ≡ ±3 (mod 8).
Однако с помощью полученного в [3, теорема 1] критерия пронормальности добавлений к абелевым нормальным подгруппам конечных групп авторам удалось построить примеры непронормальных подгрупп нечетных индексов в группах P Sp6n (q), где
q ≡ ±3 (mod 8) (см. [3, теорема 2]). Таким образом, гипотеза 1 была опровергнута.
Как естественное расширение гипотезы 1 в свете полученных результатов возникает

2

Проблема 1. Классифицировать неабелевы простые группы, в которых подгруппы нечетных индексов пронормальны.
В настоящей работе мы продолжаем исследование проблемы 1 для случая симплектических групп.
На самом деле, результат [3, теорема 2] позволяет исследовать проблему 1 для
значительно бо́льшего массива симплектических групп, чем это было сделано в [3].
Мы докажем следующее утверждение.
Теорема 1. Пусть G = P Sp2n (q), где q ≡ ±3 (mod 8) и n не является числом
вида 2w или 2w (22k + 1). Тогда G содержит непронормальную подгруппу нечетного
индекса.
Кроме того, мы полностью исследуем один из двух оставшихся случаев симплектических групп, которые не накрываются теоремой 1, а именно случай групп
P Sp2n (q), где q ≡ ±3 (mod 8) и n = 2w . Основным результатом настоящей работы
является
Теорема 2. Подгруппы нечетных индексов пронормальны в группах P Sp2n (q),
где n = 2w ≥ 2 и q ≡ ±3 (mod 8).
Из теоремы 2 и основного результата работы [2] получаем
Следствие. Подгруппы нечетных индексов пронормальны в простой классической группе, у которой размерность или порядок основного поля является степенью
числа 2.
Замечание. Проблема 1 остается открытой для групп P Sp2n (q), где q ≡ ±3
(mod 8) и n = 2m (22k + 1), а также для групп E6 (q), 2 E6 (q), P SLn (q) и P SUn (q), где
во всех случаях q нечетно и n не является степенью числа 2.

Вспомогательные результаты
Наши терминология и обозначения, в основном, стандартны, их можно найти в [4,5].
Запись H prn G используется для сокращения “H является пронормальной подгруппой в группе G”.
Для группы G и подмножества π множества всех простых чисел через Soc(G),
Oπ (G) и Z(G) обозначаются цоколь (подгруппа, порожденная всеми минимальными
неединичными нормальными подгруппами), π-радикал (наибольшая нормальная πподгруппа) и центр группы G соответственно. Через Sylp (G) обозначается множество
силовских p-подгрупп группы G. Как обычно, через π ′ обозначается множество всех
простых чисел, не принадлежащих π. Кроме того, если n — натуральное число, то
nπ — наибольший натуральный делитель числа n такой, что все простые делители
nπ принадлежат π. Для конечной группы G будем, как это обычно принято, писать
O(G) вместо O2′ (G).
Зафиксируем некоторые обозначения, связанные с классическими группами. Пусть
q — натуральная степень простого числа и G — одна из конечных простых классических групп P SLn (q), P SUn (q), P Spn (q) для четного n, P Ωn (q) для нечетных n и q и
P Ωεn (q) для четного n, где ε ∈ {+, −}. Будем обозначать через V векторное пространство размерности n над полем F с соответствующей билинейной или квадратичной
формой, ассоциированное с группой G, где F = Fq для линейных, симплектических
и ортогональных групп и F = Fq2 для унитарных групп.
3

Здесь и далее мы используем следующие обозначения [5]: P SLn (q) = Ln (q) =
+
−
2
P SUn (q) = Un (q) = L−
n (q), P Spn (q) = Sn (q), E6 (q) = E6 (q) и E6 (q) = E6 (q).

L+
n (q),

Лемма 1 [1, лемма 5] Пусть G — конечная группа и H ≤ G. Предположим также,
что подгруппа H содержит некоторую силовскую подгруппу S группы G. Тогда
следующие утверждения эквивалентны:
(1) H prn G;
(2) подгруппы H и H g сопряжены в hH, H g i для любого g ∈ NG (S).
Таким образом, для доказательства пронормальности подгруппы H нечетного индекса в группе G достаточно установить сопряженность подгрупп H и H g в hH, H g i
для любого нетривиального элемента g ∈ NG (S) нечетного порядка, где S — фиксированная силовская 2-подгруппа группы H (и, следовательно, группы G).
Лемма 2 Пусть p — простое число и Xp — класс всех конечных групп, в которых
силовская p-подгруппа совпадает со своим нормализатором. Тогда
(1) если X ✂ Y , причем X ∈ Xp и Y /X ∈ Xp , то Y ∈ Xp ;
(2) если X ≤ Y ∈ Xp и индекс |Y : X| не делится на p, то X prn Y .
Доказательство. Докажем утверждение (1). Пусть X ✂ Y , причем Y /X ∈ Xp и
X ∈ Xp . Пусть также S ∈ Sylp (Y ). Справедливы равенства
NY (SX) = SX и NX (S ∩ X) = S ∩ X,
поскольку SX/X ∈ Sylp (Y /X) и S ∩ X ∈ Sylp (X). Покажем, что NY (S) = S. Это так,
поскольку NY (S) ≤ NY (SX) = SX и, следовательно,
NY (S) = NSX (S) = SNX (S) и NX (S) ≤ NX (S ∩ X) = S ∩ X.
Утверждение (2) следует из леммы 1 и того факта, что подгруппа индекса, не
кратного p, в группе Y ∈ Xp содержит некоторую силовскую p-подгруппу S группы Y , а значит и ее нормализатор в Y .
✷
Лемма 3 [6, следствие] Пусть G — конечная простая неабелева группа и S ∈
Syl2 (G). Тогда NG (S) = S, за исключением следующих случаев:
(1) G ∼
= J2 , J3 , Suz или F5 и |NG (S) : S| = 3;
(2) G ∼
= 23 .7.3 < Hol(23 );
= 2 G2 (32n+1 ) или J1 и NG (S) ∼
(3) G — группа лиева типа над полем характеристики 2 и NG (S) — подгруппа
Бореля в группе G.
(4) G ∼
= L2 (q), где 3 < q ≡ ±3 (mod 8) и NG (S) ∼
= A4 .
η
(5) G ∼
= E6 (q), η = ±, q нечетно и NG (S) = S × C, где C — неединичная циклическая группа порядка (q − η1)2′ /(q − η1, 3)2′ .

4

(6) G ∼
= S2n (q), n > 2, q ≡ ±3 (mod 8) и факторгруппа NG (S)/S изоморфна элементарной абелевой 3-группе порядка 3t , где число t находится из двоичного
разложения
n = 2s1 + · · · + 2st , s1 > · · · > st > 0.
(7) G ∼
= Lηn (q), n > 3, η = ±, q нечетно и
NG (S) ∼
= S × C1 × · · · × Ct−1 ,
где число t находится из двоичного разложения
n = 2s 1 + · · · + 2s t ,
s1 > · · · > st > 0, и C1 , . . . Ct−2 , Ct−1 — циклические группы порядков
(q − η1)2′ , . . . , (q − η1)2′ , (q − η1)2′ /(q − η1, n)2′ соответственно.
Лемма 4 [10, лемма 1] Если группа Фробениуса F C с ядром F и циклическим
дополнением C = hgi порядка n точно действует на векторном пространстве V
над полем ненулевой характеристики, взаимно простой с |F |, то минимальный
многочлен элемента g как линейного преобразования пространства V равен λn − 1.
Лемма 5 Пусть H — подгруппа нечетного порядка группы G, где
SL2 (q) ≤ G ≤ GL2 (q) или P SL2 (q) ≤ G ≤ P GL2 (q),
причем (|H|, q) = 1, и g ∈ NG (H) — элемент нечетного порядка. Тогда
(1) группа H абелева;
(2) g ∈ CG (H).
Доказательство. Для группы G = P SL2 (q) данное утверждение легко вывести из
списка максимальных подгрупп группы G [7, теорема II.8.27]. Мы приведем однако
здесь другое доказательство, охватывающее все остальные случаи и основанное на
элементах теории представлений и линейной алгебры.
Допустим, P SL2 (q) ≤ G ≤ P GL2 (q). Так как подгруппы H и hH, gi имеют нечетные порядки, эти подгруппы содержатся в P SL2 (q). Более того, в SL2 (q) ≤ GL2 (q) у
этих подгрупп найдутся изоморфные им прообразы. Следовательно, нам достаточно
доказать лемму для случая, когда G = GL2 (q).
Докажем (1). По теореме Машке [8, теорема (1.9)] группа H вполне приводима.
Следовательно, если H приводима, она сопряжена с подгруппой группы диагональных матриц, и утверждение (1) верно. Поэтому считаем, что подгруппа H неприводима. Более того, заменяя в случае необходимости поле Fq на поле разложения Fqn
группы H и пользуясь вложением GL2 (q) ֒→ GL2 (q n ), мы, не уменьшая общности,
можем считать тождественное вложение H в G точным абсолютно неприводимым
представлением группы H. По [8, теорема (15.13)] степень этого представления, равная 2, совпадает со степенью некоторого неприводимого комплексного представления, и, следовательно, по [8, теорема (3.11)] делит нечетное число |H|. Противоречие.
Докажем (2). Пусть характеристика поля Fq равна p. Элемент g можно представить в виде g = xy, где x, y ∈ hgi, причем x — p-элемент, а y — p′ -элемент. Теперь,
заменяя H на подгруппу hH, yi (порядкок которой равен |H||y| и которая, ввиду
5

утверждения (1), абелева), а g на x, мы можем считать, что g — p-элемент. Более того, поскольку силовская p-подгруппа группы G изоморфна аддитивной группе поля
Fq , мы можем считать, что |g| = p. Ввиду [9, теорема 4.34] и абелевости подгруппы H,
имеем H = F × K, где F = [H, hgi] и K = CH (g). При этом CF (g) = F ∩ K = 1, поэтому группа hF, gi = F hgi является группой Фробениуса с ядром F и циклическим
дополнением hgi порядка p. Применяя лемму 4, получаем противоречие, так как минимальный многочлен λp − 1 элемента g делит его характеристический многочлен
det(g − λI) степени 2, а p = |g| нечетно.
✷
Лемма 6 [2, лемма 3] Пусть H — подгруппа, N — нормальная подгруппа группы
G и : G → G/N — естественный эпиморфизм. Справедливы следующие утверждения:
(1) если H prn G, то H prn G;
(2) если N ≤ H и H prn G, то H prn G.
В частности, подгруппа H нечетного индекса пронормальна в G тогда и только
тогда, когда подгруппа H/O2 (G) пронормальна в G/O2(G).
Лемма 7 [2, лемма 5] Пусть H и M — подгруппы группы G, причем H ≤ M.
Справедливы следующие утверждения:
(1) если H prn G, то H prn M;
(2) если S ≤ H для некоторой силовской подгруппы S группы G, причем NG (S) ≤
M и H prn M, то H prn G.
Лемма 8 [3, лемма 3] Пусть H — транзитивная группа подстановок степени n
и A — группа. Определим действие группы H на группе V = An по правилу
(x1 , . . . , xn )π = (x1π−1 , . . . , xnπ−1 ) для любых (x1 , . . . , xn ) ∈ V и π ∈ H.
Тогда

CV (H) = {(x1 , . . . , xn ) ∈ V | x1 = · · · = xn } ∼
= A.

Лемма 9 [3, теорема 1] Пусть H и V — подгруппы группы G такие, что V —
абелева нормальная подгруппа в G и G = HV . Тогда следующие утверждения равносильны:
(1) H prn G;
(2) U = NU (H)[H, U] для любой H-инвариантной подгруппы U ≤ V .
Лемма 10 [3, теорема 2] Группа PSp6n (q) при q ≡ ±3 (mod 8) содержит непронормальную подгруппу нечетного индекса.
Лемма 11 [3, лемма 8] Пусть H — группа подстановок степени n и A — конечная
группа. Определим действие группы H на группе V = An по правилу
(x1 , . . . , xn )π = (x1π−1 , . . . , xnπ−1 ) для любых (x1 , . . . , xn ) ∈ V и π ∈ H.

6

Предположим, что H содержит транзитивную подгруппу K такую, что
(|A|, |K|) = 1.
Тогда для любой H-инвариантной подгруппы U группы V выполнено равенство
U = CU (H)[H, U].
В частности, H prn V H.
Лемма 12 Пусть выполнено одно из следующих утверждений:
(а) G = Sn — симметрическая группа степени n;
(б) G — диэдральная группа;
(в) G = D ≀ Sn — сплетение диэдральной и симметрической групп.
Тогда:
(1) силовская 2-подгруппа группы G совпадает со своим нормализатором;
(2) любая подгруппа нечетного индекса пронормальна в G.
Доказательство. Достаточно доказать утверждение (1) в случаях (а) и (б). Тогда
справедливость утверждения (1) в случае (в) и утверждение (2) будут следовать
из леммы 2. Для случая (а) см. [12, лемма 4]. Рассмотрим случай (б). Путь G —
диэдральная группа, S ∈ Syl2 (G) и U = O(G). Тогда G = SU, поэтому
NG (S) = SNU (S) = SCU (S).
Покажем, что CU (S) = 1 и тем самым докажем утверждение (1). Из определения
диэдральной группы следует, что группа U циклическая и S содержит инволюцию t
такую, что ut = u−1 для всех u ∈ U. Допустим, 1 6= u ∈ CU (S). Тогда u — нетривиальный элемент нечетного порядка и
u 6= u−1 = ut = u.
Получаем противоречие.

✷

Лемма 13 Пусть G = A ≀ B = V B — естественное подстановочное сплетение
циклической группы A порядка 3 и симметрической группы B = Sn , где n = 2w ,
через V = V1 × . . . × Vn , где Vi ∼
= A, обозначена база сплетения, и H — подгруппа
нечетного индекса в G. Тогда H prn G.
Доказательство. Пусть S ∈ Syl2 (G) и S ≤ H. По теореме Силова можно считать,
что S ≤ B.
Из леммы 12(1) следует, что NG (SV ) = SV ≤ HV . Поэтому
NG (S) ≤ NG (SV ) ≤ HV.
Теперь ввиду леммы 7 достаточно показать, что H prn HV , а в силу леммы 9
для этого достаточно, чтобы выполнялось равенство U = NU (H)[H, U] для любой
H-инвариантной подгруппы U ≤ V .
7

Пусть U — H-инвариантная подгруппа из V . Включение NU (H)[H, U] ⊆ U очевидно. Заметим, что S ≤ B является транзитивной группой подстановок на множестве
{V1 , . . . , Vn }. Ввиду леммы 11 имеем U = CU (S)[S, U]. Теперь ясно, что [H, U] ≥ [S, U].
Покажем, что CU (H) ≥ CU (S). Это так, поскольку из леммы 8 следует, что CV (S) ≤
CV (H) и
CU (S) = U ∩ CV (S) ≤ U ∩ CV (H) = CU (H).
Теперь легко понять, что
U = CU (S)[S, U] ≤ CU (H)[H, U] ≤ NU (H)[H, U].
Значит, H prn HV .

✷

Лемма 14 Пусть G = A ≀ B — естественное подстановочное сплетение группы
A∼
= A4 и симметрической группы B = Sn , где n = 2w , и H — подгруппа нечетного
индекса в G. Тогда H prn G.
Доказательство. Заметим, что G/O2 (G) ∼
= G1 , где G1 — естественное подстановочное сплетение циклической группы A порядка 3 и симметрической группы Sn .
Применение лемм 6 и 13 завершает доказательство леммы.
✷
Лемма 15 Пусть Q — подгруппа нечетного индекса группы L = L1 × L2 × . . . × Ln ,
где Li — конечные группы, и πi — отображение проекции группы L на Li . Тогда если
для некоторого i группа Li проста и Qπi = Li , то Li ≤ Q.
Доказательство. Так как Li ✂ L, заключаем, что Q ∩ Li ✂ Q, откуда (Q ∩ Li )πi
является нормальной подгруппой в группе Qπi = Li , которая проста. Таким образом,
либо (Q ∩ Li )πi = 1, либо (Q ∩ Li )πi = Li . В последнем случае получаем, что Li ≤ Q.
Осталось показать, что (Q ∩ Li )πi 6= 1. Пусть подгруппа S ∈ Syl2 (L) такова, что
✷
S ≤ Q. Тогда S ∩ Li ∈ Syl2 (Li ), откуда 1 6= S ∩ Li = (S ∩ Li )πi ≤ (Q ∩ Li )πi .
Лемма 16 Пусть G = A ≀ Sn = LH — естественное подстановочное сплетение
неабелевой простой группы A и симметрической группы H = Sn , где n = 2w и через
L = L1 × . . . × Ln , где Li ∼
= A, обозначена база сплетения. Пусть K — подгруппа
нечетного индекса в G и K0 = K ∩ L. Тогда для любой подгруппы M1 группы L1 ,
которая содержит нормализатор в L1 проекции группы K0 на L1 , подгруппа K
содержится в некоторой подгруппе группы G, изоморфной M1 ≀ Sn .
Доказательство. Группа H = Sn естественным образом действует на множестве
Ω = {1, . . . , n}. Обозначим через Xi стабилизатор точки i в H.
Пусть S — силовская 2-подгруппа группы G, содержащаяся в K. Тогда, поскольку все силовские 2-подгруппы сопряжены в G, существует элемент g ∈ G такой,
что подгруппа S g содержит некоторую регулярную подгруппу T группы H = Sn .
Поэтому мы можем считать, что T ≤ K. Тогда H = T Xi = Xi T для любого i.
Заметим, что T действует транзитивно на множестве {Li | 1 ≤ i ≤ n}. Пусть
Ki — проекция группы K0 на Li . Тогда T также действует транзитивно на множестве
{Ki | 1 ≤ i ≤ n} (откуда Ki ∼
= Kj для любых i и j), поэтому
{Ki | 1 ≤ i ≤ n} = {K1t | t ∈ T }
Q
Q
и K0 ≤ ni=1 Ki . Более того, K ≤ NG ( ni=1 Ki ).
8

(1)

Q
Q
Q
Заметим, что NL ( ni=1 Ki ) = ni=1 NLi (Ki ). Покажем, что H ≤ NG ( ni=1 Ki ). Поскольку подгруппа Xi централизует Li , она централизует также Ki . Кроме того, T
регулярно действует на {Ki | 1 ≤ i ≤ n} ввиду (1). Для любого элемента h ∈ H и
для любого i ∈ {1, . . . , n} найдутся элементы x ∈ Xi и t ∈ T такие, что h = xt. Пусть
Kit = Kj . Тогда
Kih = Kixt = Kit = Kj .
Q
Тем самым показано, что H ≤ NG ( ni=1 Ki ). Поэтому
NG

n
Y



Ki = HNL

i=1

n
Y



Ki = H

i=1

n
Y

NLi (Ki ) ∼
= NL1 (K1 ) ≀ H.

i=1

Кроме того, если NL1 (K1 ) ≤ M1 ≤ L1 , то
K≤H

n
Y
i=1

NLi (Ki ) = H

Y

(NL1 (K1 ))t ≤ H

t∈T

Y

(M1 )t ∼
= M1 ≀ H.

t∈T

✷
Лемма 17 Пусть G = A ≀ B — естественное подстановочное сплетение группы
A = A5 и симметрической группы B = Sn , где n = 2w , и H — подгруппа нечетного
индекса в G. Тогда H prn G.
Доказательство. Обозначим базу сплетения через L = L1 × L2 × . . . × Ln , где
Li ∼
= A. Пусть S ∈ Syl2 (G) такая, что S ≤ H. Заметим, что G = X/O2 (X), где
X = SL2 (5) ≀ Sn ֒→ G1 = Sp2n (5).
Из [11, теорема 9] следует, что индекс |G1 : X| нечетен. Ввиду леммы 3 выполнено
равенство |NG1 (S1 ) : S1 | = 3, где S1 ∈ Syl2 (G1 ). Поэтому |NX (S1 ) : S1 | = |G : NG (S)|
делит 3. Заметим, что элемент (g, g, . . . , g) ∈ L, где g — элемент порядка 3 из нормализатора в группе A ее силовской 2-подгруппы, принадлежит NG (S). Поэтому
|NG (S) : S| = 3.
Пусть g — элемент порядка 3 из NG (S). Приведенные рассуждения показывают,
что g ∈ L. Покажем, что подгруппы H и H g сопряжены в K = hH, H g i.
Рассмотрим подгруппу K0 = K ∩ L. Пусть πi — отображение координатной проекции группы L на Li . Заметим, что K действует транзитивно на Li , поэтому все
подгруппы K0πi попарно изоморфны. Кроме того, K0πi являются подгруппами нечетных индексов в Li , поэтому для них есть всего три возможности:
(1) K0πi ∼
= A5 для любого i;
(2) K0πi ∼
= A4 для любого i;
(3) K0πi ∼
= C2 × C2 для любого i.
В случае (1) ввиду леммы 15 подгруппа L содержится
в K, поэтому g ∈ K.
Q
Q
и NG (S) ≤ NG ( ni=1 K0πi ).
В случае (2) подгруппа K нормализует подгруппу ni=1 K0πiQ
Поэтому ввиду леммы 7 достаточно показать, что H prn NG ( ni=1 K0πi ). Это так, потомуQчто ввиду леммы 14 подгруппы нечетных индексов пронормальны в группе
NG ( ni=1 K0πi ) ∼
= A4 ≀ Sn .
В случае (3) имеем K∩L = H∩L = S∩L ∈ Syl2 (L) и L∩S✂H. Поэтому H ≤ NG (L∩
S) и g ∈ NG (L ∩ S) ввиду выбора элемента g. Заметим, что подгруппы нечетных
индексов пронормальны в группе NG (L ∩ S)/(L ∩ S) ≤ B ∼
= Sn . Следовательно,
подгруппа H и H g сопряжены в hH, H g i ввиду леммы 6. Поэтому H prn G.
✷
9

Лемма 18 Пусть G = A ≀ B — естественное подстановочное сплетение группы
A = P SL2 (q) и симметрической группы B = Sn , где q ≡ ±3 (mod 8) и n = 2w , и H
— подгруппа нечетного индекса в G. Тогда H prn G.
Доказательство. Допустим, что лемма неверна и q — наименьшее из чисел, сравнимых с ±3 по модулю 8, для которых группа G содержит непронормальную подгруппу H нечетного индекса. Пусть подгруппа S ∈ Syl2 (G) такая, что S ≤ H.
Обозначим базу сплетения через L = L1 × L2 × . . . × Ln , где Li ∼
= A.
Заметим, что G = X/O2(X), где
X = SL2 (q) ≀ Sn ֒→ G1 = Sp2n (q).
Из [11, теорема 9] следует, что индекс |G1 : X| нечетен. Теми же рассуждениями, что
и в доказательстве леммы 17 убеждаемся, что |NG (S) : S| = 3.
Пусть g — элемент порядка 3 из NG (S). Ввиду сказанного, g ∈ L. Более того, можно считать, что g ∈ CL (B). Покажем, что подгруппы H и H g сопряжены в подгруппе
K = hH, H g i и тем самым по лемме 1 докажем пронормальность в G подгруппы H.
Рассмотрим подгруппы H0 = H ∩L и K0 = K∩L. Пусть πi : L → Li — отображение
координатной проекции. Заметим, что так как H содержит силовскую 2-подгруппу
группы G, H действует сопряжениями транзитивно на множестве {Li | i = 1, . . . , n}.
Поэтому все группы Hi = H0πi попарно изоморфны и аналогичное утверждение справедливо для групп Ki = K0πi . Кроме того, Hi и Ki являются подгруппами нечетных
индексов в Li , поскольку содержат силовскую 2-подгруппу Si = (S ∩ L) группы Li .
Существует две возможности.
С л у ч а й (i): Ki = Li для любого i.
С л у ч а й (ii): Ki < Li для любого i.
В случае (i) ввиду леммы 15 имеем L ≤ K, поэтому g ∈ K и требуемое доказано.
Пусть имеет место случай (ii). Ввиду леммы 16 можно считать, что K ≤ M1 ≀ Sn ,
где K1 ≤ M1 < L1 , и M1 — максимальная подгруппа нечетного индекса в L1 .
По [11, теорема 1] имеет место один из следующих четырех случаев.
С л у ч а й (ii)(1): M1 ∼
= A4 . В этом случае H prn M1 ≀ Sn ввиду леммы 14 и
NG (S) ≤ M1 ≀ Sn , поэтому H prn G ввиду леммы 7.
С л у ч а й (ii)(2): M1 ∼
= A5 . В этом случае H prn M1 ≀ Sn ввиду леммы 17 и
NG (S) ≤ M1 ≀ Sn , поэтому H prn G ввиду леммы 7.
С л у ч а й (ii)(3): M1 ∼
= P SL2 (q0 ), где q = q0r для некоторого нечетного простого
числа r. Легко видеть, что q0 ≡ ±3 (mod 8), откуда следует, что H prn M ≀ Sn ввиду
выбора числа q, кроме того, NG (S) ≤ M ≀ Sn и, значит, H prn G по лемме 7.
С л у ч а й (ii)(4): M1 — диэдральная группа порядка q − ε, где число ε = ±1
выбрано так, что q ≡ ε (mod 4). Мы покажем сначала, что в этом случае g ∈ NL (H0 ).
Заметим, что в рассматриваемом случае группа M1 и любая ее подгруппа (в частности H1 и K1 и, как следствие, все группы Hi и Ki ) обладают нормальными циклическими 2-дополнениями. Так как
H0 ≤ hH1 , . . . , Hn i ∼
= H1 × · · · × Hn ,
подгруппа H0 также обладает нормальным 2-дополнением U = O(H0 ).
Положим gi = g πi для всех i = 1, . . . , n. Пусть также Ui = O(Hi ) и Vi = O(Ki ) для
любого i. Тогда Higi = (H g )πi ≤ Ki . Поэтому
Uigi = O(Hi )gi = O(Higi ) ≤ O(Ki ) = Vi .
10

Но Ui — единственная подгруппа группы Vi , порядок которой равен |Ui |, ввиду цикличности Vi . Поэтому Uigi = Ui , и согласно лемме 5 элемент gi ∈ Li ∼
= P SL2 (q)
централизует Ui .
Далее, поскольку O(H0) = U ≤ hU1 , . . . , Un i, имеем
g ∈ hg1 , . . . , gn i ≤ hCL1 (U1 ), . . . , CLn (Un )i ≤ CL (hU1 , . . . , Un i) ≤ CL (U).
Отсюда, поскольку U — 2-дополнение, а S ∩ L — силовская 2-подгруппа в H0 , получаем
H0g = (S g ∩ L)U g = (S ∩ L)U = H0
и, как и утверждалось, g ∈ NL (H0 ).
Рассмотрим в G подгруппу Y = NG (H0 ). По доказанному g ∈ Y и ясно, что
H ≤ Y , откуда
K = hH, H g i ≤ hH, gi ≤ Y.
Далее, Y — подгруппа нечетного индекса в G и проекция группы Y ∩ L = NL (H0 ) на
каждый сомножитель Li строго меньше Li (иначе из леммы 15 следует, что Li ≤ Y
и L ≤ Y , ввиду транзитивности действия группы Y на множестве {Li | i = 1, . . . , n},
откуда следовало бы, что подгруппа L содержит разрешимую нетривиальную нормальную подгруппу H0 ). По лемме 16 имеем Y ≤ M < G, где M ∼
= M1∗ ≀ Sn , а M1∗ —
максимальная подгруппа группы L1 , содержащая Y π1 . Для группы M1∗ , как и для
группы M1 выше, имеет место один из случаев (ii)(1)–(ii)(4). Леммы 12, 14, 17 и выбор q показывают, что во всех случаях H prn M и, поскольку g ∈ Y ≤ M, подгруппы
H и H g сопряжены в hH, H g i.
✷

Доказательство теоремы 1
Пусть G = Sp2n (q), где q ≡ ±3 (mod 8) и n не является числом вида 2w или 2w (22k +1).
Тогда в двоичной записи числа n либо найдутся две единицы в некоторых разрядах
c номерами s1 и s2 разной четности, либо три единицы в разрядах с номерами s1 , s2
и s3 одинаковой четности. Пусть m = 2s1 + 2s2 или m = 2s1 + 2s2 + 2s3 соответственно.
Легко видеть, что m кратно 3.
Рассмотрим стабилизатор H в G невырожденного подпространства размерности
m пространства V . Индекс |G : H| нечетен ввиду [11, теорема 1]. Таким образом,
если K — подгруппа нечетного индекса в H, то K — подгруппа нечетного индекса в
группе G.
Легко понять, что H = H1 × H2 , где H1 ∼
= Sp2m (q) и H2 ∼
= Sp2(n−m) (q). Так как
3 делит m, подгруппа H1 содержит по лемме 10 непронормальную подгруппу K1
нечетного индекса. Поэтому ввиду леммы 6 подгруппа K1 × H2 непронормальна в H,
а значит, по лемме 7 и в G.
Ввиду леммы 6 простая группа G/O2 (G) = G/Z(G) ∼
= P Sp2n (q) содержит непронормальную подгруппу нечетного индекса (K1 × H2 )/O2(G).
✷

Доказательство теоремы 2
Пусть G = Spn (q), где n = 2w и q ≡ ±3 (mod 8).

11

Допустим, что теорема неверна и q — наименьшее из чисел, сравнимых с ±3 по
модулю 8, для которых группа G содержит непронормальную подгруппу H нечетного
индекса.
Рассмотрим естественный гомоморфизм
¯ : G → G/Z(G).
Заметим, что |Z(G)| = 2, поэтому ввиду леммы 6 и выбора H подгруппа H̄ непронормальна Ḡ. Поскольку ввиду [2, теорема] подгруппы нечетных индексов пронормальны в группах P Sp2 (q) ∼
= P SL2 (q), получаем n ≥ 4.
Пусть S ∈ Syl2 (H) ⊆ Syl2 (G). Ввиду леммы 3 имеем |NḠ (S̄) : S̄| = 3. По лемме 1
найдется элемент ḡ порядка 3 из NḠ (S̄) \ S̄ такой, что H̄ и H̄ ḡ не сопряжены в
K̄ = hH̄, H̄ ḡ i.
В силу выбора элемента ḡ подгруппа K̄ собственная в Ḡ. Значит, существует
максимальная подгруппа M̄ (нечетного индекса) в Ḡ такая, что K̄ ≤ M̄ .
Ввиду [11, теорема 1] для M̄ существуют следующие возможности.
С л у ч а й (1): M̄ = CḠ (σ) для полевого автоморфизма σ простого нечетного
порядка r группы Ḡ.
В этом случае ввиду [5, предложение 4.5.4] имеем M ∼
= P Spn (q0 ), где q = q0r . Поскольку r — нечетное число, легко понять, что q0 ≡ ±3 (mod 8). Отсюда следует, что
H̄ prn M̄ ввиду выбора числа q. Кроме того, S̄ ≤ M̄ и |NM̄ (S̄) : S̄| = 3 ввиду леммы 3. Поэтому ḡ ∈ NḠ (S̄) = NM̄ (S̄) ≤ M̄ . Получаем противоречие между выбором ḡ
и тем, что H̄ prn M̄ .
С л у ч а й (2): Ḡ = P Sp4(q) и M̄ ∼
= 24 .A5 , где q ≡ 3 (mod 8). Из [2, теорема] следует, что подгруппы нечетных индексов пронормальны в M̄ /O2 (M̄ ). Отсюда
H̄ prn M̄ ввиду леммы 6. Кроме того, S̄ ≤ M̄ и |NM̄ (S̄) : S̄| = 3 ввиду леммы 3.
Снова ḡ ∈ NḠ (S̄) = NM̄ (S̄) ≤ M̄ , и снова противоречие между выбором ḡ и тем, что
H̄ prn M̄ .
С л у ч а й (3): M̄ — стабилизатор в Ḡ ортогонального разложения
V =

t
M

Vi

(2)

i=1

естественного симплектического модуля V группы G в прямую сумму изометричных
подпространств Vi размерности m, причем m = 2w1 ≥ 2. Выберем подгруппу M̄
указанного типа так, чтобы число m было наименьшим возможным, т. е. так, чтобы
разложение (2) было неизмельчаемым.
Ввиду [5, предложение 4.2.10] имеем
M̄ ∼
= 2t−1 .(P Spm (q) ≀ St ), где n = mt.
Кроме того, S̄ ≤ M̄ и в M̄ существует элемент порядка 3, нормализующий подгруппу
S̄, т. е. |NM̄ (S̄) : S̄| = 3 ввиду леммы 3. Поэтому, как и в предыдущих случаях,
ḡ ∈ NḠ (S̄) = NM̄ (S̄) ≤ M̄ .
Рассмотрим композицию ˜ : M → M̄ /O2 (M̄) естественных гомоморфизмов
M → M̄ и M̄ → M̄/O2 (M̄ ).
Строение группы M̄ показывает, что M̃ ∼
= P Spm (q) ≀ St .
12

Обозначим через L = L1 × L2 × . . . × Lt , где Li ∼
= P Spm (q), нормальную подгруппу
в M̃ , соответствующую базе сплетения P Spm (q) ≀ St . Заметим, что невырожденные
подпространства Vi в разложении (2) можно считать ассоциированными с соответствующими подгруппами Li , рассматриваемыми как проективные симплектические
группы.
Ввиду выбора элемента ḡ его образ g̃ — элемент порядка 3 из NM̃ (S̃). Ясно, что
g̃ ∈ L. Покажем, что подгруппы H̃ и H̃ g̃ сопряжены в подгруппе K̃ = hH̃, H̃ g̃ i. Тем
самым мы получим противоречие, поскольку ядро гомоморфизма ˜ содержится в H
и поэтому подгруппы H̄ и H̄ ḡ окажутся сопряженными в K̄.
Рассмотрим подгруппу K0 = K̃ ∩ L. Пусть πi — отображение координатной проекции группы L на Li . Заметим, что K̃ действует транзитивно на Li . Поэтому все
K0πi попарно изоморфны. Кроме того, K0πi являются подгруппами нечетных индексов
в Li . Существуют две возможности.
С л у ч а й (3)(i): K0πi = Li для любого i.
С л у ч а й (3)(ii): K0πi < Li для любого i.
Случай (3)(i) исключается леммой 15, поскольку иначе L ≤ K̃ и g̃ ∈ K̃.
Пусть имеет место случай (3)(ii).
Ввиду леммы 16 можно считать, что K̃ ≤ Y < M̃ , где Y ∼
= R1 ≀ St , а R1 —
P
Sp
(q).
максимальная подгруппа нечетного индекса в L1 ∼
=
m
Из леммы 18 следует, что m > 2. Кроме того, поскольку подгруппа M̄ , содержащая K̄, была выбрана таким образом, чтобы число m было наименьшим возможным,
подгруппа R1 в L1 не может являться стабилизатором разложения ассоциированного
с L1 подпространства V1 в ортогональную прямую сумму подпространств меньшей
размерности. Поэтому согласно [11, теорема 1] имеет место один из следующих случаев.
С л у ч а й (3)(ii)(1): R1 = CL1 (σ) для полевого автоморфизма σ простого нечетного порядка r группы L1 , отождествляемой с P Spm (q). Тогда ввиду [5, предложение 4.5.4] имеем R1 ∼
= P Spm (q0 ), где q = q0r . Поскольку r — нечетное число, легко
понять, что q0 ≡ ±3 (mod 8). Отсюда следует, что Y = X/O2(X), где
X = Spm (q0 ) ≀ St ֒→ G1 = Spm (q0 ).
Подгруппы нечетных индексов пронормальны в Spm (q0 ) ввиду выбора числа q. Из
[11, теорема 9] следует, что индекс |G1 : X| нечетен. Ввиду леммы 3 имеем |NG1 (S1 ) :
S1 | = 3, где S1 ∈ Syl2 (G1 ). Поэтому подгруппы нечетных индексов пронормальны
в X ввиду леммы 7, следовательно подгруппы нечетных индексов пронормальны в
Y ввиду леммы 6. Заметим, что подгруппа Y ∼
= R1 ≀ St содержит элемент порядка
3, нормализующий ее силовскую 2-подгруппу. Отсюда, как и выше, заключаем, что
g̃ ∈ NM̃ (S̃) ≤ Y и, так как H̃ ≤ K̃ ≤ Y , снова получаем противоречие.
С л у ч а й (3)(ii)(2): m = 4, q — простое число, q ≡ 3 (mod 8) и R1 ∼
= 24 .A5 .
Из леммы 17 следует, что подгруппы нечетных индексов пронормальны в Y /O2(Y ).
Отсюда следует, что H̃ prn Y ввиду леммы 6. Кроме того, S̃ ≤ Y и, поскольку Y
содержит элемент порядка 3, нормализующий S̃, имеем g̃ ∈ NM̃ (S̃) ≤ Y . Получаем
противоречие.
✷
Авторы выражают глубочайшую благодарность А. В. Заварницину за полезные
консультации.
13

Список литературы
[1] Е. П. Вдовин, Д. О. Ревин Пронормальность холловых подгрупп в конечных простых
группах // Сиб. матем. журн. 2012. Т 53, № 3. С. 527–542.
[2] А. С. Кондратьев, Н. В. Маслова, Д. О. Ревин О пронормальности подгрупп нечетного
индекса в конечных простых группах // Сиб. матем. журн. 2015. Т 56, № 6. С. 1101–
1107.
[3] А. С. Кондратьев, Н. В. Маслова, Д. О. Ревин Критерий пронормальности добавлений
к абелевым нормальным подгруппам // Тр. Ин-та математики и механики УрО РАН.
2016. Т. 22, № 1. C. 153–158.
[4] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wilson Atlas of ﬁnite groups.
Oxford: Clarendon Press, 1985. 252 p.
[5] P. B. Kleidman, M. Liebeck The subgroup structure of the ﬁnite classical groups.
Cambridge: Cambridge University Press, 1990. 303 p.
[6] А. С. Кондратьев Нормализаторы силовских 2-подгрупп в конечных простых группах
// Мат. заметки. 2005. Т. 78, № 3. С. 368–376.
[7] B. Huppert, Endliche Gruppen. Berlin: Springer-Verlag, 1967.
[8] I. M. Isaacs Character theory of ﬁnite groups. NY: Academic Press, 1976.
[9] I. M. Isaacs Finite Group Theory. Amer. Math. Soc.: Providence, Rhode Island, 2008.
[10] В. Д. Мазуров О множестве порядков элементов конечной группы // Алгебра и
логикаю. 1994. Т. 33, № 1. C. 81–89.
[11] Н. В. Маслова Классификация максимальных подгрупп нечетного индекса в конечных простых классических группах // Тр. Ин-та математики и механики УрО РАН.
2008. Т. 14, № 4. C. 100–118.
[12] R. Carter, P. Fong, The Sylow 2-subgroups of the ﬁnite classical groups // J. Algebra.
1964. Т. 1, № 1. C. 139–151.

Адреса авторов:
Кондратьев Анатолий Семёнович, Маслова Наталья Владимировна
Институт математики и механики им. Н. Н. Красовского УрО РАН,
ул. С. Ковалевской, 16, Екатеринбург, 620990,
Уральский федеральный университет,
ул. Мира, 19, Екатеринбург, 620002,
a.s.kondratiev@imm.uran.ru, butterson@mail.ru
Ревин Данила Олегович
Институт математики им. С.Л.Соболева СО РАН,
пр. акад. Коптюга, 4, Новосибирск, 630090,
Новосибирский государственный университет,
ул. Пирогова, 2, Новосибирск, 630090,
Department of Mathematics, University of Science and Technology of China,
Hefei 230026, P. R. China,
revin@math.nsc.ru
14

