更新时间：2023-10-27 | 分类：抽象代数 / 离散数学
在抽象代数的浩瀚星空中，半群（Semigroup）占据着基础而独特的地位。它是比群（Group）更广泛的结构，却比一般的 magma（拟群）更具规律性。本页面旨在提供一份详尽的半群定理表，帮助学者、学生及爱好者深入理解这一数学概念。
一个半群是一个非空集合 连同其上的一个二元运算 $$，满足以下两个条件：
需要注意的是，半群不一定包含单位元，也不一定包含逆元。如果半群包含单位元，则称为含幺半群（Monoid）；如果含幺半群中的每个元素都有逆元，则称为群（Group）。因此，群是半群的一种特殊情况。
为了系统化地理解半群，我们构建了以下半群定理表的核心要素对照表：
| 代数结构 | 封闭性 | 结合律 | 单位元 | 逆元 | 交换律 |
|---|---|---|---|---|---|
| Magma (拟群) | 是 | 否 | 否 | 否 | 否 |
| Semigroup (半群) | 是 | 是 | 否 | 否 | 否 |
| Monoid (含幺半群) | 是 | 是 | 是 | 否 | 否 |
| Group (群) | 是 | 是 | 是 | 是 | 否 |
| Abelian Group (阿贝尔群) | 是 | 是 | 是 | 是 | 是 |
此表清晰地展示了代数结构之间的包含关系：Magma Semigroup Monoid Group。
理解半群定理表的关键在于掌握其丰富的分类体系。半群可以根据其是否含有单位元、是否存在零元、是否满足幂等律等多种性质进行分类。
通过半群定理表，我们可以系统地对比这些性质。例如，在研究自动机时，我们通常关注的是有限变换半群，因为自动机的状态转移可以用变换来表示。
半群定理表不仅仅是抽象的数学工具，它在计算机科学、密码学、控制理论等领域有着广泛的应用。以下通过具体案例展示其价值。
在有限自动机中，状态转移函数构成了一个变换半群。Krohn-Rhodes 定理利用半群分解的方法，将复杂的自动机分解为简单的组件，这对于硬件设计和软件验证至关重要。
某些密码学协议基于半群上的离散对数问题。由于半群结构的复杂性，攻击者难以逆向推导，从而保证了数据的安全性。例如，基于矩阵半群的加密算法。
在非线性控制系统中，系统的演化可以用半群算子（Semigroup of Operators）来描述。Hille-Yosida 定理通过半群定理联系了无穷小生成元与全局演化，为分析系统稳定性提供了数学基础。
形式语言的正则表达式可以用有限半群来识别。Kleene 定理表明，一个语言是正则的，当且仅当它的 syntactic monoid（句法幺半群）是有限的。
Krohn-Rhodes 定理是半群定理表在应用领域的巅峰之作。它指出，任何有限自动机都可以分解为简单的开关组件（flip-flops）和群组件的串联。这类似于数论中的算术基本定理，将复杂系统分解为基本构建块。这一理论深刻影响了计算机科学中对系统模块化设计的理解。
了解半群定理表的演变，有助于我们把握数学思想的发展脉络。
数学家们开始研究代数结构，但尚未明确区分半群与群。Burnside 等问题推动了群论的发展，间接促进了对更广泛结构的思考。
Wedderburn 和 Artin 等人在研究环论时，开始系统地考虑没有逆元的结构。半群的概念逐渐从群论中独立出来。
Rees, Green, Clifford 和 Preston 等学者奠定了现代半群理论的基础。他们引入了 Green 关系、Rees 定理等核心工具，构建了半群定理表的早期框架。
自动机理论的兴起使得变换半群成为研究热点。Krohn-Rhodes 定理的提出标志着半群理论在应用数学中的成熟。
计算机科学的快速发展推动了半群定理表的数字化和系统化。逆半群、正则半群等分支得到了深入发展，并在密码学、量子计算等领域找到新应用。
以下是关于半群定理表及相关知识的高频问题深度解答。
结合律是半群的核心定义属性。它保证了运算的顺序不影响最终结果（在不改变操作数顺序的前提下）。这使得我们可以省略括号，例如 是明确的。在计算机科学中，结合律允许并行计算，例如在 MapReduce 框架中，Map 操作后的 Reduce 操作通常是结合的，从而可以分布式处理数据。
判断步骤如下：
1. 检查集合是否非空。
2. 检查二元运算是否封闭（运算结果是否仍在集合内）。
3. 验证结合律：随机选取三个元素 ，检查 是否等于 。对于有限集合，可以通过 Cayley 表验证所有组合；对于无限集合，通常需要代数推导或反例证明。
在基于矩阵半群的加密算法中，明文被编码为矩阵，密钥是半群中的特定元素。加密过程涉及半群运算（如矩阵乘法）。由于矩阵乘法不可交换且求逆困难（对于奇异矩阵），攻击者难以从密文和公钥推导出私钥。半群定理表帮助研究者选择具有适当复杂度的半群结构，以增强安全性。
在范畴论中，一个单子（Monad）本质上是一个在自函子范畴上的含幺半群。半群的概念被推广为“多对象半群”或“范畴”。这种抽象化使得半群理论成为现代数学统一语言的重要组成部分，连接了代数、拓扑和逻辑。