第3题
要 证 H 1 H 2 是 群 G 的 正 规 子 群 , 首 先 证 明 H 1 H 2 是 群 G 的 子 群 , 再 去 证 ∀ g ∈ G , 有 g H 1 H 2 g − 1 = H 1 H 2 即 可 。 证 明 群 G 的 两 个 子 群 的 交 仍 是 群 G 的 子 群 显 然 正 确 , 因 为 任 取 h ∈ H 1 H 2 , 有 h ∈ H 1 , h ∈ H 2 , 满 足 群 的 公 理 , 且 单 位 元 e = e ⋅ e ∈ H 1 H 2 。 要 证 g H 1 H 2 g − 1 = H 1 H 2 , 证 明 两 个 集 合 相 互 包 含 即 代 表 相 等 。 要证H_1H_2是群G的正规子群, 首先证明H_1H_2是群G的子群,再去证 \forall g∈G,有gH_1H_2g^{-1}=H_1H_2即可。 证明群G的两个子群的交仍是群G的子群显然正确,因为任取h∈H_1H_2, 有h∈H_1, h∈H_2,满足群的公理,且单位元e=e⋅e∈ H_1H_2。 要证gH_1H_2g-1=H_1H_2, 证明两个集合相互包含即代表相等。 要证H1H2是群G的正规子群,首先证明H1H2是群G的子群,再去证 ∀ g∈G,有gH1H2g−1=H1H2即可。证明群G的两个子群的交仍是群G的子群显然正确,因为任取h∈H1H2,有h∈H1,h∈H2,满足群的公理,且单位元e=e⋅e∈H1H2。要证gH1H2g−1=H1H2,证明两个集合相互包含即代表相等。
1. 证 g H 1 H 2 g − 1 ⊂ H 1 H 2 1.证gH_1H_2g^{-1}⊂H1H2 1.证gH1H2g−1⊂H1H2
由 H 1 和 H 2 是 群 G 的 正 规 子 群 以 及 命 题 9.5 知 , ∀ h 1 ∈ H 1 , h 2 ∈ H 2 , g ∈ G , 存 在 h 1 ’ ∈ H 1 , h 2 ’ ∈ H 2 , 使 得 g h 1 g − 1 = h 1 ’ , g h 2 g − 1 = h 2 ’ 。 那 么 g h 1 g − 1 g h 2 g − 1 = h 1 ’ h 2 ’ = g h 1 h 2 g − 1 , 因 此 可 得 g H 1 H 2 g − 1 ⊂ H 1 H 2 。 由H1 和 H2 是群 G 的正规子群以及命题9.5知, ∀h_1∈H_1, h_2∈H_2, g∈G,存在h_1’∈H1, h2’∈H2, 使得gh_1g^{-1}=h_1’, gh_2g^{-1}=h_2’。 那么gh_1g^{-1}gh_2g^{-1}=h_1’h_2’=gh_1h_2g-1, 因此可得gH_1H_2g^{-1}⊂ H_1H_2。 由H1和H2是群G的正规子群以及命题9.5知,∀h1∈H1,h2∈H2,g∈G,存在h1’∈H1,h2’∈H2,使得gh1g−1=h1’,gh2g−1=h2’。那么gh1g−1gh2g−1=h1’h2’=gh1h2g−1,因此可得gH1H2g−1⊂H1H2。
2. 证 H 1 H 2 ⊂ g H 1 H 2 g − 1 2.证H_1H_2⊂gH_1H_2g^{-1} 2.证H1H2⊂gH1H2g−1
∀ g − 1 ∈ G , h 1 ∈ H 1 , h 2 ∈ H 2 , 存 在 h 1 ∈ H 1 , h 2 ’ ∈ H 2 , 使 得 g − 1 h 1 g = h 1 ’ , g − 1 h 2 g = h 2 ’ 。 那 么 g − 1 h 1 g g − 1 h 2 g = h 1 ’ h 2 ’ = g − 1 h 1 h 2 g , 等 式 两 边 同 时 左 乘 g , 再 右 乘 g − 1 得 h 1 h 2 = g h 1 ’ h 2 ’ g − 1 , 因 此 可 得 H 1 H 2 ⊂ g H 1 H 2 g − 1 。 ∀g^{-1}∈G, h_1∈H_1, h_2∈H_2,存在h_1∈H_1, h_2’∈H_2, 使得g^{-1}h_1g=h_1’, g^{-1}h_2g=h_2’。 那么g-1h_1gg-1h_2g=h_1’h_2’=g^{-1}h_1h_2g, 等式两边同时左乘g,再右乘g-1得h_1h_2=gh_1’h_2’g^{-1}, 因此可得H_1H_2⊂gH_1H_2g^{-1}。 ∀g−1∈G,h1∈H1,h2∈H2,存在h1∈H1,h2’∈H2,使得g−1h1g=h1’,g−1h2g=h2’。那么g−1h1gg−1h2g=h1’h2’=g−1h1h2g,等式两边同时左乘g,再右乘g−1得h1h2=gh1’h2’g−1,因此可得H1H2⊂gH1H2g−1。
第5题
1
、
充
分
性
:
由
ϕ
是
一
种
群
同
态
可
知
∀
a
,
b
∈
G
,
有
ϕ
(
a
+
b
)
=
ϕ
(
a
)
ϕ
(
b
)
,
即
g
2
(
a
+
b
)
=
g
2
a
g
2
b
。
那
么
g
a
g
b
g
a
g
b
=
g
a
g
a
g
b
g
b
,
等
式
两
边
同
时
左
乘
g
−
a
,
右
乘
g
−
b
可
得
g
b
g
a
=
g
a
g
b
,
因
此
群
G
是
阿
贝
尔
群
。
2
、
必
要
性
:
当
群
G
是
阿
贝
尔
群
时
,
∀
a
,
b
∈
G
,
有
g
a
g
b
=
g
b
g
a
,
那
么
等
式
两
边
同
时
左
乘
g
a
,
右
乘
g
b
可
得
到
g
a
g
a
g
b
g
b
=
g
a
g
b
g
a
g
b
,
即
g
2
a
g
2
b
=
g
a
+
b
g
a
+
b
=
g
2
(
a
+
b
)
,
因
此
得
到
ϕ
(
a
+
b
)
=
ϕ
(
a
)
ϕ
(
b
)
。
1、充分性: 由 \phi 是一种群同态可知 \forall a,b \in G,有 \phi (a+b)= \phi (a) \phi (b),即g^{2(a+b)}=g^{2a}g^{2b}。 那么g^ag^bg^ag^b=g^ag^ag^bg^b,等式两边同时左乘g^{-a},右乘g^{-b}可得g^bg^a=g^ag^b,因此群G是阿贝尔群。 2、必要性: 当群G是阿贝尔群时, \forall a,b \in G,有g^ag^b=g^bg^a, 那么等式两边同时左乘g^a,右乘g^b可得到g^ag^ag^bg^b=g^ag^bg^ag^b, 即g^{2a}g^{2b}=g^{a+b}g^{a+b}=g^{2(a+b)},因此得到 \phi (a+b)= \phi(a)\phi(b)。
1、充分性:由ϕ是一种群同态可知∀a,b∈G,有ϕ(a+b)=ϕ(a)ϕ(b),即g2(a+b)=g2ag2b。那么gagbgagb=gagagbgb,等式两边同时左乘g−a,右乘g−b可得gbga=gagb,因此群G是阿贝尔群。2、必要性:当群G是阿贝尔群时,∀a,b∈G,有gagb=gbga,那么等式两边同时左乘ga,右乘gb可得到gagagbgb=gagbgagb,即g2ag2b=ga+bga+b=g2(a+b),因此得到ϕ(a+b)=ϕ(a)ϕ(b)。
第7题
由
题
意
可
得
:
[
G
:
H
]
=
2
,
即
群
G
的
子
群
H
的
陪
集
组
成
,
把
群
G
划
分
成
H
和
G
−
H
两
部
分
。
∀
g
∈
G
,
g
有
两
种
情
况
:
1.
g
∈
H
时
,
由
群
元
素
之
间
满
足
封
闭
性
可
知
∀
h
∈
H
,
存
在
h
’
∈
H
,
有
g
h
=
h
’
,
所
以
g
H
=
H
,
同
理
H
g
=
H
,
因
此
g
H
=
H
g
。
2.
g
∉
H
时
,
左
陪
集
g
H
=
G
−
H
,
右
陪
集
H
g
=
G
−
H
,
因
此
g
H
=
H
g
。
可
知
H
是
G
的
正
规
子
群
。
由题意可得:[G:H]=2,即群G的子群H的陪集组成,把群G划分成H和G-H两部分。 \forall g \in G,g有两种情况: 1.g \in H时,由群元素之间满足封闭性可知 \forall h \in H,存在h’ \in H,有gh=h’,所以gH=H,同理Hg=H,因此gH=Hg。 2.g \notin H时,左陪集gH=G-H,右陪集Hg=G-H,因此gH=Hg。 可知H是G的正规子群。
由题意可得:[G:H]=2,即群G的子群H的陪集组成,把群G划分成H和G−H两部分。∀g∈G,g有两种情况:1.g∈H时,由群元素之间满足封闭性可知∀h∈H,存在h’∈H,有gh=h’,所以gH=H,同理Hg=H,因此gH=Hg。2.g∈/H时,左陪集gH=G−H,右陪集Hg=G−H,因此gH=Hg。可知H是G的正规子群。
第9题
因
为
商
群
G
/
H
是
群
G
的
正
规
子
群
H
的
陪
集
集
合
,
G
/
H
=
a
H
∣
a
∈
G
,
因
此
若
G
是
循
环
群
,
假
设
群
G
的
一
个
生
成
元
为
g
,
则
∀
a
∈
G
,
有
g
k
=
a
,
k
∈
Z
。
那
么
G
/
H
=
g
k
H
∣
k
∈
Z
,
又
由
商
群
的
群
操
作
有
,
g
k
H
=
(
g
H
)
k
,
那
么
G
/
H
可
表
示
为
G
/
H
=
(
g
H
)
k
∣
k
∈
Z
因
此
商
群
G
/
H
也
是
循
环
群
,
生
成
元
为
g
H
。
因为商群G/H是群G的正规子群H的陪集集合,G/H={aH|a \in G}, 因此若G是循环群,假设群G的一个生成元为g,则 \forall a \in G,有gk=a,k \in Z。 那么G/H={gkH|k \in Z},又由商群的群操作有,gkH=(gH)k,那么G/H可表示为G/H={(gH)k|k \in Z} 因此商群G/H也是循环群,生成元为gH。
因为商群G/H是群G的正规子群H的陪集集合,G/H=aH∣a∈G,因此若G是循环群,假设群G的一个生成元为g,则∀a∈G,有gk=a,k∈Z。那么G/H=gkH∣k∈Z,又由商群的群操作有,gkH=(gH)k,那么G/H可表示为G/H=(gH)k∣k∈Z因此商群G/H也是循环群,生成元为gH。