When is the search of relatively maximal subgroups reduced to quotient groups?

DOI10.4213/IM9277EMaRDI QIDQ6137450zbMATH OpenOpenAlexFDO

Authors Wenbin Guo, D. O. Revin

Publication date 2 September 2023

Published in Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.15638, http://mathnet.ru/eng/im9277

zbMATH Keywords

complete classfinite groupHall subgroup\( \mathfrak{X}\)-maximal subgroupreduction \(\mathfrak{X}\)-theorem

Mathematics Subject Classification ID

Simple groups: alternating groups and groups of Lie type (20D06) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Extensions, wreath products, and other compositions of groups (20E22) Automorphism groups of groups (20F28) Quasivarieties and varieties of groups (20E10)

Abstract: Let $mathfrakX$ be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Denote by ${mathrmk}_{mathfrakX}(G)$ the number of conjugacy classes $mathfrakX$-maximal subgroups of a finite group $G$. The natural problem to describe up to conjugacy $mathfrakX$-maximal subgroups of a given finite group is complicated by the fact that it is not inductive. In particular, generally speaking, the image of an $mathfrakX$-maximal subgroup is not $mathfrakX$-maximal in the image of a homomorphism. Nevertheless, there are group homomorphisms which preserve the number of conjugacy classes of $mathfrakX$-maximal subgroups (for example, the homomorphisms whose kernels are $mathfrakX$-groups). Under such homomorphisms, the image of an $mathfrakX$-maximal subgroup is always $mathfrakX$-maximal and, moreover, there is a natural bijection between the conjugacy classes of $mathfrakX$-maximal subgroups of the image and preimage. All such homomorphisms are completely described in the paper. More precisely, it is proved that, for a homomorphism $phi$ from a group $G$, the equality ${mathrmk}_{mathfrakX}(G)={mathrmk}_{mathfrakX}(mathrmim,phi)$ holds if and only if ${mathrmk}_{mathfrakX}(kerphi)=1$, which in turn is equivalent to the fact that the composition factors of the kernel of $phi$ belong to an explicitly given list.

Recommendations

• The reduction theorem for relatively maximal subgroups
• Maximal and submaximal \(\mathfrak{X}\)-subgroups
• Submaximal and epimaximal \(\mathfrak{X}\)-subgroups
• Conjugacy of maximal and submaximal \(\mathfrak{X}\)-subgroups
• scientific article; zbMATH DE number 3877400

Cited in

(2)

• When will every maximal \(F\)-free subposet contain a maximal element?
• When Are Two Subgroups of the Rationals Isomorphic?

This page was built for publication: When is the search of relatively maximal subgroups reduced to quotient groups?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137450)