§6 同态和正规子群
为研究群和群之间的关系、群的性质,同态又是一个重要的性质。
定义1.6.1(同态)
设 G G G 和 G ′ G' G′ 为两个群, σ \sigma σ 为群 G G G 到 G ′ G' G′ 的一个映射。若 σ \sigma σ 适合条件:
σ ( x y ) = σ ( x ) σ ( y ) , x , y ∈ G , \sigma(xy) = \sigma(x)\sigma(y), \ x,y \in G, σ(xy)=σ(x)σ(y), x,y∈G,
称 σ \sigma σ 为 G G G 到 G ′ G' G′ 的一个同态映射,或同态。
显见,同构是同态这一概念经过加强后的产物。同构映射必须是双射且对运算保持,而同态映射只需满足对运算保持的性质即可。故知:同构都是同态。相应地,也不难证明同态映射将单位元映到单位元、将逆元映到逆元。
定义1.6.2(象)
当 σ \sigma σ 为 G G G 到 G ′ G' G′ 的一个同态,常简记其为
σ : G ↦ G ′ . \sigma :G \mapsto G'. σ:G↦G′.
若 σ : G ↦ G ′ \sigma :G \mapsto G' σ:G↦G′ ,定义
σ G = { σ ( a ) ∣ a ∈ G } . \sigma G = \{ \sigma(a) | a \in G \}. σG={σ(a)∣a∈G}.
显然 σ G \sigma G σG 为 G ′ G' G′ 的一个子群,称其为同态 σ \sigma σ 的象。
定义1.6.3(满同态,单一同态、嵌入映射)
若映射 σ \sigma σ 是满射,则称其为满同态,若其为单射,则称为单一同态或嵌入映射。
定义1.6.4(完全反象,同态的核)
对于同态: σ : G ↦ G ′ \sigma :G \mapsto G' σ:G↦G′ ,对于任一 α ′ ∈ G ′ \alpha' \in G' α′∈G′,考虑集合:
{ x ∈ G ∣ σ ( x ) = a ′ } , \{ x \in G | \sigma(x) = a'\}, {x∈G∣σ(x)=a′},
它可能是空集,也可能包含一个以上的元素,称其为元素 a ′ a' a′ 的完全反象,记为 σ − 1 ( a ′ ) \sigma^{-1}(a') σ−1(a′)。
特别地,单位元素的完全反象称为同态 σ \sigma σ 的核,记为 k e r ( σ ) ker(\sigma) ker(σ) 。
定理1.6.1
同态的核是群 G G G 的子群。
证明
由
σ
(
e
)
=
e
′
\sigma(e) = e'
σ(e)=e′ 知:
e
∈
k
e
r
(
σ
)
e \in ker(\sigma)
e∈ker(σ)。 若
a
,
b
∈
k
e
r
(
σ
)
a,b \in ker(\sigma)
a,b∈ker(σ),即
σ
(
a
)
=
σ
(
b
)
=
e
′
\sigma(a) = \sigma(b) = e'
σ(a)=σ(b)=e′ ,则
σ
(
a
b
−
1
)
=
σ
(
a
)
σ
(
b
)
−
1
=
e
′
\sigma(ab^{-1}) = \sigma(a) \sigma(b)^{-1} = e'
σ(ab−1)=σ(a)σ(b)−1=e′.
因此
k
e
r
(
σ
)
ker(\sigma)
ker(σ) 为
G
G
G 的一个子群。
■
\blacksquare
■
同态的核具有以下性质:
设 k e r ( σ ) = H : ker(\sigma) = H: ker(σ)=H:
- 若 σ ( a ) = a ′ \sigma(a) = a' σ(a)=a′,则 σ − 1 ( a ′ ) = a H . \sigma^{-1}(a') = aH. σ−1(a′)=aH.
- a H = H a aH = Ha aH=Ha,对所有的 a ∈ G a \in G a∈G.
定义1.6.5(正规子群)
设 H H H 为群 G G G 的子群。若对所有元素 a ∈ G a \in G a∈G 有 a H = H a aH = Ha aH=Ha,则称 H H H 为正规子群,记为 H ◃ G H \triangleleft G H◃G.
根据上面的讨论可以立即得出:同态的核都是正规子群;显然,在交换群中,每个子群都是正规的。