Location of subgroups normalized by a given subgroup (Q1261275)

The author proposes an axiomatic approach to some phenomena observed in the structure theory of classical groups over rings. More precisely, let \(D\) be a subgroup of a group \(G\) and \({\mathcal L}(D,G)\) the set of subgroups of \(G\) normalized by \(D\). Suppose that there exists a subset \(\Lambda\) of \({\mathcal L}(D,G)\) with the following properties: (1) \([D,H] = H\) for \(H \in {\mathcal L}(D,G)\); (2) given \(H \in {\mathcal L}(D,G)\) there is a unique maximal subgroup \(C_ H\) of \(G\) with \(H \subseteq C_ H \subseteq N_ G(H)\) and \([D,C_ H] = H\); (3) if \(X \in {\mathcal L}(D,G)\) then there is a unique subgroup \(H \in \Lambda\) such that \(H \subseteq X \subseteq C_ H\). Then \(D\) is called strongly polynormal in \(G\). Well known examples of groups with strongly polynormal subgroups are provided by general linear groups over rings and the subgroups of all diagonal matrices. The author studies properties related to strong polynormality in abstract groups.