Непронормальные подгруппы нечетных индексов в конечных простых линейных и унитарных группах
В. Гоab,
Н. В. Масловаcd,
Д. О. Ревинec a Школа математики и статистики, Хайнаньский университет
b University of Science and Technology of China, Anhui, Hefei
c Институт математики и механики им. Н. Н. Красовского Уральского отделения РАН, г. Екатеринбург
d Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, г. Екатеринбург
e Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Аннотация:
Подгруппа
$H$ группы
$G$ называется пронормальной, если для любого элемента
$g\in G$ подгруппы
$H$ и
$H^g$ сопряжены в подгруппе
$\langle H, H^g\rangle$. Известно, что значительная часть конечных простых групп обладает свойством
$(*)$: любая подгруппа нечетного индекса пронормальна в группе. Гипотеза о том, что свойством
$(*)$ обладает любая конечная простая группа, была выдвинута в 2012 г. в работе Е.П. Вдовина и третьего автора на основании анализа доказательства пронормальности всех холловых подгрупп в конечных простых группах. Однако эта гипотеза была опровергнута в 2016 г. в работе А. С. Кондратьева, второго и третьего авторов. В серии работ А. С. Кондратьева и авторов 2015–2020 гг. конечные простые группы со свойством
$(*)$, за исключением простых линейных и унитарных групп с некоторыми ограничениями на естественные арифметические параметры, классифицированы. В настоящей работе строятся серии примеров непронормальных подгрупп нечетных индексов в конечных простых линейных и унитарных группах над полем нечетной характеристики и тем самым делается шаг на пути завершения классификации конечных простых групп со свойством
$(*)$.
Ключевые слова:
конечная группа, простая группа, линейная простая группа, унитарная простая группа, пронормальная подгруппа, нечетный индекс.
УДК:
512.542
MSC: 20D05 20D06 20D60 Поступила в редакцию: 05.12.2023
Исправленный вариант: 08.01.2024
Принята в печать: 15.01.2024
DOI:
10.21538/0134-4889-2024-30-1-70-79