1. 群的基本概念

1.1群

考虑某个对象 $X$.

问题: 什么是 $X$ 的一个对称性呢?
通常来说, 我们对于这个对象 $X$ 会有一些关于结构的前置印象 (形状, 距离, 线性等等).

$X$ 的一个对称性应该是一个映射$$\varphi :X\to X$$满足

(1)	保持结构 ($\mathrm{dist}(x,y)=\mathrm{dist}(\varphi (x),\varphi (y))$, $\varphi (x+y)=\varphi (x)+\varphi (y)$), 并且
(2)	可以撤销这一操作.

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

令 $G=\{\varphi \}$ 是 $X$ 的对称性的集合.

(1)	如果 ${\varphi }_1,{\varphi }_2$ 保持结构, 则它们的复合 ${\varphi }_2\circ {\varphi }_1$ and ${\varphi }_1\circ {\varphi }_2$ 也保持. $\Rightarrow$ 我们可以分解 $G$ 的元素. $\Rightarrow$ $G\times G\stackrel{m}{⟶}G$, 结合性.
(2)	“什么都不做” 应该也是 $X$ 的一个对称性. $\Rightarrow$ ${\mathrm{id}}_X\in G$, ${\mathrm{id}}_X\circ \varphi =\varphi \circ {\mathrm{id}}_X=\varphi$.
(3)	因为 $\varphi$ 可以撤销, 我们应该有 ${\varphi }^{-1}\in G$, 所以 $\varphi \circ {\varphi }^{-1}={\mathrm{id}}_X$, ${\varphi }^{-1}\circ \varphi ={\mathrm{id}}_X$.

群的定义

现在我们在不涉及 $X$ 的情况下对此进行定义.

定义 1.1.1. 群是一个有序对 $(G,m)$, 其中 $G$ 是一个集合, 而 $m$ 是一个映射称为群乘法$$\begin{array}{rl}G\times G& \to G\\ (g_1,g_2)& \mapsto m(g_1,g_2)=:g_1\cdot g_2=:g_1{g}_2\end{array}$$使得

(1)	$m$ 满足结合律, i.e., $$m(m(g_1,g_2),g_3)=m(g_1,m(g_2,g_3))$$i.e. $$(g_1\cdot g_2)\cdot g_3=g_1\cdot (g_2\cdot g_3)\text{or}(g_1{g}_2)g_3=g_1(g_2{g}_3)$$
(2)	$\exists$ 一个元素 $1_G\in G$, 称为恒元, 使得$$m(1_G,g)=g=m(g,1_G)$$i.e. $$1_G\cdot g=g=g\cdot 1_G\text{or}{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\text{or}gh=1_G=hg$$我们经常记 $g^{-1}:=h$, “$g$ 的逆”.

群的例子

例 1.1.2. 令$$G=\{\dots ,-1,0,1,\dots \}=:\mathbb{Z}$$为整数的集合.
定义$$G\times G\stackrel{m}{⟶}G$$为$$m(g,h)=g+h\text{\hspace{1em}(i.e. 加法)}$$比如, 我们有$$m(-2,3)=1$$则 $(G,m)$ 是一个群.

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

(1)	$m$ 满足结合律, 即$$(g+h)+k=g+(h+k)$$
(2)	$0=1_G$ 是恒元, 即$$\begin{array}{rl}m(0,g)& =0+g=g\\ m(g,0)& =g+0=g\end{array}$$
(3)	每个元素都有一个逆元素: $$m(g,-g)=g+(-g)=0$$

$\square$

例 1.1.3. 令$$G=\{\dots ,-1,0,1,\dots \}=:\mathbb{Z}$$并且令$$\begin{array}{rl}m:G\times G& \to G\\ (a,b)& \mapsto a\times b\end{array}$$举例$$(2,3)\to 6$$我们有 $(G,m)$ 不是群.

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

$\square$

上面的两个例子$$\begin{array}{rl}& (\mathbb{Z},+)\text{是群}.\\ & (\mathbb{Z},\times )\text{不是群}.\end{array}$$说明了知道 $m$ 很重要. 无论如何, 我们经常会缩写, 比如说 “令 $G$ 是一个群”, 省略提及 $m$.

例 1.1.4. 令 $G=\mathbb{R}\setminus \{0\}$ (去掉 $0$ 的实数的集合). 令$$\begin{array}{rl}m:G\times G& \to G\\ (a,b)& \mapsto a\times b\end{array}$$则 $G$ 是一个群. 我们从现在起记为 ${\mathbb{R}}^{\times }$.

证明. ${\mathbb{R}}^{\times }$ 是群, 因为

(1)	实数乘法满足结合律.
(2)	数字 $1$ 是恒元.
(3)	$\forall g\in \mathbb{R}\setminus \{0\}$, 存在一个 $\frac{1}{g}$, 使得 $g\frac{1}{g}=\frac{1}{g}g=1$.

$\square$

群的性质

命题 1.1.5 (消去律). 令 $G$ 是一个群, 并且 $g,h,k\in G$. 假设$$gh=gk.$$则$$h=k.$$类似地, 我们有$$hg=kg\Rightarrow h=k$$

证明. $\exists g^{-1}$, 使得 $g^{-1}g=1_G$. (3) $$\begin{array}{rl}gh=gk& \Rightarrow g^{-1}(gh)=g^{-1}(gk)\\ & \Rightarrow (g^{-1}g)h=(g^{-1}g)k(1)\\ & \Rightarrow 1_{G}h=1_{G}k(3)\\ & \Rightarrow h=k(2)\end{array}$$我们运用了作为一个群的所有公理!

$\square$

注 1.1.6. 消去律对于矩阵乘法不成立, 除非 $g,h,k$ 是可逆的. 比如 $g=0$?

命题 1.1.7 (恒元的唯一性). 群 $G$ 的恒元是唯一的. (即, 如果两个元素 $1_G$ 和 $1_G^{\prime }$ 满足定义的恒元的性质, 则 $1_G=1_G^{\prime }$.)

证明. 如果 $1_G$ 是恒元, 则它必须满足方程$$1_{G}g=g{1}_G=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 }.$$

