Finite groups in which modularity is a transitive relation (Q6165907)

Let \(G\) be a group. A subgroup \(A\) is said to be modular in \(G\) if (i) \(\langle X,A\cap Z\rangle=\langle X,A\rangle\cap Z\) for all \(X\le G\), \(Z\le G\) such that \(X\le Z\), and (ii) \(\langle A,Y\cap Z\rangle=\langle A,Y\rangle\cap Z\) for all \(Y\le G\), \(Z\le G\) such that \(A\le Z\). The authors provide a description of insolvable finite groups in which modularity is a transitive relation. Such was done for solvable finite groups by \textit{A. Frigerio} [Ist. Veneto Sci. Lett. Arti, Atti, Cl. Sci. Mat. Nat. 132(1973--74), 185--190 (1974; Zbl 0362.20015)] and by \textit{I. Zimmermann} [Math. Z. 202, No. 4, 545--557 (1989; Zbl 0704.20018)]. Hence, a complete classification of those finite groups in which modularity is a transitive relation is now available.