§7 商群
在群中,我们定义子集合的运算:
设
A
,
B
A,B
A,B 是群
G
G
G 的两个子集合。定义:
A
B
=
{
a
b
∣
a
∈
A
,
b
∈
B
}
AB = \{ ab | a\in A,b \in B \}
AB={ab∣a∈A,b∈B}
即由
A
A
A 中元素和
B
B
B 中元素相乘所得的集合。子集乘积满足结合律:
(
A
B
)
C
=
A
(
B
C
)
(AB)C = A(BC)
(AB)C=A(BC).
显见:若 A A A 为一子群, B = { b } B=\{b\} B={b},则 A B AB AB 是子群 A A A 的一个右陪集。
对于任意子集合
A
A
A,定义:
A
−
1
=
{
a
−
1
∣
a
∈
A
}
A^{-1} = \{ a^{-1} | a\in A \}
A−1={a−1∣a∈A}
即由
A
A
A 中元素的逆元素组成的集合。
注:利用集合运算,我们可将定理1.4.1改写为:
群 G G G 中非空子集合 H H H 为一子群的充要条件是: H H − 1 ⊂ H . HH^{-1} \subset H. HH−1⊂H.
对于正规子群,我们有如下重要事实:
定理1.7.1
设 H H H 为群 G G G 的一个子群, H H H 是正规子群的充要条件是:任意两个左(右)陪集之积仍为一个左(右)陪集。
证明
“ ⇒ \Rightarrow ⇒”
设
H
H
H 为一正规子群,
H
a
,
H
b
Ha,Hb
Ha,Hb 是两个右陪集。则:
(
H
a
)
(
H
b
)
=
H
(
a
H
)
b
=
H
(
H
a
)
b
=
H
a
b
.
(Ha)(Hb) = H(aH)b = H(Ha)b = Hab.
(Ha)(Hb)=H(aH)b=H(Ha)b=Hab.
“ ⇐ \Leftarrow ⇐”
设
H
a
,
H
b
Ha,Hb
Ha,Hb 是任意两个右陪集。由条件
(
H
a
)
(
H
b
)
=
H
c
.
(Ha)(Hb) = Hc.
(Ha)(Hb)=Hc. 显然
a
b
∈
(
H
a
)
(
H
b
)
ab\in (Ha)(Hb)
ab∈(Ha)(Hb),即
a
b
∈
H
c
ab \in Hc
ab∈Hc. 固有
(
H
a
)
(
H
b
)
=
H
c
=
H
a
b
(Ha)(Hb) = Hc = Hab
(Ha)(Hb)=Hc=Hab
两边用
b
−
1
b^{-1}
b−1 右乘得:
H
a
H
=
H
a
.
HaH = Ha.
HaH=Ha.
因为
e
∈
H
e \in H
e∈H,所以
a
H
∈
H
a
H
aH \in HaH
aH∈HaH,即:
a
H
∈
H
a
aH \in Ha
aH∈Ha
或
a
H
a
−
1
⊂
H
a
H
,
对
所
有
的
a
∈
G
.
aHa^{-1} \subset HaH,对所有的a\in G.
aHa−1⊂HaH,对所有的a∈G.
将
a
a
a 换为
a
−
1
a^{-1}
a−1,则有
a
−
1
H
a
⊂
H
a^{-1}Ha \subset H
a−1Ha⊂H
从而
a
H
a
−
1
=
H
,
对
所
有
的
a
∈
G
.
aHa^{-1} = H,对所有的a \in G.
aHa−1=H,对所有的a∈G.
这证明了
H
H
H 为正规子群。
■
\blacksquare
■
令 G / H G/H G/H 代表正规子群 H H H 的全部不同的右陪集所组成的集合。
定义1.7.1(商群)
G / H G/H G/H 在陪集的乘法下所成的群称为 G G G 对正规子群 H H H 的 商群,仍记为 G / H G/H G/H。
对于正规子群,左陪集也就是右陪集,故 G / H G/H G/H 亦可以看作是左陪集所组成的群。
定义1.7.2(自然同态)
设 H ◃ G H \triangleleft G H◃G 。定义
φ ( a ) = H a , \varphi(a) = Ha, φ(a)=Ha,
显然有
φ ( a b ) = H a b = H a H b = φ ( a ) φ ( b ) . \varphi(ab) = Hab = HaHb = \varphi(a) \varphi(b). φ(ab)=Hab=HaHb=φ(a)φ(b).
因此, φ \varphi φ 是 G G G 到 G / H G/H G/H 的一个同态,而且是映上的。称其为群 G G G 到其商群的自然同态。
下面的定理进一步叙述了同态和正规子群的关系:
定理1.7.2(群同态基本定理)
设 σ : G → G ′ \sigma: G\rightarrow G' σ:G→G′ 是一满同态 , N N N 是 σ \sigma σ 的核,则 G / N G/N G/N 和 G ′ G' G′ 同构。
证明
设 φ : G → G / N \varphi: G\rightarrow G/N φ:G→G/N 是一自然同态。这样,有两个满同态: σ \sigma σ 和 φ \varphi φ. 要找一个同构 ψ : G / N → G ′ . \psi:G/N \rightarrow G'. ψ:G/N→G′.
定义
ψ
(
N
a
)
=
σ
(
a
)
,
\psi(Na) = \sigma(a),
ψ(Na)=σ(a),
因为
σ
\sigma
σ 是一满同态,即
σ
(
G
)
=
G
′
\sigma(G) = G'
σ(G)=G′,所以由前面的分析表明,
ψ
\psi
ψ 是
G
/
N
G/N
G/N 到
G
‘
G‘
G‘ 的一个一一对应。且有:
ψ
(
N
a
N
b
)
=
ψ
(
N
a
b
)
=
σ
(
a
b
)
=
σ
(
a
)
σ
(
b
)
=
ψ
(
N
a
)
ψ
(
N
b
)
.
\psi(NaNb) = \psi(Nab) = \sigma(ab) = \sigma(a)\sigma(b) = \psi(Na)\psi(Nb).
ψ(NaNb)=ψ(Nab)=σ(ab)=σ(a)σ(b)=ψ(Na)ψ(Nb).
故证得:
ψ
:
G
/
N
→
G
′
\psi: G/N \rightarrow G'
ψ:G/N→G′ 是一同构,原命题证毕。
■
\blacksquare
■