# §3 群的映射
每当你定义一个想法时，最好能知道这个想法是哪些函数的朋友。

**提问：** 我们要研究哪些类型的**函数**?

**例 3.1**
$$
        \begin{aligned}
            \text{集合}~S,T~&\leftrightarrow~\text{任意函数}~f:S\to T\\
            \text{空间}~X,Y~&\leftrightarrow~\text{连续函数}~f:X\to Y\\
            \text{光滑曲线+曲面}~X,Y~&\leftrightarrow~\text{可微函数}~f:X\to Y\\
            \text{群}~G,H~&\leftrightarrow~\text{群同态}~\phi:G\to H\\
        \end{aligned}
$$



## §3.1 群同态
### §3.1.1 群同态的定义
**定义 3.1** 令$G,H$是群。从$G$到$H$的一个**群同态(group homomorphism)** 是一个函数
$$
\phi:G\to H
$$
使得 $\forall g_{1}, g_{2}\in G$,
$$
\phi(g_{1}g_{2})=\phi(g_{1})\phi(g_{2}).
$$
### §3.1.2 群同态的例子
$\begin{aligned}
        \text{\textbf{\small{例 3.2}}}~\exp:(\mathbb{R},+)&\to \mathbb{R}^{\times}~\text{是一个群同态。}\\
        t&\mapsto \mathrm{e}^{t}
    \end{aligned}$
    
证明：$\forall t_{1},t_{2}\in(\mathbb{R},+)$,
$$
\mathrm{e}^{t_{1}+t_{2}}=\mathrm{e}^{t_{1}}\cdot \mathrm{e}^{t_{2}}
$$
$$
~\tag*{$\square$}
$$
$\begin{aligned}\text{\textbf{\small{例 3.3}}}~\det: GL_{n}(\mathbb{R})&\to\mathbb{R}^{\times}~\text{是一个群同态。}\\
    M&\mapsto \det(M)
    \end{aligned}$

证明：$\forall M_{1},M_{2}\in GL_{n}(\mathbb{R})$, 
$$
\det(M_{1}M_{2})=\det(M_{1})\det(M_{2})
$$
$$
~\tag*{$\square$}
$$
$\begin{aligned}\text{\textbf{\small{例 3.4}}}~(\mathbb{R},+)&\to S^{1}~\text{是一个群同态。}\\
    t&\mapsto \mathrm{e}^{\mathrm{i}t}
    \end{aligned}$

证明：$\forall t_{1},t_{2}\in(\mathbb{R},+)$, 
$$
\mathrm{e}^{\mathrm{i}(t_{1}+t_{2})}=\mathrm{e}^{\mathrm{i}t_{1}}\cdot \mathrm{e}^{\mathrm{i}t_{2}}
$$
$$
~\tag*{$\square$}
$$
**例 3.5** 如果$V,W$是向量空间，它们在加法$+$下是群。任意线性映射
$$
        \phi: V\to W
$$
是一个群同态。任何线性子空间是一个子群。

证明：(a) 向量空间$V$是群, 因为$V$满足

(1) 结合律: $V$中得加法满足结合律, i.e. 对于$u,v,w\in V$, $(u+v)+w=u+(v+w)$;

(2) 恒元: 存在一个元素$0\in V$, 使得对于任意$v\in V$, 都有$v+0=v$;

(3) 逆元: 对于任意$v\in V$, 存在$-v\in V$, 使得$v+(-v)=0$。

(b) 任何两个向量空间$V$和$W$之间的线性映射$\phi:V\to W$是一个群同态, 因为$\phi$满足

(1) 同态的性质: 对于任意$u, v\in V$, 有
$$
\phi(u+v)=\phi(u)+\phi(v)\tag*{(线性映射的定义)}
$$

(2) 保持恒元: 因为$\phi$是线性的,
$$
\phi(0_{V})=0_{W}
$$
其中, $0_{V}$和$0_{W}$分别是$V$和$W$中的恒元;

(3) 保持逆元: 对于任意$v\in V$,
$$
\phi(-v)=-\phi(v)
$$
由于$\phi$的线性性, 依赖于标量乘法和加法逆元的$\phi$的这条性质成立。

(c) 任意线性子空间是一个子群, 因为

- 一个线性子空间$U\subseteq V$在加法下也是一个群, 因为它继承了$V$的群结构;

- $V$的恒元$0_{V}$也是$U$中的恒元;

- $U$中的逆元也从$V$中继承。

$$
~\tag*{$\square$}
$$
### §3.1.3 群同态的性质
**命题 3.1** 令$\phi:G\to H$是一个群同态。我们有

(a) $\phi(1_{G})=1_{H}$。

(b) $\phi(g^{-1})=\phi(g)^{-1}$。

证明：(a) 对于任意$g\in G$,
$$    
    \begin{aligned}
        \phi(g)&=\phi(1_{G}\cdot g)\\
        &=\phi(1_{G})\cdot\phi(g)
    \end{aligned}~~~~~~~~~~~~~~~~~~
    \begin{aligned}
        \text{(2)}&\\
        \text{(同态的定义)}&
    \end{aligned}
$$
令$h$是$\phi(g)$的逆。则
$$
    \begin{aligned}
        \phi(g)\cdot h=\phi(1_{G})\cdot\phi(g)\cdot h\quad&\Rightarrow\quad 1_{H}=\phi(1_{G})\cdot 1_{H}\\
        &\Rightarrow\quad 1_{H}=\phi(1_{G})
    \end{aligned}~~~~~~~~~~~~~~~~~~
    \begin{aligned}
        \text{(3)}&\\
        \text{(2)}&
    \end{aligned}
