什么是半群？为何它不是群？
在抽象代数中，半群(Semigroup)和群(Group)是两种重要的代数结构。理解它们之间的区别是掌握现代代数的基础。简单来说，半群是一个非空集合S配上一种二元运算，这种运算满足结合律。而群则在此基础上，额外要求存在单位元，且集合中的每个元素都必须存在逆元。
因此，要找到一个“是半群但不是群”的例子，关键在于构造一个满足结合律，但要么缺少单位元，要么存在元素没有逆元的代数结构。以下是网民最常搜索和关注的几个典型场景。
⚡ 核心定义：半群
一个集合S和一个二元运算，满足：结合律 (ab)c = a(bc)。不要求单位元和逆元。
⚡ 核心定义：群
在半群的基础上，必须存在单位元e，且每个元素a都有逆元a⁻¹，使得 aa⁻¹ = e。
⚡ 关键差异
半群可能没有单位元，或者即使有单位元，元素也可能无法“撤销”（即没有逆元）。这就是“是半群但不是群”的根本原因。
网民关注的经典实例解析
为了更清晰地展示不同领域的例子，我们将通过选项卡形式分类介绍。这些例子涵盖了数论、线性代数和函数论等多个数学分支。
自然数加法半群 (N, +)
这是最直观的例子。考虑自然数集合 N = {0, 1, 2, ...} 和普通的加法运算 +。
- 封闭性： 两个自然数相加，结果仍是自然数。
- 结合律： (a + b) + c = a + (b + c) 恒成立。
- 单位元： 存在 0，使得 a + 0 = a。
- 逆元缺失： 对于任意 a > 0，其加法逆元 -a 不在自然数集合 N 中。
因此，(N, +) 是一个有单位元的半群（称为独异点 Monoid），但它不是群，因为除了0以外的元素都没有逆元。
变体：正整数乘法半群 (Z+, ×)
考虑正整数集合 Z+ = {1, 2, 3, ...} 和乘法运算 ×。
- 封闭性与结合律： 显然成立。
- 单位元： 存在 1。
- 逆元缺失： 对于 2，其乘法逆元是 1/2，不属于正整数集合。
这个例子同样说明了即使有单位元，若逆元不在集合内，则仅为半群（独异点）而非群。
所有 n 阶方阵乘法半群 M_n(R)
设 R 是一个环（如实数域 R），M_n(R) 表示所有 n 阶方阵的集合，运算为矩阵乘法。
- 结合律： 矩阵乘法满足结合律 (AB)C = A(BC)。
- 单位元： 单位矩阵 I 存在。
- 逆元缺失： 并非所有矩阵都可逆。例如，零矩阵 O 或任何行列式为 0 的矩阵，不存在矩阵 B 使得 OB = BO = I。
因此，M_n(R) 是一个半群（且有单位元），但不是群。只有其中的可逆矩阵构成的集合 GL_n(R) 才构成群。
奇异矩阵半群
如果只考虑行列式为 0 的奇异矩阵，它们甚至没有单位元（单位矩阵行列式为1），因此构成一个没有单位元的半群，这更是一个纯粹的“半群但不是群”的例子。
全函数复合半群
设 X 是一个非空集合，F 是 X 到 X 的所有函数（映射）的集合，运算为函数复合 ∘。
- 结合律： 函数复合满足结合律 f∘(g∘h) = (f∘g)∘h。
- 单位元： 恒等函数 id(x) = x 是单位元。
- 逆元缺失： 并非所有函数都是双射（一一对应且满射）。只有双射函数才有逆函数。例如，常数函数 f(x) = c 没有逆函数。
因此，所有全函数构成的集合在复合运算下构成半群（称为全变换半群 T_X），但不是群。其中的双射函数构成的集合才是对称群 S_X。
字符串连接半群
设 Σ 是一个有限字母表，Σ 是由 Σ 中字符组成的所有有限字符串的集合，运算为字符串连接 +。
- 结合律： (ab)c = a(bc) 在字符串连接中显然成立。
- 单位元： 空字符串 ε 是单位元。
- 逆元缺失： 对于非空字符串 "abc"，不存在字符串 s 使得 "abc" + s = ε（因为连接只会增加长度）。
这是计算机科学和形式语言理论中最基础的半群之一，广泛用于正则表达式和自动机理论。它显然不是群。
半群与群的结构化对比
为了帮助学习者更系统地记忆，我们整理了以下对比表格。请注意，半群是更广泛的概念，群是半群的一个特殊子集。
| 性质 | 半群 (Semigroup) | 独异点 (Monoid) | 群 (Group) |
|---|---|---|---|
| 封闭性 | ✅ 必须满足 | ✅ 必须满足 | ✅ 必须满足 |
| 结合律 | ✅ 必须满足 | ✅ 必须满足 | ✅ 必须满足 |
| 单位元存在 | ❌ 不要求 | ✅ 必须存在 | ✅ 必须存在 |
| 逆元存在 | ❌ 不要求 | ❌ 不要求 | ✅ 每个元素必须有 |
| 典型例子 | (N, +), 奇异矩阵乘法 | (N, +), 字符串连接 | (Z, +), GL(n,R) |
从表中可以看出，是半群但不是群的情况非常普遍。事实上，大多数我们日常接触的代数结构（如自然数加法、矩阵乘法、函数复合）最初都是作为半群出现的，只有当施加了更强的限制（如可逆性）时，才升级为群。
半群理论的发展脉络
了解半群概念的历史演变，有助于我们从宏观角度把握其在数学中的地位。以下是关键的历史节点：
19世纪末：早期萌芽
随着群论在数论和几何学中的成功，数学家开始探索更弱的代数结构。虽然没有明确提出“半群”一词，但相关思想已在置换群的研究中萌芽。
1900s-1920s：概念确立
德国数学家如 David Hilbert 和 Emil Artin 等人的工作，促使代数结构的研究更加抽象化和公理化。半群作为比群更一般的结构，逐渐进入视野。
1940s-1950s：独立分支形成
随着计算机科学的兴起，形式语言理论和自动机理论的发展使得半群成为核心工具。M. P. Schützenberger 等学者建立了系统的半群理论，区分了有限半群、无限半群等类别。
1960s至今：广泛应用
半群理论不仅纯数学中继续深化，还在编码理论、信号处理、马尔可夫链等领域找到广泛应用。特别是变换半群和矩阵半群的研究，成为连接代数与分析的桥梁。
常见疑问解答 (FAQ)
A: 这取决于你指的集合。如果集合是所有整数 Z，那么 (Z, +) 是一个群，因为每个整数 n 都有逆元 -n。但如果集合是自然数 N 或正整数 Z+，那么它们 不是群，因为负数不在集合内，逆元缺失。网民常在此处混淆，需特别注意集合的定义。
A: 只有可逆矩阵（即行列式不为0的矩阵）在乘法下构成群，称为一般线性群 GL(n)。所有矩阵（包括奇异矩阵）仅构成半群，因为奇异矩阵没有逆元。
A: 只需验证结合律。如果运算满足结合律，且集合封闭，则必为半群。无需检查单位元和逆元。如果结合律不满足（如向量叉乘、四元数乘法在某些定义下需注意，但通常四元数乘法也结合，反例如 octonions 八元数不结合），则连半群都不是。