拉格朗日定理
- 1、设 G 是 群,H 是 G 的子群。 ∀ g 1 , g 2 ∈ G , 则 g 1 H = g 2 H 当 且 仅 当 g − 1 g 2 属 于 H 。 \forall g_1,g_2 \in G, 则 g_1H = g_2H 当且仅当 g^{-1}g_2 属于 H。 ∀g1,g2∈G,则g1H=g2H当且仅当g−1g2属于H。
- 3、如果 G 是群,H 是群 G 的子群,且 [G:H] = 2, 请证明对任意 g 属于 G ,gH = Hg
- 4、如果群 H 是群 G 的真子群,即存在 g 属于 G 但是 g 不属于 H。 请证明 |H| 小于等于 |G|/2
- 5、设 G 是阶为 pq 的群,其中 p 和 q 是素数。请证明 G 的任意真子群是循环群。
- 7、使用群论的方法重新证明费尔马小定理和欧拉定理。
1、设 G 是 群,H 是 G 的子群。 ∀ g 1 , g 2 ∈ G , 则 g 1 H = g 2 H 当 且 仅 当 g − 1 g 2 属 于 H 。 \forall g_1,g_2 \in G, 则 g_1H = g_2H 当且仅当 g^{-1}g_2 属于 H。 ∀g1,g2∈G,则g1H=g2H当且仅当g−1g2属于H。
如果
g
1
H
=
g
2
H
g_1\mathbb H=g_2\mathbb H
g1H=g2H,则存在
h
1
、
h
2
∈
H
h_1、h_2\in\mathbb H
h1、h2∈H,使得
g
1
h
1
=
g
2
h
2
g_1h_1=g_2h_2
g1h1=g2h2
故有:
g
1
−
1
g
1
h
1
=
g
1
−
1
g
2
h
2
g_1^{-1}g_1h_1=g_1^{-1}g_2h_2
g1−1g1h1=g1−1g2h2
即
g
1
−
1
g
1
h
1
h
2
−
2
=
g
1
−
1
g
2
h
2
h
2
−
1
g_1^{-1}g_1h_1h_2^{-2}=g_1^{-1}g_2h_2h_2^{-1}
g1−1g1h1h2−2=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
即
g
1
−
1
g
2
∈
H
g_1^{-1}g_2\in\mathbb H
g1−1g2∈H
如果
g
1
−
1
g
2
∈
H
g_1^{-1}g_2\in\mathbb H
g1−1g2∈H,又
h
1
=
g
1
−
1
g
2
∈
H
h_1=g_1^{-1}g_2\in\mathbb H
h1=g1−1g2∈H,
h
2
=
e
∈
H
h_2=e\in\mathbb H
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_1\mathbb H=g_2\mathbb H
g1H=g2H
3、如果 G 是群,H 是群 G 的子群,且 [G:H] = 2, 请证明对任意 g 属于 G ,gH = Hg
(1)若
g
∈
H
g\in\mathbb H
g∈H,则
g
H
=
H
=
H
g
g\mathbb H=\mathbb H=\mathbb Hg
gH=H=Hg
(2)若
g
∉
H
g\notin\mathbb H
g∈/H,因为
[
G
:
H
]
=
2
[\mathbb G:\mathbb H]=2
[G:H]=2
所以存在
H
′
=
G
−
H
\mathbb H'=\mathbb G-\mathbb H
H′=G−H
因为
g
∉
H
g\notin\mathbb H
g∈/H,所以
g
h
∉
H
但
g
h
∈
H
′
gh\notin\mathbb H但gh\in\mathbb H'
gh∈/H但gh∈H′,
h
g
∉
H
但
h
g
∈
H
′
hg\notin\mathbb H但hg\in\mathbb H'
hg∈/H但hg∈H′
所以
g
H
=
H
′
,
H
g
=
H
′
g\mathbb H=\mathbb H',\mathbb Hg=\mathbb H'
gH=H′,Hg=H′
所以
g
H
=
H
g
g\mathbb H=\mathbb Hg
gH=Hg
4、如果群 H 是群 G 的真子群,即存在 g 属于 G 但是 g 不属于 H。 请证明 |H| 小于等于 |G|/2
因为H是群G的真子群,且存在
g
∈
G
但
是
g
∉
H
g\in\mathbb G但是g\notin\mathbb H
g∈G但是g∈/H
所以
∣
G
∣
∣
H
∣
=
[
G
:
H
]
≥
2
\frac {|\mathbb G|}{|\mathbb H|}=[\mathbb G:\mathbb H]\ge2
∣H∣∣G∣=[G:H]≥2
即
∣
H
∣
≤
∣
G
∣
2
|\mathbb H|\le\frac {|\mathbb G|}{2}
∣H∣≤2∣G∣
5、设 G 是阶为 pq 的群,其中 p 和 q 是素数。请证明 G 的任意真子群是循环群。
设G的一个真子群为H,即存在
g
∈
G
且
g
∉
H
g\in\mathbb G且g\notin\mathbb H
g∈G且g∈/H,则有推论8.1得:
o
r
d
(
g
)
∣
∣
G
∣
ord(g)||\mathbb G|
ord(g)∣∣G∣
即
o
r
d
(
g
)
∣
p
g
ord(g)|pg
ord(g)∣pg
设
∣
H
∣
=
n
|\mathbb H|=n
∣H∣=n,由拉格朗日定理得:
n
∣
p
g
n|pg
n∣pg
又
g
∉
H
,
故
n
≠
o
r
d
(
g
)
g\notin\mathbb H,故n\ne ord(g)
g∈/H,故n=ord(g)
令
g
∈
H
′
,
∣
H
′
∣
=
m
,
则
m
∣
p
q
。
g\in\mathbb H',|\mathbb H'|=m,则m|pq。
g∈H′,∣H′∣=m,则m∣pq。
又
m
≠
n
m\ne n
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
′
∣
均
为
素
数
\mathbb G=\mathbb H+\mathbb H'且|\mathbb H|和|\mathbb H'|均为素数
G=H+H′且∣H∣和∣H′∣均为素数
由推论8.2得:
H
和
H
′
均
为
循
环
群
\mathbb H和\mathbb H'均为循环群
H和H′均为循环群
7、使用群论的方法重新证明费尔马小定理和欧拉定理。
(1)费马小定理
G
\mathbb G
G是阶为n的有限群,则对任意群元
a
∈
G
a\in\mathbb G
a∈G,令a的阶为k,由推论8.1得:
k
∣
n
k|n
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
(2)欧拉定理
G
\mathbb G
G是阶为
ϕ
(
n
)
\phi (n)
ϕ(n)的有限群,则对任意群元
a
∈
G
a\in\mathbb G
a∈G,令a的阶为k,由推论8.1得:
k
∣
ϕ
(
n
)
k|\phi (n)
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