$\square$

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

证明. 假设 $h$ 和 $h^{\prime }$ 都是 $g$ 的逆. 则$$g{h}^{\prime }=1_G.$$通过在等式两边都左乘 $h$, 我们得到$$h(g{h}^{\prime })=h.$$但是根据结合律, 等号左边变成$$(hg)h^{\prime }=1_G{h}^{\prime }=h^{\prime }.$$通过等号的传递性, 我们有$$h^{\prime }=h.$$

$\square$

1.2Abel 群

例 1.2.1. 令 $n⩾1$ 和 $n\in \mathbb{Z}$. 那么$$G=G{L}_n(\mathbb{R}):=\{n\times n\text{实矩阵}M\mid \det M\ne 0\}$$是群, 其中$$m:G\times G\to G$$通过矩阵乘法给出.

证明. $G{L}_n(\mathbb{R})$ 是群, 因为

(1)	矩阵乘法满足结合律.
(2)	单位矩阵是恒元.
(3)	$\det (g)\ne 0$ $\Rightarrow$ $g$ 是可逆的.

$\square$

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

定义 1.2.2. 群 $G$ 被称为 Abel 群, 如果对于所有 $g_1,g_2\in G$, 我们有 $g_1{g}_2=g_2{g}_1$.

定义 1.2.3. 群乘法对于不是所有元素都满足交换律的群叫非 Abel 群.

1.3循环群

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

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

定义 1.3.1. 群 $G$ 被称为循环群, 如果存在一个元素 $g\in G$, 称为生成元, 使得 $G$ 中的每一个元素都可以表示为 $g$ 的幂.$$G=⟨g⟩:=\{g^n\mid n\in \mathbb{Z}\}$$

例 1.3.2 (整数在加法下构成的群). 群 $(\mathbb{Z},+)$ 是一个以 $1$ 为生成元的循环群:$$⟨1⟩=\{\dots ,-2,-1,0,1,2,\dots \}$$

例 1.3.3 (模运算群). 在模 $n$ 的加法 (即: 群操作 $m(a,b):=(a+b)\mathrm{mod}n$) 下, 群 $\mathbb{Z}/n\mathbb{Z}=\{0,1,\dots ,n\}$ 是一个循环群. 元素 $1$ 生成整个群:$$⟨1⟩=\{1,2,\dots ,n-1,0\}$$

命题 1.3.4. 循环群是 Abel 群.

证明. 设循环群为 $G$, 由元素 $g$ 生成. 那么 $\forall x,y\in G$, $\exists m,n$ 使得 $g^m=x$ 且 $g^n=y$. 因此,$$xy=g^m{g}^n=g^{m+n}=g^n{g}^m=yx$$因此, $G$ 是 Abel 群.

$\square$

1.4群的阶

定义 1.4.1. 令 $G$ 是一个群. 我们令$$|G|\in {\mathbb{Z}}_{⩾1}\cup \{\infty \}$$为 $G$ 中元素的数量. 我们称 $|G|$ 为 $G$ 的阶.

定义 1.4.2. 对于 $g\in G$. 考虑集合$$⟨g⟩:=\{\dots ,\underset{=:g^{-2}}{\underbrace{g^{-1}\cdot g^{-1}}},g^{-1},1_G,g,\underset{=:g^2}{\underbrace{g\cdot g}},\underset{=:g^3}{\underbrace{g\cdot g\cdot g}},\dots \}$$我们定义 $\mathbf{g}$ 的阶为$$|⟨g⟩|$$

例 1.4.3.  

•	$1_G\in G$ 的阶为 $1$.
•	$n\in \mathbb{Z}$, $n\ne 0$ 有无穷阶.
•	$\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\in G{L}_2(\mathbb{R})$ 的阶为 $2$, 因为$$g^2=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)=1_{G{L}_2(\mathbb{R})}$$所以 $\{\dots ,g^{-1},1,g,\dots \}=\{1,g\}$.

定理 1.4.4 (Euler 函数). 阶为 $n$ 的循环群的生成元的数量由 Euler 函数 $\phi (n)$ 给出.

1.5群的中心

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

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

命题 1.5.2. 一个 Abel 群的中心是整个群.

证明. 一个群 $G$ 的中心定义为:$$Z(G)=\{z\in G\mid zg=gz\text{for all}g\in G\}.$$在一个 Abel 群中, 每一对元素都可交换:$$g_1\cdot g_2=g_2\cdot g_1\text{for all}{g}_1,g_2\in G.$$因此, $G$ 中的每个元素都在中心, 这意味着:$$Z(G)=G.$$

$\square$

群 $G$ 的中心是与群 $G$ 中每个元素可交换的元素的集合. 这个集合不仅是特殊元素的收集, 它实际上构成 $G$ 的一个结构. 我们将在下一节引入这个结构.