$$    
(b) $1_{H}=\phi(1_{G})=\phi(g\cdot g^{-1})=\phi(g)\cdot\phi(g^{-1})\quad \Rightarrow \phi(g^{-1})=\phi(g)^{-1}$
$$
~\tag*{$\square$}
$$
**命题 3.2** $\mathrm{id}_{G}: G\to G$是一个同态。

证明：考虑恒等映射$\mathrm{id}_{G}:G\to G$定义为$\mathrm{id}_{G}(g)=g$, 对于任意$g\in G$。要说明$\mathrm{id}_{G}$是一个同态, 我们需要说明:对于任意$g_{1}$, $g_{2}\in G$, 我们有
$$
\mathrm{id}_{G}(g_{1}\cdot g_{2})=\mathrm{id}_{G}(g_{1})\cdot \mathrm{id}_{G}(g_{2})
$$

对于任意$g_{1}$, $g_{2}\in G$, 我们有
$$
\mathrm{id}_{G}(g_{1}\cdot g_{2})=g_{1}\cdot g_{2}\tag*{($\mathrm{id}_{G}$的定义)}
$$
$$
\mathrm{id}_{G}(g_{1})\cdot \mathrm{id}_{G}(g_{2})=g_{1}\cdot g_{2}\tag*{(因为$\mathrm{id}_{G}(g_{i})=g_{i}$)}
$$
所以, 我们有
$$
\mathrm{id}_{G}(g_{1}\cdot g_{2})=g_{1}\cdot g_{2}=\mathrm{id}_{G}(g_{1})\cdot \mathrm{id}_{G}(g_{2})
$$
因此, $\mathrm{id}_{G}:G\to G$是一个同态。
$$
~\tag*{$\square$}
$$
**命题 3.3** 如果 $G\stackrel{\phi}{\longrightarrow}H$, $H\stackrel{\psi}{\longrightarrow}K$是同态，那么$\psi\circ\phi$是一个同态。

证明：为了证明两个同态映射$\phi$和$\psi$的复合映射也是一个同态, 我们需要验证$\psi\circ\phi$满足: 对于任意$g_{1}, g_{2}\in G$, 有
$$
(\psi\circ\phi)(g_{1}\cdot g_{2})=(\psi\circ\phi)(g_{1})\cdot (\psi\circ\phi)(g_{2})
$$
根据复合映射的定义, 我们得到
$$
(\psi\circ\phi)(g_{1}\cdot g_{2})=\psi(\phi(g_{1}\cdot g_{2}))
$$
应用$\phi$的同态性质, 我们得到
$$
\psi(\phi(g_{1}\cdot g_{2}))=\psi(\phi(g_{1})\cdot \phi(g_{2}))
$$
再应用$\psi$的同态性质, 我们得到
$$
\psi(\phi(g_{1})\cdot \phi(g_{2}))=\psi(\phi(g_{1}))\cdot\psi(\phi(g_{2}))
$$
根据复合映射的定义, 我们有
$$
\psi(\phi(g_{1}))\cdot\psi(\phi(g_{2}))=(\psi\circ\phi)(g_{1})\cdot (\psi\circ\phi)(g_{2})
$$
至此, 我们证明了
$$
(\psi\circ\phi)(g_{1}\cdot g_{2})=(\psi\circ\phi)(g_{1})\cdot (\psi\circ\phi)(g_{2})
$$
因此, 如果 $G\stackrel{\phi}{\longrightarrow}H$, $H\stackrel{\psi}{\longrightarrow}K$是同态，那么$\psi\circ\phi$是一个同态。
$$
~\tag*{$\square$}
$$
**命题 3.4** 如果$H\subset G$是一个子群，那么包含映射$i: H\hookrightarrow G$是一个同态。

证明：为了证明包含映射$i: H \hookrightarrow G$是一个同态, 其中$H \subset G$是一个子群, 我们需要验证同态性质: 对于所有$h_1, h_2 \in H$,
$$
i(h_1 \cdot h_2) = i(h_1) \cdot i(h_2)
$$
包含映射$i:H\hookrightarrow G$定义为: 对于任意$h\in H$, 有
$$
i(h)=h
$$
根据包含映射的定义, 对于任意$h_{1}, h_{2}\in H$, 有
$$
\begin{aligned}
i(h_{1})=h_{1}\\
i(h_{2})=h_{2}
\end{aligned}
$$
所以
$$
i(h_{1})\cdot i(h_{2})=h_{1}\cdot h_{2}
$$
同时, $h_1 \cdot h_2\in H$, 根据包含映射定义
$$
i(h_1 \cdot h_2) = h_1 \cdot h_2
$$
因此, 对于任意$h_1, h_2 \in H$, 有
$$
i(h_1 \cdot h_2) = i(h_1) \cdot i(h_2)
$$
即: 包含映射$i: H \hookrightarrow G$是一个同态。
$$
~\tag*{$\square$}
$$
### §3.1.4 群同态的核和像
**定义 3.2** 给定一个群同态
$$
\phi:G\to H
$$
$\phi$的**核(kernel)** 是集合
$$
\ker(\phi)=\{g\in G\mid\phi(g)=1_{H}\}.
$$
$\phi$**像(image)** 是集合
$$
\mathrm{im}(\phi)=\{h\in H\mid h=\phi(g)~\text{对于一些}~g\in G\}.
$$

**命题 3.5** $\ker(\phi)\subset G$, $\mathrm{im}(\phi)\subset H$是子群。

证明：$\ker(\phi)$是$G$的子群, 因为:

(1) $\phi(g_{1}), \phi(g_{2})=1_{H}$
$$
\begin{aligned}
                \Rightarrow \phi(g_{1}g_{2})&=\phi(g_{1})\cdot\phi(g_{2})\\
                &=1_{H}\cdot 1_{H}\\
                &=1_{H}
            \end{aligned}
$$

