作者ol8889 (ol8889)
看板Math
標題[代數] Internal Direct Product 的疑問
時間Wed Jul 27 22:23:47 2011
根據Herstein 定義
A group is the internal direct product of normal subgroups N1,N2,...,Nm
if (a) G=N1 N2 ... Nm
(b) For any g of G , g=h1 h2 ... hm , hi 屬於 Ni , uniquely.
我的疑問是
(1)G=N1 N2 ... Nm
and
(2)Ni∩Nj= (e) for i≠j (e=identity element)
可以imply (b) ?!
我的證法如下(請幫我看一下哪邊出問題)
Proof:
for any g of G
put g=x1 x2 ... xm
=y1 y2 ... ym
(a′= inverse of a)
e=identiy element
=( g )(g′)
= 〔x1 x2 ... xm 〕〔 (ym)′ ... (y2)′ (y1)′〕
= 〔x1 x2 ...xm-1〕〔xm (ym)′〕〔(ym-1)′ ... (y2)′ (y1)′〕
(Since Nm-1∩Nm = (e) and Nm-1 and Nm are normal subgroups of G,
then 〔xm (ym)′〕(ym-1)′= (ym-1)′〔xm (ym)′〕 )
= 〔x1 x2 ...xm-1〕(ym-1)′〔xm (ym)′〕〔(ym-2)′... (y2)′ (y1)′〕
in the same way, we have
e=( g )(g-1)
=〔x1(y1)′〕〔x2(y2)′〕 ... 〔xm(ym)′〕 (X)
(如果懶得看我打的爛符號,
到這裡就是
因為Ni∩Nj= (e) for i≠j, 後面的 (ym)′ ... (y2)′ (y1)′可以往前移 )
Claim: xi(yi)′=e for all i
Suppose xi(yi)′≠e for some i
by (X)
〔xi(yi)′〕′= xj(yj)′ for some j≠i ; otherwise (X) would not hold.
since〔xi(yi)′〕′= xj(yj)′ 屬於 Nj,
xi(yi)′屬於 Ni∩Nj=(e)
and thus xi = yi , contradiction.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.240.17.30
1F：→ wuxr :說真的有點忘了...但是〔xm (ym)′〕(ym-1)′= 07/28 14:13
2F：→ wuxr : (ym-1)′〔xm (ym)′〕..這裡應該有問題. 07/28 14:14