Левчук В. М., Лихарев А. Г.
Конечные простые группы с дополняемыми максимальными подгруппами
Исследуется записанный в [1] вопрос 8.31 об описании конечных слабо
факторизуемых групп, т. е. групп, у которых каждая собственная
подгруппа дополняема в большей подгруппе. По лемме 1 из статьи [2] полупрямое
произведение вполне факторизуемой группы (такие группы изучены в работах
Ф. Холла и Н. В. Баевой (Черниковой)) на слабо факторизуемую
есть слабо факторизуемая группа. Там же в связи с замечанием отмечается,
что диэдральная 2-группа всегда слабо факторизуема, однако в общем случае
ее нельзя получить даже повторными применениями указанной леммы из групп
простого показателя. Доказанная с использованием известных максимальных
факторизаций теорема 1 показывает, что существуют в точности три конечных
простых неабелевых группы с дополняемыми максимальными подгруппами.
Теорема 2 подтверждает гипотезу из [2] о единственности конечной
простой неабелевой группы со свойством слабой факторизуемости. Ранее
теоремы 1 и 2 устанавливались А. Г. Лихаревым в
частных случаях.
|
Levchuk V. M., Likharev A. G.
Finite simple groups with complemented maximal subgroups
We study Problem 8.31 in [1] of the description of finite weakly factorizable
groups, i.e., the groups whose every proper subgroup is complemented
in a larger subgroup. By Lemma 1 of [2], the subdirect product of a
completely factorizable group (such groups were studied by Ph. Hall
and N. V. Baeva (Chernikova)) and a weakly factorizable group is a weakly
factorizable group. In connection with a remark in [2], we observe that
a dihedral 2-group is always weakly factorizable but, in general, it
cannot even be obtained from the groups of prime order by repeated application
of the lemma. Theorem 1, basing on the available maximal factorizations,
shows that there exist exactly three finite simple nonabelian groups
with complemented maximal subgroups. Theorem 2 confirms the conjecture
of [2] on uniqueness of a finite simple nonabelian group with the property
of weak factorizability. Earlier Theorems 1 and 2 were proven in special
cases by A. G. Likharev.
|