(2) $\phi(1_{G})=1_{H}$, 所以$1_{G}\in\ker(\phi)$.

(3) $\phi(g)=1_{H}$
$$
\begin{aligned}
                &\Rightarrow\quad \phi(g^{-1})=1_{H}^{-1}=1_{H}\\
                &\Rightarrow\quad g^{-1}\in\ker(\phi)
        \end{aligned}
$$

$\mathrm{im}(\phi)$是$H$的子群, 因为
 
(1) $h_{i}=\phi(g_{i})$ $\Rightarrow$ $h_{1}h_{2}=\phi(g_{1})\phi(g_{2})=\phi(g_{1}g_{2})$.
 
(2) $\phi(1_{G})=1_{H}$, 所以$1_{H}\in\mathrm{im}(\phi)$.

(3) $h=\phi(g)$ $\Rightarrow$ $h^{-1}=\phi(g^{-1})$.

$$
~\tag*{$\square$}
$$
## §3.2 群同构
### §3.2.1 群同构的定义
**定义 3.3** 如果一个群同态$\phi$是一个双射，那么$\phi$被称为是一个**群同构(group isomorphism)**。

同构不是等于，就像集合的双射不是等于一样。

**例 3.6** 五个香蕉的集合不等于五个苹果的集合。

但我们是用同构对群的分类，就像我们用双射对集合分类。

### §3.2.2 群同构的例子
**例 3.7** $\exp:(\mathbb{R},+)\to(\mathbb{R}_{>0},\times)$是一个群同构。

证明：为了证明$\exp: (\mathbb{R}, +) \to (\mathbb{R}_{>0}, \times)$是一个群同构, 我们需要说明两点: 

(1) **同态**: $\exp$保持群作用, i.e., 对于任意$x, y \in \mathbb{R}$, 都有
$$
\exp(x + y) = \exp(x) \cdot \exp(y)
$$
    
(2)**双射**: $\exp$是一个双射, 意味着它同时是一个单射和满射。
    
现在让我们进行验证:    

对于$x, y \in \mathbb{R}$,
$$
\exp(x + y) = e^{x+y}
$$
应用指数的性质,
$$
e^{x+y} = e^x \cdot e^y = \exp(x) \cdot \exp(y)
$$
因此, $\exp(x+y) = \exp(x) \cdot \exp(y)$, 说明了$\exp$是一个同态。
    
为了说明$\exp$是单射, 假设对于一些$x, y \in \mathbb{R}$有$\exp(x) = \exp(y)$。
$$
\exp(x) = \exp(y) \Rightarrow e^x = e^y
$$
在等式两边取自然对数(这都是有效的, 因为对于所有$x$, 都有$e^x > 0$),
$$
x = y
$$

因此, $\exp$是单射。
    
为了说明$\exp$是满射, 我们需要说明对于任意$y \in \mathbb{R}_{>0}$, 存在$x \in \mathbb{R}$使得$\exp(x) = y$。

因为$y > 0$, 存在$x = \ln(y) \in \mathbb{R}$ (其中, $\ln$表示自然对数) 使得$\exp(x) = e^{\ln(y)} = y$。

因此, $\exp$是满射。
    
因为$\exp$既是一个同态又是一个双射, 它在$(\mathbb{R}, +)$和$(\mathbb{R}_{>0}, \times)$之间是一个群同构。
    
因此, $\exp: (\mathbb{R}, +) \to (\mathbb{R}_{>0}, \times)$是一个群同构。  
$$
~\tag*{$\square$}
$$

**定理 3.6** 每个阶为 $n$ 的有限循环群都同构于 $\mathbb{Z}/n\mathbb{Z}$。

证明：设 $G=\langle g\rangle$ 是一个阶为 $n$ 的循环群。定义函数 $\phi: G \to \mathbb{Z}/n\mathbb{Z}$ 为
$$
\phi(g^{k})=k \pmod n。
$$
(1) 同态性：
$$
\phi(g^{a}\cdot g^{b})=\phi(g^{a+b})=(a+b) \pmod n。
$$
另一方面，
$$
\phi(g^{a})+\phi(g^{b})=a+b \pmod n。
$$
两边相同，所以 $\phi$ 是一个同态。

(2) 单射性：如果 $\phi(g^{a})=\phi(g^{b})$，则 $a\equiv b \pmod n$，意味着 $g^{a}=g^{b}$。

(3) 满射性：对于任意 $k\in\mathbb{Z}/n\mathbb{Z}$，我们有 $\phi(g^{k})=k \pmod n$。
$$
~\tag*{$\square$}
$$
### §3.2.3 群同构的性质
**命题 3.7** 如果$\phi:G\to H$是一个群同构, $\phi^{-1}$是一个群同构。
证明: 很明显, 它是一个双射。需要证明$\phi^{-1}$是一个同态: $\forall g_{1},g_{2}\in G$, $h_{1}=\phi(g_{1}),h_{2}=\phi(g_{2})$, 我们有
$$
    \begin{align*}
        \phi^{-1}(h_{1}\cdot h_{2})&=\phi^{-1}(\phi(g_{1})\cdot\phi(g_{2}))\tag{$\phi$满射}\\
        &=\phi^{-1}(\phi(g_{1}\cdot g_{2}))\tag{$\phi$同态}\\
        &=(\phi^{-1}\circ\phi)(g_{1}\cdot g_{2})\tag{记号}\\
        &=g_{1}\cdot g_{2}\tag{$\phi^{-1}$的定义}\\
        &=\phi^{-1}(h_{1})\cdot \phi^{-1}(h_{2})\tag{$g_{1}$, $g_{2}$的定义}
    \end{align*}
$$
$$
~\tag*{$\square$}
$$
## §3.3 乘积群
乘积群是一种通过组合已知群的元素和运算来构造新群的方法。

