Home 数学 抽象代数

# 群的定义

群其实是要求一个集合要能附带（封闭）某一种性质良好运算，也就是说：运算封闭，结合，可逆并且有单位元。

定义
对于一个集合 XX 和一个二元运算 ∗:X×X→X*:X \times X \rightarrow X，如果满足：

  • 结合律 G1 ∀a,b,c∈X,s.t.(a∗b)∗c=a∗(b∗c)\forall a,b,c \in X, \quad s.t. \quad (a*b)*c = a*(b*c)
  • 单位元 G2 ∃e∈X,∀a∈X,s.t.a∗e=e∗a=a\exists e \in X, \forall a \in X, \quad s.t. \quad a*e = e*a = a
  • 逆元 G3 ∀a∈X,∃b∈X,s.t.a∗b=b∗a=e\forall a \in X,\exists b \in X, \quad s.t. \quad a*b = b*a = e

则称 (X,∗)(X,*) 为一个 群 (Group)「群」：
群 (X,∗)(X,*) 也常简写为 XX，会把这个运算省略掉，也就是说我们关注的实际上是他带有运算这件事，具体这个运算是什么，怎么算，不重要。

一般来说这个运算会取到乘法或者加法，前者称为乘法群，后者称为加法群，对于乘法群来说通常会把 a∗ba*b 写成 abab，下文以后也会按照这种写法
G2 中提到的元 ee 称为单位元

命题 单位元唯一性
群的单位元是唯一的

证明

令 e1,e2∈Xe_1,e_2 \in X 同时为 XX 的单位元，则有 e1e2=e1,e2e1=e2⇒e1=e2e_1e_2 = e_1,\quad e_2e_1 = e_2 \quad \Rightarrow \quad e_1=e_2

G3 中提到的元 bb 称为 aa 的逆元，通常也写作 a−1a^{-1}，显然有 (a−1)−1=a(a^{-1})^{-1} = a

命题 逆元唯一性
群中任一元的逆元是唯一的

证明

令 b,c∈Xb,c \in X 同时为 a∈Xa \in X 的逆元，则有 b=be=b(ac)=(ba)c=ec=cb = be = b(ac) = (ba)c =ec = c

加法群中一般单位元记为 00，逆元记为 −a-a，并且很多时候是默认满足可交换的：a+b=b+aa+b=b+a

可以将群理解为，一个【结果】的群体，和一个【操作】。例如一个正方形，我们可以考虑一个运算（操作）是将它顺时针旋转 aa 度。那么很明显，我们通过旋转而得到的不同的正方形就构成了一个群。我们来试着根据群的定义证明一下这构成一个群。

首先很明显，这个正方形无论怎么旋转，都是处于这个群内的，即我不能仅通过旋转得到一个旋转得不到的正方形。其次，我们可以定义一个旋转了 0 度的角的正方形，也就是最开始的正方形，为单位元，同样显然的任何一个状态的正方形，旋转 0 度也不会改变状态。并且我们也可以定义逆运算：转 (360−a)(360-a) 度。这样的话对于任何一个旋转得到的正方形，我们都可以旋转回去。结合律也可以轻松确认

这样一来，就验证了这个正方形集合，与旋转操作一起构成了一个群。这是一个很简单的群的例子，但是可以帮助理解。

群本身是不要求运算可以交换（即 ab=baab=ba）的，可以交换的群被特别地称为 阿贝尔群 (Abelian Group)「可換群」

示例
例 1：C,R,Z.Q\mathbb C,\mathbb R,\mathbb Z.\mathbb Q 构成加法群
例 2：Q∗:=Q∖{0},C∗,R∗\mathbb Q^*:=\mathbb Q \setminus \{0\},\mathbb C^*,\mathbb R^* 构成乘法群
例 3：绝对值为 11 的复数全体对复数乘法构成群
例 4：{−1,1}\{-1,1\} 构成乘法群
例 5：只含单位元的 {e}\{e\} 也构成群，并且这种群称为 单位群（平凡群） (Trivial Group)「自明群」

无限个元的群称为 无穷群 (Infinite Group)「無限群」，有限个元的群称为 有限群 (Finite Group)「有限群」
对于有限群，群里元的个数称为群的 阶 (Order)「位数」，记作 o(G)o(G) 或 ord(G)ord(G) 或 ∣G∣|G|

阶数这个概念不止用于群，也用于群里面的元
对于群 GG 中的元 aa，使得 an=ea^n = e 的最小正整数 nn 称为 aa 的 [阶 (Order)「位数」]，记作 ord(a)ord(a)
如果不存在这样的 nn，则称 aa 的阶为无穷大

接下来是群上比较常用的结论，记 GG 为群
若 a1,a2,…,an∈Ga_1,a_2,\dots,a_n \in G，则

(a1a2…an)−1=an−1an−1−1…a1−1(a_1a_2\dots a_n)^{-1} = a_n^{-1}a_{n-1}^{-1}\dots a_1^{-1}

该性质可以通过先证明 $ (ab)^{-1} = b{-1}a $ （直接计算验证乘积为单位元即可），然后使用数学归纳法得到

以及指数法则

∀m,n∈N,s.t.aman=am+n\forall m,n \in \mathbb N,\quad s.t. \quad a^ma^n = a^{m+n}

∀a,b∈G,s.t.(ab)n=anbn\forall a,b \in G,\quad s.t. \quad (ab)^n = a^nb^n

