Nilpotent implies every nontrivial normal subgroup contains a cyclic normal subgroup

From Groupprops
Jump to: navigation, search