CINTA 作业七 同态
3、如果 H 1 H_1 H1和 H 2 H_2 H2是群 G G G的正规子群，证明 H 1 H 2 H_1H_2 H1H2也是群 G G G的正规子群.
证明:
因 H 1 、 H 2 H_1、H_2 H1、H2是群 G G G的正规子群，所以存在 g H 1 = H 1 g , g H 2 = H 2 g g H_1=H_1 g,g H_2=H_2 g gH1=H1g,gH2=H2g.
即对任意的 g ∈ G g\in G g∈G和 h 1 ∈ H 1 h_1\in H_1 h1∈H1,存在 h 1 ′ ∈ H 1 h_1'\in H_1 h1′∈H1,使得 g h 1 = h 1 ′ g g h_1=h'_1g gh1=h1′g.
同理，有对任意的 g ∈ G g\in G g∈G和 h 2 ∈ H 2 h_2\in H_2 h2∈H2,存在 h 2 ′ ∈ H 2 h_2'\in H_2 h2′∈H2,使得 g h 2 = h 2 ′ g g h_2=h'_2g gh2=h2′g.
所以， g h 1 h 2 = h 1 ′ g h 2 = h 1 ′ h 2 ′ g g h_1h_2=h'_1gh_2=h'_1h'_2g gh1h2=h1′gh2=h1′h2′g.
即对于任意的 g ∈ G g\in G g∈G和 h 1 h 2 ∈ H 1 H 2 h_1h_2\in H_1 H_2 h1h2∈H1H2,存在 h 1 ′ h 2 ′ ∈ H 1 H 2 h'_1h'_2\in H_1 H_2 h1′h2′∈H1H2,使得 g h 1 h 2 = h 1 ′ h 2 ′ g g h_1h_2=h'_1h'_2g gh1h2=h1′h2′g.
所以，可得 g H 1 H 2 = H 1 H 2 g g H_1H_2=H_1H_2g gH1H2=H1H2g.
又因为 H 1 H_1 H1和 H 2 H_2 H2是群 G G G的子群，所以 H 1 H 2 H_1H_2 H1H2也是群 G G G的子群.
证得 H 1 H 2 H_1H_2 H1H2也是群 G G G的正规子群.
5、定义映射 ϕ : G → G \phi:G→G ϕ:G→G 为 ： g → g 2 ：g→ g^2 ：g→g2 。请证明 ϕ \phi ϕ是一种同态当且仅当 G G G是阿贝尔群.
证明：
充分性：
ϕ \phi ϕ是一种同态，所以对任意 a 、 b ∈ G a、b\in G a、b∈G, ϕ \phi ϕ满足 ϕ ( a b ) = ϕ ( a ) ϕ ( b ) \phi(ab)=\phi(a)\phi(b) ϕ(ab)=ϕ(a)ϕ(b).
即 ( a b ) 2 = a 2 b 2 (ab)^2=a^2b^2 (ab)2=a2b2
且 a 2 b 2 = ( a b ) ( a b ) a^2b^2=(ab)(ab) a2b2=(ab)(ab)
根据消去律，等式两边同在左侧乘 a − 1 a^{-1} a−1,得 a b 2 = b ( a b ) ab^2=b(ab) ab2=b(ab) ;等式两边同在右侧乘 b − 1 b^{-1} b−1,得 a b = b a ab=b a ab=ba .
所以 G G G为阿贝尔群.
必要性：
若 G G G为阿贝尔群，则对任意 a 、 b ∈ G a、b\in G a、b∈G满足交换律 a b = b a ab=b a ab=ba.
ϕ ( a b ) = ( a b ) 2 = ( a b ) ( a b ) = a ( b a ) b = a ( a b ) b = a 2 b 2 \phi(ab)=(ab)^2=(ab)(ab)=a(b a)b=a(ab)b=a^2b^2 ϕ(ab)=(ab)2=(ab)(ab)=a(ba)b=a(ab)b=a2b2.
所以， ϕ \phi ϕ是一种同态.
综上，证得 ϕ \phi ϕ是一种同态当且仅当 G G G是阿贝尔群.
7、证明：如果 H H H是群 G G G上指标为2的子群，则 H H H是 G G G的正规子群.
证明：
因为 [ G : H ] = 2 [G:H] = 2 [G:H]=2，故有两种情况:
（1） g ∈ H g ∈ H g∈H.
则 g H = H = H g g H = H = Hg gH=H=Hg;
（2） g ∉ H g \notin H g∈/H.
对于任意的 g ∈ G , h 1 ∈ H g\in G,h_1\in H g∈G,h1∈H,存在 g h 1 = h 1 ′ g h_1=h_1' gh1=h1′,但 h 1 ′ ∈ G , h 1 ′ ∉ H h_1'\in G,h_1'\notin H h1′∈G,h1′∈/H.
对于任意的 g ∈ G , h 2 ∈ H g\in G,h_2\in H g∈G,h2∈H,存在 h 2 g = h 2 ′ h_2 g=h_2' h2g=h2′,但 h 2 ′ ∈ G , h 2 ′ ∉ H h_2'\in G,h_2'\notin H h2′∈G,h2′∈/H.
假设有 H ′ = G − H H'=G-H H′=G−H，使得 h 1 ′ ∈ H ′ , h 2 ′ ∈ H ′ h_1'\in H',h_2'\in H' h1′∈H′,h2′∈H′，即 g H ∈ H ’ ， H g ∈ H ’ g H ∈ H’，Hg ∈ H’ gH∈H’，Hg∈H’.
对任意 h ’ ∈ H ’ h’ ∈ H’ h’∈H’，有 h ’ ∈ G h’ ∈ G h’∈G，但 h ’ h’ h’不属于 H H H.
在 H H H中存在 h 1 ， h 2 h1，h2 h1，h2，使得 h ’ = g h 1 ∈ g H h’ = gh1 ∈ g H h’=gh1∈gH， h ’ = g h 2 ∈ H g h’ = gh2 ∈ Hg h’=gh2∈Hg，
所以 g H = H ′ = H g gH = H' = Hg gH=H′=Hg.
9、给定任意群 G G G， H H H是群 G G G的正规子群。请证明：如果群 G G G是循环群，则商群 G / H G/H G/H也是循环群.
证明：
G G G是由 g g g生成的循环群, H H H是 G G G的子群.我们只需要证每一个 G / H G/H G/H元素的表示形式都是 ( g H ) k ( k ∈ Z ) (g H)^k(k\in Z) (gH)k(k∈Z).
假设 x H ∈ G / H x H\in G/H xH∈G/H,
对于生成元 g g g , 有 x = g k ( k ∈ Z ) x=g^k(k\in Z) x=gk(k∈Z)生成 G G G.
而 ( g H ) k = ( g k ) H = x H (g H)^k=(g^k)H=x H (gH)k=(gk)H=xH
所以， g H g H gH生成 G / H G/H G/H.
故得证，如果群 G G G是循环群，则商群 G / H G/H G/H也是循环群.
816
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
