作者znmkhxrw (QQ)
看板Math
标题Re: [代数] subgroup
时间Fri Dec 31 00:15:08 2010
│G│=6=2*3
by Chauchy's Theorem
there exists an element of order 3
let this element a
Because 3 is prime, it's trivial that A={e,a,a^2} is a subgroup of G
Assume there exists another subgroup B of order 3
Again because 3 is prime
so B is cyclic
let B={e,b,b^2}
if A=/=B
then consider A 交集 B
(一) if A 交集 B 不只有 e：
because│A 交集 B│会整除 │A│(by Lagrange's Theorem)
so │A 交集 B│= p
we have A=B , 矛盾
(二) if A 交集 B 只有 e：
i.e. a^i=/=b^j
consider AB = {a^i*b^j│a^i 属於A , b^j 属於B }
if a^i*b^j=a^i'*b^j'
then a^(i-i')=b^(j'-j)
then the only choose is a^(i-i')=b^(j'-j)=e
so AB has 3^2=9 distinct element, 矛盾
so A=B ------ subgroup of order 3 is unique
---------------
补充：
because for all g 属於 G
g^-1*A*g is a subgroup of G
and │g^-1*A*g│=3
so g^-1*A*g = A for all g 属於 G
so A is normal in G
As a matter of fact
if │G│=pq, p>q, p,q are primes
then there exists a unique normal subgroup of order p in G
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.251.230.217
※ 编辑: znmkhxrw 来自: 111.251.230.217 (12/31 00:23)