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.
Center of a group Created 2026-09-24 Updated 2026-10-05
The centre of a group is . It is a normal subgroup. A nontrivial finite p-group has nontrivial centre: in the class equation, each noncentral conjugacy class has size divisible by , so .