1.5 群的同构

§5 群的同构

定义1.5.1（同构）

设 $G$ 和 $G^{\prime }$ 是两个群。若有一个从 $G$ 到 $G^{\prime }$ 的双射 $\sigma$ ，它对于所有的 $x,y\in G$ 有
$$\sigma (xy)=\sigma (x)\sigma (y)$$
则称 $G$ 同构于 $G^{\prime }$ 。具有以上性质的双射称为 $G$ 到 $G^{\prime }$ 的一个同构映射，或简称同构。

注：

1. 由定义显见：同构映射将单位元素映到单位元素，将逆元素映到逆元素。
2. 群的同构作为群之间的一种关系，满足自反性、对称性和传递性。
3. 在同构映射下，对应的元素在各自的运算下具有相同的代数性质。
4. 在抽象地研究一个群时，无需对同构的群加以区别。

在历史上，群论最早研究的就是变换群，抽象群的概念也是从变换群的概念中抽象而来的。

定理1.5.1（Cayley定理）

任何一个群都同构于某一集合上的变换群。

证明

设 $G$ 是一个群。对于每个 $a\in G$ ，定义同一个集合 $G$ 的变换 ${\sigma }_a$ 如下：
$${\sigma }_a(x)=ax,x\in G.$$
先证明 ${\sigma }_a$ 是 $G$ 的可逆变换。显然：
$${\sigma }_{{\alpha }^{-1}}{\sigma }_{\alpha }(x)={\sigma }_{{\alpha }^{-1}}(ax)=a^{-1}ax=x,$$

$${\sigma }_{\alpha }{\sigma }_{{\alpha }^{-1}}(x)={\sigma }_{\alpha }(a^{-1}x)=a{a}^{-1}x=x.$$

也就是说， ${\sigma }_{\alpha }{\sigma }_{{\alpha }^{-1}}(x)$ 和 ${\sigma }_{{\alpha }^{-1}}{\sigma }_{\alpha }$ 都是单位变换。即：
$${\sigma }_{\alpha }^{-1}={\sigma }_{{\alpha }^{-1}},$$
因此 ${\sigma }^a$ 是可逆变换。

这样，我们即得到集合 $G$ 的一些可逆变换所组成的集合：

G l = { σ a ∣ a ∈ G } . G^{l} = \{\sigma_{a} | a \in G\}. Gl={σa​∣a∈G}.
下证 $G_l$ 是变换群:

对于 ${\sigma }_a,{\sigma }_b\in G_l$，有：

$${\sigma }_a{\sigma }_b^{-1}(x)={\sigma }_a{\sigma }_{b^{-1}}(x)=a{b}^{-1}(x)={\sigma }_{a{b}^{-1}}(x),$$

即：

$${\sigma }_a{\sigma }_b^{-1}={\sigma }_{a{b}^{-1}}\in G_l,$$
由定理1.4.1知： $G_l$ 是一变换群。下证同构：

因为
$${\sigma }_a(e)=a,$$
故当 $a\ne b$ 时， ${\sigma }_a\ne {\sigma }_b.$ 这说明：映射
$$a\mapsto {\sigma }_a$$
为 $G$ 到$G_l$ 的一个一一对应。由
$${\sigma }_a{\sigma }_b={\sigma }_{ab}$$
知上面的映射是一个同构。定理证毕。$■$

定义1.5.2（平移和正则表示）

称变换 ${\sigma }_a$ 为元素 $a$ 在 $G$ 上引起的 左平移，变换群 $G_l$ 称为群 $G$ 的
左正则表示。

若定义右平移
$${\tau }_a(x)=x{a}^{-1}$$
则 G r = { τ a ∣ a ∈ G } G_{r}=\{\tau_{a} | a \in G \} Gr​={τa​∣a∈G} 称为 $G$ 的右正则表示。