虽然这里指数法则是以乘法的形式，但是对于加法也无非就是换成 nana 同样有对应的运算定理存在

命题 简约律
a,x,x′,y,y′∈Ga,x,x',y,y' \in G

ax=ax′⇒x=x′ax = ax' \quad \Rightarrow \quad x = x'

ya=y′a⇒y=y′ya = y'a \quad \Rightarrow \quad y = y'

证明

在等式 ax=ax′ax = ax' 左边同乘 a−1(ax)=a−1(ax′)a^{-1}(ax) = a^{-1}(ax') 即可得到 x=x′x = x'，右边同样 □\square

# 子群

以下记 GG 为群，演算 a∗ba*b 记为 abab

定义
若 H⊂GH \subset G 关于 GG 上的运算构成群，则称 HH 为 GG 的 子群 (Subgroup)「部分群」，记作 H≤GH \leq G

子群的定义本身很简单，但是我们要注重子群的很多性质和判断条件

命题
H≤GH \leq G 的充分必要条件为

  1. HH 中含有 GG 的单位元 ee
  2. 若 a,b∈Ha,b \in H，则 ab∈Hab \in H
  3. 若 a∈Ha \in H，则 a−1∈Ha^{-1} \in H
证明

（充分性）只需要考虑结合性，因为运算在群 GG 上面已经有结合性，并且 HH 是关于运算封闭的，所以自动满足条件
（必要性）显然成立 □\square

注意，条件 1 可以替换为要求 HH 非空，因为对于任意的在其中的元，他的逆元也存在，从而运算结果，单位元也存在。
此外，如果要求 HH 是有限的，那么还可以去掉条件 3

命题
令 H⊂GH \subset G 非空，如果 HH 关于 GG 的乘法封闭，则 HH 为 GG 的子群

证明

只需要证明条件 3 即可。若 a=ea = e 则显然成立，令 a≠ea \neq e，根据条件，有 ∀n∈N:an∈H\forall n \in \mathbb N : a^n \in H，由于 HH 不是无限的，所以肯定会有某个 r,s∈N，r>sr,s \in \mathbb N ， r > s 使得 ar=asa^r = a^s，由此 ar−s=ea^{r-s} = e 由于 a≠ea \neq e，显然有 r−s−1>0r-s-1 > 0 且 a−1=ar−s−1∈Ha^{-1} = a^{r-s-1} \in H

对于任意的群 GG，显然有他自己，以及单位群 {e}\{e\} 都会是他的子群，除此之外的子群叫做真子群

命题

H1,H2≤G⇒H1∩H2≤GH_1,H_2 \leq G \quad \Rightarrow \quad H_1 \cap H_2 \leq G

证明

只需要验证子群的三个条件即可，显然 e∈H1∩H2e \in H_1 \cap H_2，并且对于 a,b∈H1∩H2a,b \in H_1 \cap H_2，有 ab∈H1,ab∈H2ab \in H_1, ab \in H_2，所以 ab∈H1∩H2ab \in H_1 \cap H_2，同理对于 a∈H1∩H2a \in H_1 \cap H_2，有 a−1∈H1,a−1∈H2a^{-1} \in H_1, a^{-1} \in H_2，所以 a−1∈H1∩H2a^{-1} \in H_1 \cap H_2，从而 H1∩H2≤GH_1 \cap H_2 \leq G

示例
例 1：加法群 Z\mathbb Z 是加法群 Q\mathbb Q 的一个子群
例 2：乘法群 Q∗\mathbb Q^* 是乘法群 R∗\mathbb R^* 的一个子群
例 3（生成）：从群 GG 中取一部分元素构成一个集合 SS，并且取 SS 中的每个元素的逆元构成集合 S−1S^{-1}，令 S∪S−1S \cup S^{-1} 中的有限个元的运算结果的合集为集合 HH，那么 HH 会是 GG 的一个子群

# 生成群

例 3 中提到的群称为由 SS 生成的 GG 的子群，SS 称为 HH 的 生成系统 (Generating Set)「生成系」，记作 H=⟨S⟩H = \langle S \rangle

如果 HH 是由 GG 中的一个元 aa 生成的，那么称 HH 为 循环群 (Cyclic Group)「巡回群」，称 aa 为 HH 的 生成元 (Generator)「生成元」，记作 H=⟨a⟩H = \langle a \rangle

所以生成的顺序是这样的
首先我们给出一个群 GG，然后从中取出一部分元素组成 SS，这就是我们的” 砖块 “
然后我们把 SS 里面所有的元素的逆元也从 GG 里面取出来，组成 S−1S^{-1}
接着我们重复各种排列组合，把 S∪S−1S \cup S^{-1} 里面的元素进行有限个数的运算，得到的结果我们记为 HH，这个 HH 就是我们想要的生成群

当然非常显著的是，SS 的元越少我们需要的计算就指数级变少，通常来说考虑的都是一个元生成的循环群

示例
例 1：{1,−1}\{1,-1\} 是由 −1∈R∗-1 \in \mathbb R^* 生成的 R∗\mathbb R^* 的循环子群
例 2：{1,−1,i,−1}\{1,-1,i,-1\} 是由 i∈Ci \in \mathbb C 生成的 C∗\mathbb C^* 的循环子群
例 3：整数 mm 的整数倍全体的集合 {0,±m,±2m,…}\{0, \pm m,\pm 2m,\dots\} 是由 mm 生成的，加法群 Z\mathbb Z 的循环子群，并且该群一般记作 mZm\mathbb Z