proof that a nontrivial normal subgroup of a finite p-group G and the center of G have nontrivial intersection
Define G to act on H by conjugation; that is, for g∈G, h∈H, define
g⋅h=ghg-1 |
Note that g⋅h∈H since H◁. This is easily seen to be a well-defined group action.
Now, the set of invariants of under this action are
We now use elementary group theory to show that divides each term on the right, and conclude as a result that divides , so that cannot be trivial.
As is a nontrivial finite -group, it is obvious from Cauchy’s theorem that for . Since and the are subgroups of , each either is trivial or has order a power of , by Lagrange’s theorem. Since is nontrivial, its order is a nonzero power of . Since each is a proper subgroup of and has order a power of , it follows that also has order a nonzero power of .
Title | proof that a nontrivial normal subgroup![]() ![]() |
---|---|
Canonical name | ProofThatANontrivialNormalSubgroupOfAFinitePgroupGAndTheCenterOfGHaveNontrivialIntersection |
Date of creation | 2013-03-22 14:21:07 |
Last modified on | 2013-03-22 14:21:07 |
Owner | rm50 (10146) |
Last modified by | rm50 (10146) |
Numerical id | 9 |
Author | rm50 (10146) |
Entry type | Proof |
Classification | msc 20D20 |