A characterization of locally finite modular groups (Q2644769)

A group G is said to be modular if the lattice \(\ell (G)\) of its subgroups is modular. A subgroup H of G is called modular in \(\ell (G)\) if for every modular sublattice \({\mathcal L}\) of \(\ell (G)\), the sublattice generated by H and \({\mathcal L}\) is modular. A normal series \(\Sigma\) of G is modular if every factor H/K of \(\Sigma\) is modular in \(\ell (G/K).\) The paper contains essentially two theorems: 1) A locally finite group G is modular if and only if it possesses an ascending modular series whose factor groups are abelian of prime exponent (Theorem A). 2) A finite soluble group is modular if and only if its derived series is modular (Theorem B). The proofs of both theorems are supported in the papers by \textit{F. Napolitani} [Rend. Semin. Mat. Univ. Padova 45, 229-248 (1971; Zbl 0248.20024)] and \textit{G. Zacher} [ibid. 26, 70-84 (1956; Zbl 0074.019)].