Prime power order implies not centerless: Difference between revisions
No edit summary |
(→Proof) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
[[Page class::Fact| ]][[Difficulty level::3| ]] | |||
==Statement== | ==Statement== | ||
Any [[group of prime power order]] which is nontrivial | Any [[group of prime power order]] which is nontrivial has a nontrivial [[center]]. | ||
==Related results== | ==Related results== | ||
* [[Prime power order implies nilpotent]]: This follows from the result that a group of prime power order is centerless, the fact that a quotient of a group of prime power order also has prime power order, and by induction. | * [[Prime power order implies nilpotent]]: This follows from the result that a nontrivial group of prime power order is not centerless, the fact that a quotient of a group of prime power order also has prime power order, and by induction. | ||
* [[Prime power order implies center is normality-large]]: This is a stronger version of the result stated on this page; the center is not just nontrivial, it intersects ''every'' nontrivial normal subgroup, nontrivially. | * [[Prime power order implies center is normality-large]]: This is a stronger version of the result stated on this page; the center is not just nontrivial, it intersects ''every'' nontrivial normal subgroup, nontrivially. | ||
* [[Locally finite Artinian p-group implies not centerless]]: This is an attempt to weaken the hypothesis from finiteness, to weaker conditions. | * [[Locally finite Artinian p-group implies not centerless]]: This is an attempt to weaken the hypothesis from finiteness, to weaker conditions. | ||
| Line 14: | Line 15: | ||
<math>|G| \equiv |Z(G)| \mod p</math> | <math>|G| \equiv |Z(G)| \mod p</math> | ||
Since both are groups of | Since both are groups of order a power of <math>p</math>, the group being nontrivial is equivalent to the center being nontrivial -- either means that the two sides of the congruence are 0 mod <math>p</math>. | ||
Latest revision as of 07:30, 3 March 2013
Statement
Any group of prime power order which is nontrivial has a nontrivial center.
Related results
- Prime power order implies nilpotent: This follows from the result that a nontrivial group of prime power order is not centerless, the fact that a quotient of a group of prime power order also has prime power order, and by induction.
- Prime power order implies center is normality-large: This is a stronger version of the result stated on this page; the center is not just nontrivial, it intersects every nontrivial normal subgroup, nontrivially.
- Locally finite Artinian p-group implies not centerless: This is an attempt to weaken the hypothesis from finiteness, to weaker conditions.
Proof
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:
Since both are groups of order a power of , the group being nontrivial is equivalent to the center being nontrivial -- either means that the two sides of the congruence are 0 mod .