Location of subgroups normalized by a given subgroup

From MaRDI portal





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.











This page was built for publication: Location of subgroups normalized by a given subgroup

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1261275)