A Criterion for Modularity of the Subgroup Lattice of a Finite Soluble Group
A-Ming Liu,Sizhe Wang,Vasily G. Safonov,Alexander N. Skiba
DOI: https://doi.org/10.1142/s0219498825503785
2024-01-01
Journal of Algebra and Its Applications
Abstract:Let G be a finite group and & Laplacetrf;(G) the subgroup lattice of G. A subgroup M of G is called: (i) modular in G, if M is a modular element (in the sense of Kurosh) of the lattice & Laplacetrf;(G); (ii) submodular in G if G has a chain of subgroups M = M-0 <= M-0 <=& ctdot; <= M-t = G, where Mi is modular in Mi+1 for all i = 0, 1,& mldr;,t - 1. If A is a subgroup of G, then we denote by A(mG) the subgroup of A, generated by all of its subgroups that are modular in G. We say that a subgroup A is N-modular in G (N <= G), if for some modular subgroup T of G, containing A, N avoids the pair (T,A(mG)), i.e. N boolean AND T = N boolean AND AmG. We prove that if G is a soluble finite group and each of its submodular subgroups is N-modular in G, where N is the nilpotent residual of G, then the lattice & Laplacetrf;(G) is modular.