Skip to content
DraconiticResearch
Search Sources API
194,226 studies31 sourcesUpdated 12 min ago
PreprintCC BY 4.0arXiv

M-subgroups and normal-subgroup lattices of finite groups

  • Annesh Nag
  • Pronay Biswas
  • Amartya Goswami
Open at sourcePDFDOICite

Abstract

Let G be a group. A normal subgroup E is an M-subgroup if E∩ N1∩ N2≠1 whenever N1∩ N2, E∩ N1, and E∩ N2 are non-trivial for normal subgroups N1,N2. We characterise these subgroups as the essential or relatively uniform normal subgroups. For finite G, an M-subgroup is either trivial, contains exactly one minimal normal subgroup, or contains the socle. Consequently, every normal subgroup is an M-subgroup precisely when the socle has G-chief length at most two. We obtain an explicit M-closure operation and describe the minimal normal subgroups of finite direct products. For crown-based powers, we use the known comparability of normal subgroups with the socle to describe the normal lattice in terms of Boolean or subspace lattices and the quotient above the socle. We then determine when the M-lattice retains the normal lattice, classify normal quotients and their automorphism orbits, and characterise quotient maps compatible with M-closure. Finally, we compute the maximal length of chains of M-subgroups in terms of the chief length and socle length of G.

Related

  1. On c-Normal Maximal Chains of Sylow Subgroups in Finite Groups
    Wei Meng, Feiyu Geng
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. Subgroups of free groups with the same derived subgroup
    Artur Tursunbaev
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. On a finite group in which every non-nilpotent maximal invariant subgroup of order divisible by p is normal
    Jiangtao Shi, Fanghua Li, Na Li
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  4. Sharp bounds for intervals in finite subgroup lattices
    Sebastien Palcoux, Pablo Spiga
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. Finite abelian subgroups of algebraic groups
    Danny Ofek, Zinovy Reichstein, Federico Scavia
    HALPreprintLicence not statedAlgebra & number theoryHAL

Cite

BibTeXRIS
BibTeX
@misc{nag2026msubgroups,
  title = {{$M$-subgroups and normal-subgroup lattices of finite groups}},
  author = {Annesh Nag and Pronay Biswas and Amartya Goswami},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.02078},
  eprint = {2611.02078},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.02078},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - M-subgroups and normal-subgroup lattices of finite groups
AU  - Annesh Nag
AU  - Pronay Biswas
AU  - Amartya Goswami
PY  - 2026
DA  - 2026/11/01
PB  - arXiv
DO  - 10.48550/arxiv.2611.02078
UR  - https://arxiv.org/abs/2611.02078
AB  - Let G be a group. A normal subgroup E is an M-subgroup if E∩ N_1∩ N_2≠1 whenever N_1∩ N_2, E∩ N_1, and E∩ N_2 are non-trivial for normal subgroups N_1,N_2. We characterise these subgroups as the essential or relatively uniform normal subgroups. For finite G, an M-subgroup is either trivial, contains exactly one minimal normal subgroup, or contains the socle. Consequently, every normal subgroup is an M-subgroup precisely when the socle has G-chief length at most two. We obtain an explicit M-closure operation and describe the minimal normal subgroups of finite direct products. For crown-based powers, we use the known comparability of normal subgroups with the socle to describe the normal lattice in terms of Boolean or subspace lattices and the quotient above the socle. We then determine when the M-lattice retains the normal lattice, classify normal quotients and their automorphism orbits, and characterise quotient maps compatible with M-closure. Finally, we compute the maximal length of chains of M-subgroups in terms of the chief length and socle length of G.
ER  -