1.设G是群,H是G的子群。任取 g 1 , g 2 ∈ G g_1,g_2\in G g1,g2∈G ,则 g 1 H = g 2 H g_1H=g_2H g1H=g2H 当且仅当 g 1 − 1 g 2 ∈ H g_1^{-1}g_2\in H g1−1g2∈H .
充分性:
g
1
H
=
g
2
H
,
有
h
1
,
h
2
∈
H
,
使
得
g
1
h
1
=
g
2
h
2
g_1H=g_2H,有h_1,h_2\in H,使得g_1h_1=g_2h_2
g1H=g2H,有h1,h2∈H,使得g1h1=g2h2
左右两边同乘
g
−
1
,
h
2
−
1
g^{-1},h_2^{-1}
g−1,h2−1
g
1
−
1
g
1
h
1
h
2
−
1
=
g
1
−
1
g
2
h
2
h
2
−
1
g_1^{-1}g_1h_1h_2^{-1}=g_1^{-1}g_2h_2h_2^{-1}
g1−1g1h1h2−1=g1−1g2h2h2−1
e
h
1
h
2
−
1
=
g
1
−
1
g
2
e
eh_1h_2^{-1}=g_1^{-1}g_2e
eh1h2−1=g1−1g2e
因为群的封闭性
h
1
h
2
−
1
∈
H
h_1h_2^{-1}\in H
h1h2−1∈H
所以
g
1
−
1
g
2
∈
H
g_1^{-1}g_2\in H
g1−1g2∈H
必要性:
g
1
−
1
g
2
∈
H
g_1^{-1}g_2\in H
g1−1g2∈H
设
h
1
=
g
1
−
1
g
2
,
h
2
=
e
∈
H
h_1=g_1^{-1}g_2,h2=e\in H
h1=g1−1g2,h2=e∈H
g
1
h
1
=
g
1
g
1
−
1
g
2
=
e
g
2
=
g
2
h
2
g_1h_1=g_1g_1^{-1}g_2=eg_2=g_2h_2
g1h1=g1g1−1g2=eg2=g2h2
所以
g
1
H
=
g
2
H
g_1H=g_2H
g1H=g2H
3.如果 G G G 是群, H H H 是群 G G G 的子群,且 [ G : H ] = 2 [G : H] = 2 [G:H]=2,请证明对任意的 g ∈ G , g H = H g g ∈ G,gH = Hg g∈G,gH=Hg。
- 当
g
∈
H
g\in H
g∈H时
g H = H = H g gH=H=Hg gH=H=Hg - 当 g ∉ H g\notin H g∈/H时
[
G
:
H
]
=
2
[G:H]=2
[G:H]=2
所
以
有
H
′
=
G
−
H
所以有H'=G-H
所以有H′=G−H
又
g
∉
H
,
故
g
h
∉
H
′
,
h
g
∉
H
但
h
g
∈
H
’
又g \notin H,故gh \notin H',hg \notin H但hg \in H’
又g∈/H,故gh∈/H′,hg∈/H但hg∈H’
故
g
H
=
H
′
,
H
g
=
H
′
故gH=H',Hg=H'
故gH=H′,Hg=H′
所
以
g
H
=
H
g
所以gH=Hg
所以gH=Hg
4
因为H是G的真子群,且
∃
g
∈
G
,
g
∉
H
\exist g \in G,g\notin H
∃g∈G,g∈/H
故
∣
G
∣
∣
H
∣
=
[
G
:
H
]
≥
2
\frac{|G|}{|H|}=[G:H]≥2
∣H∣∣G∣=[G:H]≥2
故
∣
H
∣
≤
∣
G
∣
2
|H|≤\frac{|G|}{2}
∣H∣≤2∣G∣
5
设G的一个真子群为H,
∃
g
∈
G
且
g
∉
H
\exist g \in G且g\notin H
∃g∈G且g∈/H,由推论8.1有
o
r
d
(
g
)
∣
p
g
ord(g)|pg
ord(g)∣pg
设
∣
H
∣
=
n
,
由
拉
格
朗
日
定
理
得
:
n
∣
p
g
|H|=n,由拉格朗日定理得:n|pg
∣H∣=n,由拉格朗日定理得:n∣pg
又
g
∉
H
,
故
n
≠
o
r
d
(
g
)
g\notin H,故n≠ord(g)
g∈/H,故n=ord(g)
令
g
∈
H
′
,
∣
H
′
∣
=
m
,
则
m
∣
p
g
,
又
m
≠
n
令g\in H',|H'|=m,则m|pg,又m≠n
令g∈H′,∣H′∣=m,则m∣pg,又m=n
所
以
m
=
p
,
n
=
q
或
m
=
q
,
n
=
p
所以m=p,n=q或m=q,n=p
所以m=p,n=q或m=q,n=p
故
G
=
H
+
H
′
且
∣
H
∣
和
∣
H
′
∣
为
素
数
故G=H+H'且|H|和|H'|为素数
故G=H+H′且∣H∣和∣H′∣为素数
由推论8.2得:
H
和
H
′
为
循
环
群
H和H'为循环群
H和H′为循环群
7
- 费马小定理
G是以n为阶得有限群, 则 ∀ a ∈ G , 令 ∣ a ∣ = k , 由 推 论 8.1 可 知 k ∣ n 则\forall a \in G,令|a|=k,由推论8.1可知k|n 则∀a∈G,令∣a∣=k,由推论8.1可知k∣n
又 a k = e a^k=e ak=e,所以 a n = a m k = e m = e a^n=a^{mk}=e^m=e an=amk=em=e - 欧拉定理
G是以 ϕ ( n ) \phi(n) ϕ(n)为阶得有限群, 则 ∀ a ∈ G , 令 ∣ a ∣ = k , 由 推 论 8.1 可 知 k ∣ ϕ ( n ) 则\forall a \in G,令|a|=k,由推论8.1可知k|\phi(n) 则∀a∈G,令∣a∣=k,由推论8.1可知k∣ϕ(n)
又 a k = e a^k=e ak=e,所以 a n = a m k = e m = e a^n=a^{mk}=e^m=e an=amk=em=e