06 代数系统：运算背后的结构之美

加法、乘法、矩阵乘法、字符串连接、函数复合------这些看似完全不同的操作，有什么共同点？代数系统的研究告诉我们：当集合配上运算，并且这些运算满足某些规则时，就会涌现出深刻的结构。理解这些结构，是理解密码学、编码理论、编译器优化甚至量子计算的钥匙。

一、什么是代数系统？

1. 从具体例子出发

先看几个熟悉的例子：

集合	运算	熟悉的规则
整数 ℤ	加法 +	a + b = b + a；a + (b + c) = (a + b) + c；a + 0 = a
非零有理数 ℚ*	乘法 ×	a × b = b × a；a × (b × c) = (a × b) × c；a × 1 = a
n×n 矩阵	矩阵乘法	A(BC) = (AB)C；但 AB ≠ BA（一般不交换）
字符串	连接	"a" + "b" = "ab"；"ab" + "c" = "abc"；但 "ab" ≠ "ba"
布尔值	逻辑与	T ∧ T = T；T ∧ F = F；满足结合律、交换律

这些例子中，集合配上运算，并满足一定的性质，就构成了代数系统（Algebraic Structure / Algebraic System）。

2. 代数系统的定义

一个代数系统是一个或多个非空集合，连同定义在这些集合上的运算，以及这些运算满足的公理（规则）。

最简单的形式是广群（Groupoid）或原群（Magma）：

(S, )，其中 S 是非空集合， 是 S 上的二元运算（即封闭运算：∀a, b ∈ S, a * b ∈ S）

但通常我们研究的代数系统要求运算满足更多的规则。

二、半群与幺半群：运算结合律的世界

1. 半群（Semigroup）

半群：(S, *)，其中 * 是满足结合律 的封闭运算：

∀a, b, c ∈ S, (a * b) * c = a * (b * c)

例子：

(ℕ, +)：自然数加法，满足结合律
(ℕ, ×)：自然数乘法，满足结合律
(字符串集, 连接)：字符串连接满足结合律
(P(A), ∪)：幂集上的并运算，满足结合律

2. 幺半群（Monoid）

幺半群 ：(S, *, e)，是带有单位元 （Identity Element）e 的半群：

∀a ∈ S, a * e = e * a = a

例子：

幺半群	运算	单位元
(ℕ, +, 0)	加法	0（a + 0 = a）
(ℕ, ×, 1)	乘法	1（a × 1 = a）
(字符串集, 连接, "")	连接	空字符串 ""（s + "" = s）
(P(A), ∪, ∅)	并集	空集 ∅（S ∪ ∅ = S）
(P(A), ∩, A)	交集	全集 A（S ∩ A = S）
(ℤₙ, +, 0)	模 n 加法	0

💡 单位元就像"什么都不做"的操作。它的存在让代数系统更加"完整"。

三、群：最优美的代数结构

1. 群的定义

群（Group）：(G, *, e)，是满足以下四条公理的代数系统：

封闭性：∀a, b ∈ G, a * b ∈ G

结合律：∀a, b, c ∈ G, (a * b) * c = a * (b * c)

单位元：∃e ∈ G, ∀a ∈ G, a * e = e * a = a

逆元：∀a ∈ G, ∃a⁻¹ ∈ G, a * a⁻¹ = a⁻¹ * a = e

如果还满足交换律 （a * b = b * a），则称为阿贝尔群 （Abelian Group）或交换群。

2. 为什么群如此重要？

群是对称性的数学抽象。在物理学、化学、计算机科学中，"对称"无处不在：

几何图形的旋转和翻转
方程的根之间的置换
密码学中的可逆变换
纠错码的结构

群论基本思想：研究一个对象的对称性，等价于研究其对称群。

3. 经典群的例子

例子1：整数加法群 (ℤ, +, 0)

封闭：整数 + 整数 = 整数 ✅
结合律：✅
单位元：0 ✅
逆元：a 的逆元是 -a ✅
交换律：a + b = b + a ✅（阿贝尔群）

例子2：模 n 加法群 (ℤₙ, +, 0)

ℤₙ = {0, 1, 2, ..., n−1}，运算为模 n 加法。