**定义 3.4** 给定两个群 $G_{1}$ 和 $G_{2}$，**乘积群(product group)** $G_{1}\times G_{2}$ 是有序对的集合：
$$
G_{1}\times G_{2}=\{(g_{1},g_{2})\mid g_{1}\in G_{1}, g_{2}\in G_{2}\}
$$
其群运算定义为
$$
(g_{1},g_{2})\cdot (h_{1},h_{2})=(g_{1}\cdot h_{1},g_{2}\cdot h_{2})。
$$
**命题 3.8** 给定两个群 $G_{1}$ 和 $G_{2}$，$G_{1}\times G_{2}$ 是一个群。

证明：(1) 结合性：由 $G_{1}$ 和 $G_{2}$ 的结合性直接得出。

(2) 单位元：$(1_{G_{1}},1_{G_{2}})$ 是单位元。

(3) 逆元：$(g_{1},g_{2})^{-1}=(g_{1}^{-1},g_{2}^{-1})$。
$$
~\tag*{$\square$}
$$
**例 3.8 (实数的Cartesian积)**
群 $\mathbb{R}\times\mathbb{R}$ 在标准加法下与Euclid平面 $\mathbb{R}^{2}$ 同构。

**例 3.9 (Klein四元群)**
$\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ 被称为**Klein四元群(Klein four group)**。它是最小的非循环群。

**例 3.10** 如果 $\{z\in T\subset \mathbb{C}: |z|=1\}$，则 $\mathbb{C}^{\times}=\mathbb{R}^{\times}\times T$。
## §3.4 自同构
理解乘积群自然引出了对群内对称性的研究。自同构是一个从群映射到自身的双射同态，它描述了群的结构如何以不同的方式映射到自身。当自同构应用于乘积群时，尤其引人注目，因为它揭示了多个群的内部结构在映射下如何相互作用。

**定义 3.5** 令$X$是一个集合。我们记
$$
\mathrm{Aut}(X):=\mathrm{Aut}_{\text{set}}(X):=\{\text{双射}~X\to X\}
$$
为从$X$到它本身的双射的集合。

**命题 3.9** $\mathrm{Aut}(X)$在复合下构成一个群。 

证明: $\mathrm{Aut}(X)$在复合下是一个群, 因为

(1) 复合函数是结合的:
$$
(f\circ g)\circ h=f\circ (g\circ h).
$$

$\begin{aligned}
         (2)~\mathrm{id}_{X}:X&\to X\text{是恒元}, \text{因为}f\circ \mathrm{id}_{X}=\mathrm{id}_{X}\circ f=f.\\
            x&\mapsto x
        \end{aligned}$
        
(3) $f^{-1}$是$f$的逆:
$$
f\circ f^{-1}=\mathrm{id}_{X}=f^{-1}\circ f.
$$
$$
~\tag*{$\square$}
$$
## §3.5 对称群
**定义 3.6** 令
$$
\underline{n}=\{1,\ldots,n\}.
$$
则
$$
\mathrm{Aut}_{\text{set}}(\underline{n})=:S_{n}
$$
是$n$个元素的集合上的**对称群(symmetric group)**。

**例 3.11** 下面是对称群的例子:
- $n=1$: $\mathrm{Aut}(\{1\})$是有一个元素的群:
$$
\begin{aligned}
S_{1}&=\{\text{双射}~\{1\}\to\{1\}\}\\
&=\{\mathrm{id}_{\underline{1}}\}
\end{aligned}       
$$
- $n=2$: $\mathrm{Aut}(\{1,2\})$是由两个元素的群:
$$
S_{2}=\left\{\left(\mathrm{id}:\begin{aligned}
				1\mapsto 1\\
				2\mapsto 2
			\end{aligned}
			\right),\left(
			\sigma:\begin{aligned}
				1\mapsto 2\\
				2\mapsto 1
			\end{aligned}
			\right)\right\}
$$
其满足
$$
\sigma\circ\sigma=\sigma^{2}=\mathrm{id}.
$$
- $S_{3}$有$3!$个元素。我们将很快学到它的结构。

- 一般地, $S_{n}$是有$n!$元素的群。

**定义 3.7** **集合$G$上的对称群**是从$G$到其自身的所有双射构成的群：
$$
\mathrm{Sym}(G) = \mathrm{Aut}_{\text{set}}(G).
$$

该群包含了$G$的所有元素的排列。当$G$是一个包含$n$个元素的有限集合时，$\mathrm{Sym}(G)$本质上与$S_n$相同，但这种推广允许我们考虑任何集合$G$上的排列，不论其基数大小。

对称群在群论的研究中是基本的，因为它们通过涵盖有限集合的所有可能排列，捕捉了对称性的本质。令人感兴趣的是，每个群，无论是有限的还是无限的，都可以表示为排列群的一个子群。这一深刻的联系由Cayley定理形式化了。

## §3.6 Cayley定理
**定理 3.10 (Cayley定理)** 每个群$G$同构于集合$G$上的对称群$\mathrm{Sym}(G)$的一个子群。

证明：令$G$为任意群。我们的目标是构造一个单射群同态$\phi: G \to \mathrm{Sym}(G)$，从而证明$G$同构于$\mathrm{Sym}(G)$的一个子群。

对于每个元素$g \in G$，定义一个由左乘法确定的函数$L_g: G \to G$：
$$
L_g(h) = g h \quad \text{对于所有 } h \in G。
$$
由于$G$是一个群，每个$L_g$都是一个双射（其逆为$L_{g^{-1}}$），因此$L_g \in \mathrm{Sym}(G)$。

定义映射$\phi: G \to \mathrm{Sym}(G)$为
$$
\phi(g) = L_g.
$$

