CINTA 习题八
第一题
设G是群,H是G的子群,任取 g 1 g_{1} g1、 g 2 g_{2} g2 ∈ \in ∈G,则 g 1 g_{1} g1H= g 2 g_{2} g2H当且仅当 g 1 − 1 g 2 ∈ g_{1}^{-1}g_{2}\in g1−1g2∈G
1、充分性:
存在 h 1 h_{1} h1, h 2 ∈ h_{2}\in h2∈H,使得 g 1 g_{1} g1H= g 2 g_{2} g2H
则由定理8.1可知: g 1 g_{1} g1H= g 2 g_{2} g2H当且仅当 g 2 ∈ g_{2}\in g2∈ g 1 g_{1} g1H
得出: g 1 − 1 g 2 g_{1}^{-1}g_{2} g1−1g2= h 1 h 2 − 1 h_{1}h_{2}^{-1} h1h2−1
则 g 1 − 1 g 2 ∈ g_{1}^{-1}g_{2}\in g1−1g2∈G
2、必要性
若 g 1 − 1 g 2 ∈ g_{1}^{-1}g_{2}\in g1−1g2∈G
则存在 h 1 h_{1} h1、 h 2 ∈ h_{2}\in h2∈H
使得: g 1 − 1 g 2 h 2 g_{1}^{-1}g_{2}h_{2} g1−1g2h2= h 1 h_{1} h1
则有: g 2 g_{2} g2= g 1 h 1 h 2 − 1 g_{1}h_{1}h_{2}^{-1} g1h1h2−1
则: g 2 ∈ g_{2}\in g2∈ g 1 h g_{1}h g1h
因此: g 1 g_{1} g1H= g 2 g_{2} g2H
第三题
如果G是群,H是G的子群,且[G : H] = 2,证明:任意的g ∈ \in ∈G,都有gH = Hg
由[G : H] = 2得出G被划分为两部分,一部分为H,另一部分为G-H
1、若 ∀ \forall ∀ g ∈ g\in g∈H
由群的封闭性:gH ∈ \in ∈H,Hg ∈ \in ∈H
得出:gH=H、Hg=H
因此:gH=Hg
2、若 ∀ \forall ∀ g ∈ g\in g∈(G-H)
同理可得:gH=Hg
综上:gH=Hg
第四题
H是G的真子群,即 ∃ \exists ∃g ∈ \in ∈G,但g ∉ \notin ∈/H,请证明:|H| ⩽ \leqslant ⩽ |G| / 2
由H为G的真子群
得出:G中必存在至少两种划分
因此:[G : H] ⩾ \geqslant ⩾ 2
则:|G| / 2 ⩾ \geqslant ⩾ |H|
第五题
设G是阶为pq的群,其中p和q都是素数,请证明:G的任意真子群都是循环群
ord(g) | |G| 即 ord(g)|pq
则:G的真子群H有:|H| = n
由拉格朗日定理:n | pq 且 g ∉ \notin ∈/ H
则:ord(g) ≠ \not= = nG-H也为G的真子群
同理:|G-H| = m
m | pq ,m ≠ \not= = n
则:m=p、n=q或m=q、n=p由8.2:G=H+(G-H)且|H|和|G-H|均为素数
则:H和G-H均为循环群,证明成立