Characteristic subgroups in locally finite groups. (Q435954): Difference between revisions

If a group \(G\) possesses a subgroup \(T\) of finite index, it possesses also a proper normal subgroup of finite index. The authors want instead a characteristic subgroup \(U\), they restrict themselves to locally finite groups \(G\) and subgroups \(T\) with a finite normal series with quotients that are locally nilpotent or satisfy given outer commutator laws, such that \(U\) has a normal series of the same type. They show that such a characteristic subgroup \(U\) exists, and its index in \(G\) is bounded by a function depending on the index of \(T\), the length of the series, and the weights of the outer commutator laws.