- 同态性质：对于所有$g_1, g_2 \in G$和$h \in G$，
$$
\phi(g_1 g_2)(h) = L_{g_1 g_2}(h) = (g_1 g_2) h = g_1 (g_2 h) = L_{g_1}(L_{g_2}(h)) = (\phi(g_1) \circ \phi(g_2))(h).
$$
因此，$\phi(g_1 g_2) = \phi(g_1) \circ \phi(g_2)$，所以$\phi$是一个群同态。
- 单射性：假设$\phi(g) = \phi(h)$，对于某些$g, h \in G$。那么对于所有$k \in G$，
$$
L_g(k) = L_h(k) \implies g k = h k。
$$
特别地，当$k$是$G$的单位元$e$时，
$$
g e = h e \implies g = h.
$$
因此，$\phi$是单射的。

由于$\phi$是一个单射同态，$G$同构于$\mathrm{Sym}(G)$的子群$\phi(G)$。
$$
~\tag*{$\square$}
$$

Cayley定理揭示了每个群都可以看作是排列的群，强调了对称群在理解所有群的结构中的核心作用。

§3 群的映射

# §2 子群
## §2.1 子群的定义
**定义 2.1** 令 $G$ 是一个群，并且 $H \subset G$。 $H$ 被称为是 $G$ 的一个**子群(subgroup)**，如果满足

(1) $\forall h_1, h_2 \in H$，$h_1 h_2 \in H$ 。(在乘法下封闭)

(2) $1_G \in H$ 。

(3) 如果 $h \in H$ ，则 $h^{-1} \in H$ 。



## §2.2 子群的例子
**例 2.1** $\mathbb{R}_{>0} \subset \mathbb{R}^{\times}$是一个子群。

证明: $\mathbb{R}_{>0}$ 是一个 $\mathbb{R}^{\times}$的一个子群，因为

(1) $\forall h_1, h_2 \in \mathbb{R}_{>0}$, $h_1 h_2 \in \mathbb{R}_{>0}$ 。

(2) $1 \in \mathbb{R}_{>0}$ 。

(3) 如果 $h \in \mathbb{R}_{>0}$，则 $h^{-1}=\frac{1}{h} \in \mathbb{R}_{>0}$ 。
$$
~\tag*{$\square$}
$$

**例 2.2** $\mathbb{Z}_{\geqslant 0} \subset(\mathbb{Z},+)$ 不是一个子群。

证明： $\mathbb{Z}_{\geqslant 0}$ 不是 $\mathbb{Z}$ 的一个子群，因为不是所有元素 $z \in \mathbb{Z}$ 有一个逆。举例而言， $z=1$ ，它的逆应该是$-1$，但它不在 $\mathbb{Z}_{\geqslant 0}$ 中。
$$
~\tag*{$\square$}
$$

**例 2.3** $SL_n(\mathbb{R}):=\left\{M \in GL_n(\mathbb{R}) \mid \det M=1\right\} \subset GL_n(\mathbb{R})$ 是一个子群。

证明： $SL_n(\mathbb{R})$ 是 $GL_n(\mathbb{R})$ 的一个子群，因为

(1) $\forall M_1, M_2 \in SL_n(\mathbb{R}) ， M_1 M_2 \in SL_n(\mathbb{R})$ ，因为
$$
\det\left(M_1 M_2\right)=\det\left(M_1\right) \det\left(M_2\right)=1 \times 1=1 .
$$

(2) 单位矩阵 $1_{GL_n(\mathbb{R})} \in SL_n(\mathbb{R})$ ，因为 $\det\left(1_{GL_n(\mathbb{R})}\right)=1$ 。

(3) $\forall M \in SL_n(\mathbb{R})$ ，则 $M^{-1} \in SL_n(\mathbb{R})$ ，因为 $\det\left(M^{-1}\right)=\frac{1}{\det(M)}=1$ 。
$$
~\tag*{$\square$}
$$

**例 2.4** 令 $\mathbb{C}^{\times}:=\mathbb{C} \backslash\{0\}$ 。定义 $m$ 为复数乘法: $\forall z_1, z_2 \in \mathbb{C}^{\times}$，
$$
m\left(z_1, z_2\right)=z_1 \times z_2 .
$$
我们有

(a) $\mathbb{C}^{\times}$是一个群。

(b) 令
$$
S^1=\{z\mid | z |=1\} .
$$
则 $S^1 \subset \mathbb{C}^{\times}$是一个子群。

证明: (a) $\mathbb{C}^{\times}$是一个群，因为

(1) 复数乘法满足结合律。

(2) $\forall z \in \mathbb{C}^{\times}, 1 \times z=z \times 1=z$ 。

(3) $\forall z \in \mathbb{C}^{\times}$， 令 $z^{-1}=\frac{\bar{z}}{\|z\|^2}$ 。

(b) $S^1$ 是 $\mathbb{C}^{\times}$的一个子群，因为

(1) $\left|z_1\right|=\left|z_2\right|=1 \Rightarrow\left|z_1 \times z_2\right|=1$ ，所以 $S^1$ 在 $\times$ 下封闭。

(2) $|1|=1$ ，所以恒元在 $S^1$ 中。

(3) 如果 $|z|=1$ ，则 $|\bar{z}|=1$ ，并且 $z^{-1}=\bar{z}$。
$$
~\tag*{$\square$}
$$

§2 子群

# §0 简介
<table class="tg">
<thead>
  <tr><th class="tg-0pky">概念(名字)</th>
    <th class="tg-0pky">所有数字</th>
    <th class="tg-0pky">导数</th>
    <th class="tg-0pky">群</th>
    <th class="tg-0pky">环</th>
  </tr>
