第九章
题5.
定义映射
ϕ
:
G |
→
G
为:
g |
→
g ^
2
。请证明
ϕ
是一种群同态当且仅当
G
是阿贝尔群。
证明如下:
充分性:
任意的
a, b
∈
G
⌀(a·b)=(a·b)^2=(a·b)(a·b)
⌀(a)⌀(b)=a^2b^2
⌀(a·b)=⌀(a)⌀(b)
则,(a·b)(a·b)=a^2b^2
所以,a、b满足交换律
G是阿贝尔群
必要性:
任意的
a, b
∈
G
⌀(a·b)=(a·b)^2=(a·b)(a·b)
因为G是阿贝尔群
所以,a、b满足交换律
则,⌀(a·b)=(a·b)^2=(a·b)(a·b)=a·a·b·b=a^2b^2=⌀(a)⌀(b)
所以,⌀
是一种群同态
题6.
设
ϕ
:
G |
→
H
是一种群同态。请证明:如果
G
是循环群,则
ϕ
(
G
)
也是循环群;如
果
G
是交换群,则
ϕ
(
G
)
也是交换群。
证明如下:
(1)
设
a 是
G的生成元
<a>={a^k|k
∈Z}
任意b
∈ G,则ϕ(b)=ϕ(a^k)=ϕ(a)^k
所以,
ϕ(a)是ϕ(G)的生成元
所以,ϕ(G)是循环群
(2)
任意的
a, b
∈
G
⌀(a·b)=⌀(a)⌀(b),⌀(b·a)=⌀(b)⌀(a)
⌀(a·b)=⌀(b·a)
⌀(a)⌀(b)=⌀(b)⌀(a)
所以,⌀(G)也是交换群
题7.
证明:如果
H
是群
G
上指标为
2
的子群,则
H
是
G
的正规子群。
证明如下:
H
是群
G
上指标为
2
的子群
所以,[G:H]=2,G被分成H、H'两部分
任意的
a
∈
G
若a∉H,aH≠H,Ha≠H
又
a
∈ G,H
是群
G
上
的子群,因为封闭性
aH=H',Ha=H'
aH=Ha
若
a
∈H
因为封闭性
aH=H,Ha=H
aH=Ha
所以,H 是 G 的正规子群
题8.
给定任意群
G
,
H
是群
G
的正规子群。请证明,如果群
G
是阿贝尔群,则商群
G
/
H
也是阿贝尔群。
证明如下:
任意g1、g2∈ G,则g1H、g2H∈G/
H
因为,群
G
是阿贝尔群
(g1H)(g2H)=g1Hg2H=(g2H)(g1H)
所以,商群 G
/H 也是阿贝尔群
题9.
给定任意群
G
,
H
是群
G
的正规子群。请证明,如果群
G
是循环群,则商群
G
/
H
也是循环群。
证明如下:
设g是G的生成元
<g>={g^k|k∈ Z}
任意a
∈ G,aH=g^k
∈ G
/
H
所以,gH是
G
/
H的生成元
所以,商群 G
/H 也是循环群