请输入您要查询的字词:

 

单词 ProofThatANontrivialNormalSubgroupOfAFinitePgroupGAndTheCenterOfGHaveNontrivialIntersection
释义

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 conjugationMathworldPlanetmath; that is, for gG, hH, define

gh=ghg-1

Note that ghH since HG. This is easily seen to be a well-defined group actionMathworldPlanetmath.

Now, the set of invariants of H under this action are

GH={hH|gh=hgG}={hH|ghg-1=hgG}=HZ(G)

The class equation theorem states that

|H|=|GH|+i=1r[G:Gxi]

where the Gxi are proper subgroupsMathworldPlanetmath of G, and thus that

|GH|=|H|-i=1r[G:Gxi]

We now use elementary group theory to show that p divides each term on the right, and conclude as a result that p divides |GH|, so that GH=HZ(G) cannot be trivial.

As G is a nontrivial finite p-group, it is obvious from Cauchy’s theorem that |G|=pn for n>0. Since H and the Gxi are subgroupsMathworldPlanetmathPlanetmath of G, each either is trivial or has order a power of p, by Lagrange’s theorem. Since H is nontrivial, its order is a nonzero power of p. Since each Gxi is a proper subgroup of G and has order a power of p, it follows that [G:Gxi] also has order a nonzero power of p.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:52:49