</thead>
<tbody>
  <tr>
    <td class="tg-0pky">这个概念解释了...?<br> (数学是一种表达思想的语言; <br>这些词语体现了什么思想呢？)</td>
    <td class="tg-0pky">计数,<br>数量</td>
    <td class="tg-0pky">变化率,<br>线性化</td>
    <td class="tg-0pky">对称性</td>
    <td class="tg-0pky">空间上的函数</td>
  </tr>
  <tr>
    <td class="tg-0pky">一些数学结果</td>
    <td class="tg-0pky"></td>
    <td class="tg-0pky"></td>
    <td class="tg-0pky" colspan="2">几何的"代数化" <br>(Descartes至今),<br>代数的"几何化"</td>
  </tr>
  <tr>
    <td class="tg-0pky">一些应用<br>(纯数之外)</td>
    <td class="tg-0pky"></td>
    <td class="tg-0pky"></td>
    <td class="tg-0pky" colspan="2">Nöther定理(物理)<br>RSA算法(密码学)<br>逻辑电路作为"余层"<br>数据集的同调形状, 等等</td>
  </tr>
</tbody>
</table>



# §1 群
## §1.1 群

考虑某个对象 $X$ 。

**什么是 $X$ 的一个对称性呢?**

通常来说，我们对于这个对象 $X$ 会有一些关于**结构**的前置印象 (形状，距离，线性等等，比如说圆、三角、方块儿，再比如说度量，抑或是向量空间$V$等等) 。


![shape](https://i.upmath.me/svg/%5Cusetikzlibrary%7Bsnakes%7D%0A%5Cbegin%7Btikzpicture%7D%0A%5Cdraw%20(0%2C0)%20circle%20(1)%3B%0A%5Cdraw%20(2%2C-1)--(4%2C-1)--(3%2C1)--(2%2C-1)%3B%0A%5Cdraw%20(5%2C-1)--(7%2C-1)--(7%2C1)--(5%2C1)--(5%2C-1)%3B%0A%5Cdraw%20%5B%0A%20%20%20%20decoration%3D%7B%0A%20%20%20%20%20%20%20%20brace%2C%0A%20%20%20%20%20%20%20%20mirror%2C%0A%20%20%20%20%20%20%20%20raise%3D0.3cm%0A%20%20%20%20%7D%2C%0A%20%20%20%20decorate%0A%5D%20(-1%2C-1)%20--%20(7%2C-1)%20%0Anode%20%5Bpos%3D0.5%2Canchor%3Dnorth%2Cyshift%3D-0.35cm%5D%20%7Bshapes%7D%3B%0A%5Cdraw%20(8%2C1)--(9%2C-1)node%5Bbelow%5D%7Bvector%20space%7D--(10%2C1)%3B%20%0A%5Cend%7Btikzpicture%7D)

$X$ 的一个对称性应该是一个映射(为什么是一个从 $X$ 到 $X$ 的映射呢? 因为我们是对 $X$ 进行了变换操作，而 $X$ 本身并没变)
$$
\phi: X \rightarrow X
$$

满足
1. 保持结构，比如 $\operatorname{dist}(x, y)=\operatorname{dist}(\phi(x), \phi(y))$ ，再比如 $\phi(x+y)=\phi(x)+\phi(y)$ ，并且
2. 可以撤销这一操作。

现在，我们首先来尝试一般性地瞅瞅这玩意儿咋回事，以给我们一点启发:

令 $G=\{\phi\}$ 是 $X$ 的对称性的集合。
1. 如果 $\phi_1, \phi_2$ 保持结构，则它们的复合 $\phi_1 \circ \phi_2, \phi_2 \circ \phi_1$ 也保持。 $\Rightarrow$ 我们可以分解 $G$ 的元素 $\Rightarrow$ $G \times G \xrightarrow{m} G$ ，结合性；
2. “什么都不做”应该也是 $X$ 的一个对称性。 $\Rightarrow \mathrm{id}_X \in G ， \operatorname{id}_X \circ \phi=\phi \circ \mathrm{id}_X=\phi$;
3. 因为 $\phi$ 可以撤销，我们应该有 $\phi^{-1} \in G$ ，所以 $\phi \circ \phi^{-1}=\mathrm{id}_X$， $\phi^{-1} \circ \phi=\mathrm{id}_X$ 。

这样通过最一般的映射来看是不是群的定义马上就呼之欲出呢?

### §1.1.1 群的定义

**定义 1.1** 一个**群 (group)** 是一个有序对
$$
(G, m)
$$
其中 $G$ 是一个集合，而 $m$ 是一个映射
$$
\begin{aligned}
& G \times G \rightarrow G \\
& \begin{aligned}
\left(g_1, g_2\right) \mapsto m\left(g_1, g_2\right) & =: g_1 \cdot g_2 \\
& =: g_1 g_2
\end{aligned}
\end{aligned}
$$
使得
1. $m$ 满足结合律，i.e.
$$
m\left(m\left(g_1, g_2\right), g_3\right)=m\left(g_1, m\left(g_2, g_3\right)\right)
$$
i.e. $\left(g_1 \cdot g_2\right) \cdot g_3=g_1 \cdot\left(g_2 \cdot g_3\right)$ 或 $\left(g_1 g_2\right) g_3=g_1\left(g_2 g_3\right)$ ；

2. $\exists$一个元素$1_G \in G$ ，称为**恒元(identity)**，使得
$$
m\left(1_G, g\right)=g=m\left(g, 1_G\right)
$$
i.e. $1_G \cdot g=g=g \cdot 1_G$ 或 $1_G g=g=g 1_G$ ；

3. $\forall g \in G ， \exists$ 元素 $h \in G$ 使得
$$
m(g, h)=1_G=m(h, g)
$$
i.e. $g \cdot h=1_G=h \cdot g$ 或 $g h=1_G=h g$ ，我们经常记 $g^{-1}:=h$ ，称为 " $g$ 的**逆 (inverse)**" 。

### §1.1.2 群的例子

**例 1.1** 令
$$
G=\{\ldots,-1,0,1, \ldots\}=: \mathbb{Z}
$$
为整数的集合。定义
$$
G \times G \xrightarrow{m} G
$$
为
$$
m(g, h)=g+h
$$
(i.e. 整数加法)

比如，我们有
$$
m(-2,3)=1
$$
则 $(G, m)$ 是一个群。

证明: $(\mathbb{Z},+)$ 是一个群，因为
(1) $m$ 满足结合律，即:
$$
(g+h)+k=g+(h+k)
$$
(2) $0=1_G$ 是恒元，即:
$$
\begin{aligned}
& m(0, g)=0+g=g \\
& m(g, 0)=g+0=g
\end{aligned}
$$
(3) 每个元素都有一个逆元素:
$$
m(g,-g)=g+(-g)=0
$$
$$
~\tag*{$\square$}
$$

**例 1.2** 令
$$
G=\{\ldots,-1,0,1, \ldots\}=: \mathbb{Z}
$$
为整数的集合。并且令
$$
\begin{aligned}
m: G \times G & \rightarrow G \\
(a, b) & \mapsto a \times b
\end{aligned}
$$
举例
$$
(2,3) \rightarrow 6
$$
我们有 $(G, m)$ 不是群。

证明: $(\mathbb{Z}, \times)$ 不是群，因为不是所有元素 $z \in \mathbb{Z}$ 都有逆元素。举例而言， $z=2$ ，它的逆元素应该是 $\frac{1}{2}$ ，但不在 $\mathbb{Z}$ 中。
$$
~\tag*{$\square$}
$$

上面的两个例子

$(\mathbb{Z},+)$ 是群。

$(\mathbb{Z}, \times)$ 不是群。

说明了知道 $m$ 很重要。无论如何，我们经常会缩写，比如说 "令 $G$ 是一个群"，省略提及 $m$ 。

**例 1.3** 令 $G=\mathbb{R} \backslash\{0\}$ (去掉 0 的实数的集合)。令
$$
\begin{aligned}
m: G \times G & \rightarrow G \\
(a, b) & \mapsto a \times b
\end{aligned}
$$
则 $G$ 是一个群。我们从现在起记为 $\mathbb{R}^{\times}$。

证明: $\mathbb{R}^{\times}$是群，因为

(1) 实数乘法满足结合律。

(2) 数字 1 是恒元。

(3) $\forall g \in \mathbb{R} \backslash\{0\}$ ，存在一个 $\frac{1}{g}$ ，使得 $g \frac{1}{g}=\frac{1}{g} g=1$ 。
$$
~\tag*{$\square$}
$$

### §1.1.3 群的性质

**命题 3.1 (消去律)** 令 $G$ 是一个群，并且 $g, h, k \in G$ 。假设
$$
g h=g k \text{.}
$$
则
$$
h=k \text{.}
$$

类似地，我们有
$$
h g=k g \quad \Rightarrow \quad h=k
$$

证明： $\exists g^{-1}$ ，使得 $g^{-1} g=1_G$
$$
\begin{aligned}
g h=g k & \Rightarrow g^{-1}(g h)=g^{-1}(g k) \\
& \Rightarrow\left(g^{-1} g\right) h=\left(g^{-1} g\right) k \\
& \Rightarrow 1_G h=1_G k \\
& \Rightarrow h=k
\end{aligned}
$$

我们运用了作为一个群的所有公理!
$$
~\tag*{$\square$}
$$

**评论:** 消去律对于矩阵乘法不成立，除非 $g, h, k$ 是可逆的，比如 $g=0$ ?

**命题 3.2 (恒元的唯一性)** 群 $G$ 的恒元是唯一的。（即：如果两个元素 $1_G$ 和 $1_G^{\prime}$ 满足定义的恒元的性质，则 $1_G=1_G^{\prime}$ 。)

