群同构

定义

若存在群同态 $\varphi: G \to H$ 是双射，则称 $\varphi$ 为群同构（Group Isomorphism），称 $G$ 与 $H$ 同构，记作 $G \cong H$ 。

同构映射的逆映射也是同构。

直观理解：同构的群具有完全相同的群结构，只是元素的"名字"不同。在群论中，同构的群被视为"本质上相同"。

若 $G \cong H$ ，则以下量必须相等：

任意群 $G$ 同构于某个对称群的一个子群。即 $G$ 可嵌入 $S_{|G|}$ 。

Cayley 定理说明置换群是"最一般"的群。

$G$ 到自身的同构称为自同构。 $G$ 的所有自同构在映射合成下构成群，记作 $\operatorname{Aut}(G)$ 。

对固定的 $g \in G$ ，映射

$i_g: G \to G, \quad i_g(x) = gxg^{-1}$

称为 $g$ 诱导的内自同构。所有内自同构构成 $\operatorname{Inn}(G) \trianglelefteq \operatorname{Aut}(G)$ 。

$\operatorname{Out}(G) = \operatorname{Aut}(G) / \operatorname{Inn}(G)$

同构	说明
$\mathbb{Z}_n \cong \mathbb{Z}/n\mathbb{Z}$	循环群同构
$\mathbb{R}^+ \cong \mathbb{R}$	指数映射
$\mathbb{C}^* \cong \mathbb{R}^+ \times S^1$	极坐标分解
$S_n / A_n \cong \{\pm 1\}$	商群同构
$G / \ker \varphi \cong \operatorname{im} \varphi$	第一同构定理

群论的一个重要目标是 对有限群进行分类（即找出所有不同构的群）。例如：