Prime power order implies not centerless

From Groupprops
Revision as of 17:29, 24 February 2011 by Vipul (talk | contribs)
Jump to: navigation, search


Any group of prime power order which is nontrivial, has a nontrivial center.

Related results


The key ingredient for the proof is to consider the action of the group on itself by conjugation (i.e. inner automorphisms) and use the class equation to show that:

|G| \equiv |Z(G)| \mod p

Since both are groups of prime power order, the group being nontrivial is equivalent to the center being nontrivial.