证明: 如果 $1_G$ 是恒元，则它必须满足方程: 对于任何 $g \in G$ ，
$$
1_{G}g=g1_{G}=g
$$

特别地，如果 $1_G^{\prime}=g$ ，我们必须有
$$
1_G 1_G^{\prime}=1_G^{\prime} .
$$

另一方面，如果 $1_G^{\prime}$ 也是恒元，我们必须有
$$
1_G 1_G^{\prime}=1_G .
$$

根据传递性，我们有
$$
1_G=1_G^{\prime} .
$$
$$
~\tag*{$\square$}
$$

**命题 3.3 (逆元的唯一性)** 对于任意元素 $g \in G$ ，它的逆 $g^{-1}$ 是唯一的。(即：给定元素 $h$ ， $h^{\prime}$ 满足定义的 $g^{-1}$ 的性质，则 $h=h^{\prime}$ 。)

证明：假设 $h$ 和 $h^{\prime}$ 都是 $g$ 的逆。则
$$
g h^{\prime}=1_G .
$$

通过在等式两边都左乘 $h$ ，我们得到
$$
h\left(g h^{\prime}\right)=h .
$$

但是根据结合律，等号左边变成
$$
(h g) h^{\prime}=1_G h^{\prime}=h^{\prime} .
$$

通过等号的传递性，我们有
$$
h^{\prime}=h .
$$
$$
~\tag*{$\square$}
$$

## §1.2 Abel群

**例 1.4** 令 $n \geqslant 1$ 和 $n \in \mathbb{Z}$ 。那么
$$
G=GL_n(\mathbb{R}):=\{n \times n \text{实矩阵} M \mid \det M \neq 0\}
$$
是群，其中
$$
m: G \times G \rightarrow G
$$

通过矩阵乘法给出（这也说明一般情况下 $g h \neq h g$ ）。

