Major subgroups of nilpotent-by-finite groups (Q1204917): Difference between revisions

The main result is a theorem which states that any major subgroup \(M\) of a nilpotent-by-finite group \(G\) contains the derived subgroups of all normal nilpotent subgroups of finite index in \(G\) and that \(G/M_ G\) is a Chernikov group, where \(M_ G= \text{core}(M)= \bigcap_{g\in G} g^{-1} Mg\).