14、群同态与同构的深入解析

群同态与同构的深入解析

1. 群同构的概念

同构，即具有相同结构的概念，是数学各分支的核心。在抽象代数中，若两个数学对象具有相同结构，就称它们同构。同构是两个对象间保持结构的映射。在群论里，同构的定义如下：
- 定义 7.3 ：若映射 (f : G_1 \to G_2) 是一一的、满射的且是同态的，则称 (f) 为同构。
- 定义 7.4 ：若存在从群 (G_1) 到群 (G_2) 的同构，则称 (G_1) 和 (G_2) 同构，记作 (G_1 \cong G_2)，读作“(G_1) 同构于 (G_2)”。

下面通过一些例子来更好地理解同构：
|例子|群 (G) 和 (G’) 的定义|映射 (j) 的定义|是否为同构及原因|
| ---- | ---- | ---- | ---- |
|例 1| (G) 是整数加法群，(G’) 是偶数加法群| (j(x) = 2x) |是同构。证明：(j(x) = j(y) \Rightarrow 2x = 2y \Rightarrow x = y)，所以 (j) 是一一的；对于任意 (y \in G’)，存在 (m \in G) 使得 (j(m) = 2m = y)，所以 (j) 是满射的；且 (j(x + y) = 2(x + y) = 2x + 2y = j(x) + j(y))，所以 (j) 是同态的。|
|例 2| (G) 是实数加法群，(G’) 是正实数乘法群| (j(x) = 2^x) |是同构。证明：(x = y \Rightarrow 2^x = 2^y \Rightarrow j(x) = j(y))，所以 (j