§1 群的基本定义_II32资讯下载站

考虑某个对象。

什么是的一个对称性呢?

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

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

满足

1. 保持结构，比如 $\operatorname{dist}(x, y)=\operatorname{dist}(\phi(x), \phi(y))$ ，再比如 $\phi(x+y)=\phi(x)+\phi(y)$ ，并且

2. 可以撤销这一操作。

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

令 $G=\{\phi\}$ 是的对称性的集合。

1. 如果 $\phi_1, \phi_2$ 保持结构，则它们的复合 $\phi_1 \circ \phi_2, \phi_2 \circ \phi_1$ 也保持。 $\Rightarrow$ 我们可以分解的元素 $\Rightarrow$ $G \times G \xrightarrow{m} G$ ，结合性；

2. “什么都不做”应该也是的一个对称性。 $\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 一个群 (group) 是一个有序对 (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}\tag*{}$ 使得

1. 满足结合律，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$ ，称为 " 的逆 (inverse)" 。

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

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

证明: $(\mathbb{Z},+)$ 是一个群，因为

(1) 满足结合律，即: (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} \tag*{}$

(3) 每个元素都有一个逆元素: m(g,-g)=g+(-g)=0

$~\tag*{$\square$}$

例 1.2 令 $G=\{\ldots,-1,0,1, \ldots\}=: \mathbb{Z}\tag*{}$ 为整数的集合。并且令 $\begin{aligned} m: G \times G & \rightarrow G \\ (a, b) & \mapsto a \times b \end{aligned}\tag*{}$ 举例 $(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)$ 不是群。

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

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

命题 3.1 (消去律) 令是一个群，并且 $g, h, k \in G$ 。假设

$g h=g k.\tag*{}$ 则 $h=k.\tag*{}$

类似地，我们有 $h g=k g \quad \Rightarrow \quad h=k\tag*{}$

证明： $\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*{}$

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

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

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

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

$1_{G}g=g1_{G}=g\tag*{}$

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

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

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

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

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

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

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

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

例 1.4 令 $n \geqslant 1$ 和 $n \in \mathbb{Z}$ 。那么

$G=GL_n(\mathbb{R}):=\{n \times n \text{实矩阵} M \mid \det M \neq 0\}\tag*{}$ 是群，其中 $m: G \times G \rightarrow G\tag*{}$

通过矩阵乘法给出（这也说明一般情况下 $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 群被称为Abel群(abelian group), 如果对于所有 $g_{1}, g_{2}\in G$ , 我们有 $g_{1}g_{2}=g_{2}g_{1}$ 。

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

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

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

定义 1.4 当且仅当存在一个元素 $g\in G$ ，称为生成元(generator)，使得中的每一个元素都可以表示为的幂时，群被称为循环群(cyclic group)。

$G=\langle g\rangle:=\{g^{n}\mid n\in\mathbb{Z}\}\tag*{}$

例 1.5 (整数在加法下构成的群) 群 $(\mathbb{Z},+)$ 是一个以为生成元的循环群：

$\langle 1\rangle=\{\ldots,-2,-1,0,1,2,\ldots\}\tag*{}$

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

$\langle 1\rangle=\{1,2,\ldots,n-1,0\}\tag*{}$

命题 1.4 循环群是Abel群。

证明：设循环群为，由元素生成。那么 $\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$ 因此，是Abel群。 $~\tag*{$\square$}$

定义 1.5 令是一个群。我们令 $|G|\in \mathbb{Z}_{\geqslant 1}\cup \{\infty\}$ 为中元素的数量。我们称 |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\}\tag*{}$ 我们定义 的阶(order of ) 为 $|\langle g\rangle|$ 。

例 1.7

$1_{G}\in G$ 的阶为。
$n\in\mathbb{Z}$ , $n\neq 0$ 有无穷阶。
$\begin{pmatrix} 0 & 1\\ 1 & 0 \end{pmatrix}\in GL_{2}(\mathbb{R})$ 的阶为，因为 $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\}$ 。