证明： $GL_n(\mathbb{R})$ 是群，因为

(1) 矩阵乘法满足结合律。

(2) 单位矩阵是恒元。

(3) $\operatorname{det}(g) \neq 0 \Rightarrow g$ 是可逆的。
$$
~\tag*{$\square$}
$$

由于矩阵的乘法不满足交换律， 这说明一般情况下，$gh\neq hg$! 那么如果群乘法是可交换的呢？ 我们有下面的定义:

**定义 1.2** 群$G$被称为**Abel群(abelian group)**, 如果对于所有$g_{1}, g_{2}\in G$, 我们有$g_{1}g_{2}=g_{2}g_{1}$。

**定义 1.3** 群乘法对于不是所有元素都满足交换律的群叫**非Abel群(non-abelian groups)**。

## §1.3 循环群
尽管Abel群通过交换性提供了有用的结构，但某些Abel群甚至更为简单。如果我们可以用一个单独的元素生成整个群呢？这就引出了循环群的概念，循环群是Abel群中最基本的例子之一。

循环群的特殊之处在于它将整个群的结构简化为某个元素的幂或倍数，这个元素称为生成元。这种简单性使得循环群在群论中成为一个重要的构建块，同时也是解决更复杂问题的关键工具。

**定义 1.4** 当且仅当存在一个元素 $g\in G$，称为**生成元(generator)**，使得 $G$ 中的每一个元素都可以表示为 $g$ 的幂时，群 $G$ 被称为**循环群(cyclic group)**。
$$
G=\langle g\rangle:=\{g^{n}\mid n\in\mathbb{Z}\}
$$

**例 1.5 (整数在加法下构成的群)**
群 $(\mathbb{Z},+)$ 是一个以 $1$ 为生成元的循环群：
$$
\langle 1\rangle=\{\ldots,-2,-1,0,1,2,\ldots\}
$$

**例 1.6 (模运算群)**
在模 $n$ 的加法下，群 $\mathbb{Z}/n\mathbb{Z}=\{0,1,\ldots,n\}$ 是一个循环群。元素 $1$ 生成整个群：
$$
\langle 1\rangle=\{1,2,\ldots,n-1,0\}
$$

**命题 1.4** 循环群是Abel群。

证明：设循环群为 $G$，由元素 $g$ 生成。那么 $\forall x,y\in G$，存在 $m, n$ 使得 $g^{m}=x$ 且 $g^{n}=y$。因此，
$$
xy=g^{m}g^{n}=g^{m+n}=g^{n}g^{m}=yx
$$
因此，$G$ 是Abel群。
$$
~\tag*{$\square$}
$$
## §1.4 群的阶
**定义 1.5** 令$G$是一个群。我们令
$$
|G|\in \mathbb{Z}_{\geqslant 1}\cup \{\infty\}
$$
为$G$中元素的数量。我们称$|G|$为$G$的**阶(order)**。

**定义 2.3** 对于$g\in G$，考虑集合
$$
\{\ldots,\underbrace{g^{-1}\cdot g^{-1}}_{=:g^{-2}}, g^{-1},\mathrm{id}_{G},g,\underbrace{g\cdot g}_{=:g^{2}},\underbrace{g\cdot g\cdot g}_{=:g^{3}},\ldots\}
$$
我们定义 **$g$的阶(order of $g$)** 为
$$
|\langle g\rangle|
$$

**例 1.7**

- $1_{G}\in G$的阶为$1$。

- $n\in\mathbb{Z}$, $n\neq 0$有无穷阶。

- $\begin{pmatrix}
     0 & 1\\
     1 & 0
    \end{pmatrix}\in GL_{2}(\mathbb{R})$的阶为$2$，因为
$$
g^{2}=\begin{pmatrix}
0&1\\
1&0
\end{pmatrix}\begin{pmatrix}
0&1\\
1&0
\end{pmatrix}=\begin{pmatrix}
1&0\\
0&1
\end{pmatrix}=1_{GL_{2}(\mathbb{R})}
$$
所以$\{\ldots,g^{-1},1,g,\ldots\}=\{1,g\}$。

**定理 1.5 (Euler函数)** 阶为 $n$ 的循环群的生成元的数量由Euler函数$\varphi(n)$给出。

## §1.5 群的中心

为了研究非Abel群， 我们经常关注满足交换律的子集。一个重要的概念便是群的中心：

**定义 1.7** 群$G$的**中心(center)**, 记为$Z(G)$, 定义为:
$$
Z(G)=\{z\in G\mid zg=gz~\text{对于任意}~g\in G\}.
$$

**命题 1.6** 一个Abel群的中心是整个群。

证明：一个群 $G$ 的中心定义为：
$$
Z(G) = \{z\in G \mid zg=gz~\text{对于所有}~g \in G\}.
$$
在一个Abel群中，每一对元素都可交换：
$$
g_{1} \cdot g_{2}=g_{2}\cdot g_{1} \quad \text{对于所有}~g_{1}, g_{2} \in G.
$$
因此，$G$ 中的每个元素都在中心，这意味着：
$$
Z(G)=G.
$$
$$
~\tag*{$\square$}
$$
群$G$的中心是与群$G$中每个元素可交换的元素的集合。这个集合不仅是特殊元素的收集，它实际上构成$G$的一个结构。我们将在下一节引入这个结构。

概念(名字)	所有数字	导数	群	环
这个概念解释了...? (数学是一种表达思想的语言; 这些词语体现了什么思想呢？)	计数, 数量	变化率, 线性化	对称性	空间上的函数
一些数学结果			几何的"代数化" (Descartes至今), 代数的"几何化"
一些应用 (纯数之外)			Nöther定理(物理) RSA算法(密码学) 逻辑电路作为"余层" 数据集的同调形状, 等等