Abelian subgroup cannot have prime-power index in a nonabelian simple group

ID: abelian-subgroup-cannot-have-prime-power-index-in-a-nonabelian-simple-group

If an abelian subgroup has index , the centralizer of any contains , so the class size of divides . The prime-power conjugacy-class obstruction to simplicity rules this out. If , the group is a p-group and has nontrivial center of a group, also ruling out nonabelian simplicity.

New to topics? Read the docs here!