封闭：a + b mod n 仍在 0 到 n−1 之间 ✅
结合律：模运算保持结合律 ✅
单位元：0 ✅
逆元：a 的逆元是 n−a（当 a ≠ 0）或 0（当 a = 0）✅
交换律：✅（阿贝尔群）

这是有限群的最简单例子，在密码学和编码中大量使用。

例子3：非零有理数乘法群 (ℚ*, ×, 1)

封闭：非零有理数 × 非零有理数 = 非零有理数 ✅
结合律：✅
单位元：1 ✅
逆元：a 的逆元是 1/a ✅
交换律：✅（阿贝尔群）

例子4：二面体群 D₃（正三角形的对称群）

正三角形的对称操作包括：

旋转：0°、120°、240°
翻转：沿三条高线翻转

共 6 个对称操作，在复合运算下构成群。

这是非阿贝尔群！旋转后翻转 ≠ 翻转后旋转
群的阶（元素个数）为 6
这是有限群的重要例子

例子5：置换群 Sₙ（n 个元素的对称群）

Sₙ 是 {1, 2, ..., n} 的所有置换（排列）在复合运算下构成的群。

封闭：置换的复合仍是置换 ✅
结合律：函数复合满足结合律 ✅
单位元：恒等置换（什么都不变）✅
逆元：每个置换都有逆置换 ✅
交换律：❌（当 n ≥ 3 时不是阿贝尔群）

Sₙ 的阶是 n!。置换群是群论中最基本的研究对象之一，在计数、密码学、化学（分子对称性）中都有应用。

4. 群的基本性质

定理1：单位元唯一

若 e₁ 和 e₂ 都是群 G 的单位元，则 e₁ = e₂。

证明：e₁ = e₁ * e₂ = e₂（左边用 e₂ 是单位元，右边用 e₁ 是单位元）。

定理2：逆元唯一

每个元素的逆元是唯一的。

定理3：消去律

a * b = a * c → b = c（左消去）

b * a = c * a → b = c（右消去）

定理4：方程可解

∀a, b ∈ G，方程 a * x = b 和 y * a = b 都有唯一解。

这正是群被称为"最优美代数结构"的原因------它保证了"可逆性"和"可解性"。

5. 子群与群的阶

子群（Subgroup）

若 H ⊆ G，且 H 在 G 的运算下也构成群，则 H 是 G 的子群。

例子：

偶数集 2ℤ 是 (ℤ, +) 的子群
{0, 2} 是 (ℤ₄, +) 的子群

拉格朗日定理（Lagrange's Theorem）

若 H 是有限群 G 的子群，则 |H| 整除 |G|。

即：子群的阶一定是群阶的因子！

例子：S₃（阶为 6）的子群可能的阶：1, 2, 3, 6。

这是群论中最基础、最优美的定理之一。

四、环：两种运算的共舞

1. 环的定义

环（Ring）：(R, +, ·)，其中：

(R, +) 是阿贝尔群

(R, ·) 是半群（满足结合律和封闭性）

乘法对加法满足分配律：a·(b+c) = a·b + a·c，(a+b)·c = a·c + b·c

如果乘法还满足交换律，称为交换环 。

如果乘法有单位元（1），称为含幺环。

2. 环的例子

环	加法	乘法	性质
(ℤ, +, ×)	整数加法	整数乘法	交换环，含幺
(ℚ, +, ×)	有理数加法	有理数乘法	交换环，含幺
(ℝ, +, ×)	实数加法	实数乘法	交换环，含幺
(ℤₙ, +, ×)	模 n 加法	模 n 乘法	交换环，含幺
(n×n 矩阵, +, ×)	矩阵加法	矩阵乘法	非交换环，含幺（单位矩阵）
(多项式, +, ×)	多项式加法	多项式乘法	交换环，含幺

3. 整环与域

零因子

若 a ≠ 0 且 b ≠ 0，但 a · b = 0，则称 a 和 b 为零因子。

例子：在 ℤ₆ 中，2 × 3 = 6 ≡ 0 (mod 6)，所以 2 和 3 是零因子。

整环（Integral Domain）

无零因子的交换含幺环。

