学习目标
掌握定义、公式与定理条件；能使用原讲义中的真值表、矩阵、图表、分布和统计推断题完成练习。
第 6 章：代数系统
代数系统写作 \(\langle A,*\rangle\)：集合 \(A\) 给出对象，二元运算 \(*:A\times A\to A\) 给出任意两对象如何合成。先问“运算结果是否仍在集合内”，再逐项核对运算律。
1. 本章复习目标
2. 知识框架
概念与性质
先厘清定义、条件和性质的联系。
公式与应用
再用题型模板、例题和练习完成方法迁移。
3. 核心知识点
原讲义内容
1. 基本概念与判断顺序
| 概念 | 数学条件 | 直观理解与常见误区 |
|---|---|---|
| 二元运算、封闭性 ⭐⭐⭐ | \(\forall a,b\in A,a*b\in A\) | 每一对输入都有唯一结果，且结果仍留在 \(A\)。封闭性不是“结果存在”而是“结果属于 \(A\)”。 |
| 交换律、结合律 ⭐⭐ | \(a*b=b*a\)；\((a*b)*c=a*(b*c)\) | 交换“次序”，结合改变“括号”；二者互不推出。 |
| 幺元 \(e\) ⭐⭐⭐ | \(e*a=a*e=a\) | 对加法常为 \(0\)，对乘法常为 \(1\)，但必须由运算验证。 |
| 零元（吸收元） ⭐ | \(0_A*a=a*0_A=0_A\) | 零元不等于加法幺元；在普通乘法中 \(0\) 是吸收元。 |
| 逆元 ⭐⭐⭐ | \(a*a^{-1}=a^{-1}*a=e\) | 逆元以幺元为参照；若群不交换，需同时验证左、右逆。 |
判断是否为群的固定步骤：
- 确认给出的 \(*\) 是 \(A\) 上二元运算，并检查封闭性。
- 验证结合律；仅验证交换律不足以替代结合律。
- 找一个对所有元素有效的幺元 \(e\)。
- 对每个 \(a\in A\) 在 \(A\) 内找逆元。四项都成立才是群；再加交换律才是阿贝尔群。
例 1：\((\mathbb Z,+)\) 是阿贝尔群。
整数加法封闭且满足结合、交换律；\(0\) 满足 \(a+0=a\)；任意 \(a\) 的逆元为 \(-a\in\mathbb Z\)。因此四个群条件成立，且交换，故为阿贝尔群。
例 2：\((\mathbb N,+)\) 通常不是群。
在常见约定 \(\mathbb N=\{1,2,\ldots\}\) 下，\(0\notin\mathbb N\)，没有加法幺元；且 \(1\) 的加法逆元 \(-1\notin\mathbb N\)。即使课程把 \(0\) 放入 \(\mathbb N\)，逆元仍不在其中。
2. 从半群到群
| 结构 | 必须满足 | 典型例子 |
|---|---|---|
| 半群 ⭐⭐ | 封闭、结合 | \((\mathbb N_{>0},+)\) |
| 幺半群（独异点） ⭐⭐ | 半群 + 幺元 | \((\mathbb N_0,+)\) |
| 群 ⭐⭐⭐ | 幺半群 + 每个元素有逆元 | \((\mathbb Z,+)\) |
| 阿贝尔群 ⭐⭐⭐ | 群 + 交换律 | \((\mathbb Z_n,+_n)\) |
有限群中，元素个数称为阶，记为 \(|G|\)。若存在 \(g\in G\) 使得 \(G=\langle g\rangle=\{g^n:n\in\mathbb Z\}\)（加法写作 \(\{ng:n\in\mathbb Z\}\)），则 \(G\) 是循环群，\(g\) 是生成元。
3. 子群、陪集与 Lagrange 定理
子群判别法：非空 \(H\subseteq G\)，若 \(\forall a,b\in H,\;ab^{-1}\in H\)，则 \(H\le G\)。
左陪集：\(aH=\{ah:h\in H\}\)，右陪集：\(Ha=\{ha:h\in H\}\)。
左陪集：\(aH=\{ah:h\in H\}\)，右陪集：\(Ha=\{ha:h\in H\}\)。
子群判别法把“封闭、幺元、逆元”合成一个检验：取 \(a=b\) 得 \(aa^{-1}=e\in H\)；取 \(a=e\) 得 \(b^{-1}\in H\)；再由 \(a,b^{-1}\in H\) 得 \(ab\in H\)。
例 3：\(H=2\mathbb Z\) 是 \((\mathbb Z,+)\) 的子群。
\(H\) 非空。任取 \(2m,2n\in H\)，有 \(2m-2n=2(m-n)\in H\)，按加法版本的子群判别法成立。其陪集只有 \(2\mathbb Z\) 与 \(1+2\mathbb Z\)，即偶数与奇数两类。
Lagrange 定理：若 \(G\) 是有限群、\(H\le G\)，则 \(\boxed{|H|\mid |G|}\)，并且不同左陪集把 \(G\) 划分为等大的块，每块有 \(|H|\) 个元素。它给出必要条件：子群阶必须整除群阶；不能据此断定每个整除数一定对应子群。
注意：群的“逆元”不可与普通倒数混为一谈。加法群 \((\mathbb Z,+)\) 中 \(5\) 的逆元是 \(-5\)，不是 \(1/5\)。
练习 1：\((\mathbb Z_6,+_6)\) 是否为阿贝尔群？求 \(4\) 的逆元。
思路：模 \(6\) 加法的结果仍是余数类；检查四项群条件，并解 \(4+x\equiv0\pmod6\)。
过程：加法结合、交换；\([0]\) 为幺元；任意 \([a]\) 的逆元是 \([-a]\)。故为阿贝尔群。\(4+x\equiv0\pmod6\) 给出 \(x\equiv2\pmod6\)。
答案：\(\boxed{(\mathbb Z_6,+_6)\text{ 是阿贝尔群，}4^{-1}=2}\)。
易错点：这里的 \(4^{-1}\) 指加法逆元；在乘法模群中才需解 \(4x\equiv1\)。
练习 2：\(H=\{0,3\}\) 是否是 \((\mathbb Z_6,+_6)\) 的子群？列出其陪集。
思路：直接检验模 \(6\) 下的差是否留在 \(H\)，再计算 \(a+H\)。
过程：\(0-0=0,0-3=3,3-0=3,3-3=0\)，都在 \(H\)，故是子群。\(0+H=H\)，\(1+H=\{1,4\}\)，\(2+H=\{2,5\}\)；其余陪集与这三者重复。
答案：\(\boxed{H\le\mathbb Z_6,\;\{0,3\},\{1,4\},\{2,5\}}\)。这也验证 \(2\mid6\)。
4. 课程扩展：环、整环与域
若课程考查两种运算，可把它们记为 \(R\) 上的 \(+,\cdot\)。环通常要求 \((R,+)\) 是阿贝尔群，乘法结合，并满足分配律；整环是在交换环（有 \(1\ne0\)）中无零因子；域进一步要求每个非零元素在乘法下有逆元。例：\(\mathbb Z\) 是整环但不是域，\(\mathbb Q\) 是域。
4. 常见题型
方法选择
原讲义中的判断方法、真值表、矩阵、图示、分布或统计计算流程均已完整保留在“核心知识点”区。
5. 典型例题
例题使用方式
先独立作答，再核对原讲义中的关键推导、公式条件与答案。
6. 练习题
练习与解析
原有折叠练习、完整解析与易错提示均保留在“核心知识点”区。
7. 易错点
8. 公式速查
| 复习顺序 | 使用要求 | 检查项 |
|---|---|---|
| 定义与定理 | 确认适用条件 | 对象、范围、已知条件 |
| 公式与计算 | 代入前保持符号一致 | 量词、集合符号、矩阵维数或概率参数 |
| 结论 | 说明结论范围 | 结果、逻辑方向与单位 |
9. 本章总结
必须记忆
核心定义、公式和定理条件。
必须理解
概念间的区别与方法选择依据。
必须会做
原讲义中的例题、练习与综合题型。
容易丢分
忽略前提、符号不严谨、混淆相近概念或跳过关键步骤。