Prove that if an infinite, noncommutative group G contains a proper normal subgroup with a commutative factor group, then G also contains an infinite proper normal subgroup.
B. Csakany group theoryabstract algebrasuperior algebrasuperior algebra unsolved