例子：ℤ 是整环（没有两个非零整数乘积为 0）。

域（Field）

域：交换环，其中每个非零元素都有乘法逆元。

即：域是"可以除"的环！

例子：

ℚ（有理数域）✅
ℝ（实数域）✅
ℂ（复数域）✅
ℤ（整数）❌（2 的乘法逆元是 1/2，不在 ℤ 中）
ℤ₅（模 5）✅（每个非零元都有逆元）
ℤ₆（模 6）❌（有零因子）

五、群、环、域的层次关系

复制代码

广群 (Magma)
  └── 半群 (Semigroup) ------ 满足结合律
       └── 幺半群 (Monoid) ------ 有单位元
            └── 群 (Group) ------ 有逆元
                 └── 阿贝尔群 (Abelian Group) ------ 交换

环 (Ring)
  ├── 含幺环 (Ring with Unity)
  │    └── 整环 (Integral Domain) ------ 无零因子
  │         └── 域 (Field) ------ 非零元可逆
  └── 交换环 (Commutative Ring)
       └── 整环
            └── 域

六、代数系统在计算机中的应用

1. 密码学

现代密码学大量使用有限群 和有限域：

AES 加密：基于有限域 GF(2⁸) 上的运算
RSA 加密：基于模 n 乘法群的性质
椭圆曲线密码：基于椭圆曲线上的群结构
Diffie-Hellman 密钥交换：基于有限循环群的离散对数问题

2. 编码理论与纠错码

线性码：基于有限域上的向量空间
Reed-Solomon 码：基于有限域 GF(2^m) 上的多项式
CRC 校验：基于有限域上的多项式运算

3. 编译器优化

代数化简：利用环的性质（如 a + 0 = a，a × 1 = a）
循环优化：利用群的周期性结构
SIMD 优化：利用向量空间的线性结构

4. 哈希函数与数据结构

一致性哈希：利用模运算的群结构
布隆过滤器：利用位运算和代数结构
并查集：利用等价关系的群结构

5. 量子计算

量子比特的状态空间：复向量空间（基于域 ℂ）
量子门：酉变换（基于群的表示论）

七、本章小结

结构	定义	关键性质	例子
半群	(S, *)	结合律 + 封闭	(ℕ, +)
幺半群	(S, *, e)	半群 + 单位元	(字符串, 连接, "")
群	(G, *, e)	幺半群 + 逆元	(ℤ, +), (ℤₙ, +), Sₙ
阿贝尔群	群 + 交换律	交换	(ℤ, +), (ℤₙ, +)
环	(R, +, ·)	加法群 + 乘法半群 + 分配律	(ℤ, +, ×), 矩阵
整环	交换含幺环 + 无零因子	无零因子	ℤ, ℤ₅
域	整环 + 非零元可逆	可除	ℚ, ℝ, ℤ₅

思考与练习

判断下列代数系统是否是群。如果是，找出单位元和逆元：
- (ℤ⁺, +) --- 正整数加法
- (ℚ⁺, ×) --- 正有理数乘法
- ({1, -1, i, -i}, ×) --- 四次单位根乘法
- (ℤ₄, +)
- (ℤ₄, ×) --- 注意：0 没有逆元
在 ℤ₁₂ 中，找出所有元素的加法逆元。哪些元素有乘法逆元？
证明：在任意群中，单位元是唯一的。
判断下列哪些是环/整环/域：
- ℤ₆（模 6）
- ℤ₇（模 7）
- 2×2 实矩阵
- 偶数集 2ℤ（仅加法乘法）
写出置换群 S₃ 的所有 6 个元素，验证它在复合运算下构成群。
编程实践：实现模 n 加法群和模 n 乘法群的基本运算（当 n 为素数时，后者是域）。

📌 下一篇预告 ：在群和环之外，还有一种特殊的代数结构------格（Lattice）。它研究偏序集中的"上确界"和"下确界"运算，与逻辑运算（与、或）有着深刻的同构关系。当格满足额外条件时，我们就得到了布尔代数------计算机逻辑电路的数学基础。

群是 symmetries 的语言，而对称性，是宇宙最深处的秘密。 🔑