Abelian-quotient abelian normal subgroup is contained in centralizer of derived subgroup

From Groupprops
Jump to: navigation, search