本册定位。《代数学基础（下）》第一章把「群」的四条公理（封闭、结合、单位元、逆元）当作既定出发点。本册做一个减法实验：把群的公理一条一条撤走，看剩下什么结构、还保留多少「群味」；再把拆下的零件装回不同的组合，得到一整列邻居：半群、幺半群、拟群、圈，以及它们与组合数学的接口——拉丁方。走完这趟，您会看见「群」不是孤峰，而是一张代数结构谱系里的一个交点；也会理解为什么 19 世纪末的公理化运动（Cayley 1854、Huntington 1902、Moore 1902、Weber 1882）坚持用「公理清单」而非「例子」来定义群——只有把定义拆成零件，才能看清哪个零件负责哪件事。
〇系列地图：九册读本与第一章的接口
本系列为第一章的每一块理论骨架配置延伸读本，编排如下（「→」表示后续册将深化）：
其一（本册） 群在代数结构谱系中的位置——半群、幺半群、拟群、圈、拉丁方（接口：§1.1 群的定义、定理 1.7.3 凯利定理）。 其二 半群与格林（Green）关系——把 §1.2–1.3 的陪集/共轭语言翻译到半群世界的「关系几何」（接口：§1.2 子群与陪集）。 其三 欧氏平面上的变换群与对称群——等距群、二面体群、晶体群，几何即不变量（接口：§1.1 例、定理 1.7.3 凯利定理的几何母体）。 其四 群论眼光下的线性方程组——解空间 = 核 + 特解，秩-零化度定理即第一同构定理（接口：§1.5 同构定理）。 其五 数学对象的自同构群——Aut 作为「同一性结构」的度量，从 Aut(ℤn) 到 Galois 群到例外李群 G2（接口：§1.2、§1.6）。 其六 用 G-集重写群作用——作用 = 集合范畴里的函子，可迁 G-集 ≅ G/H（接口：§1.7 群作用、轨道-稳定子）。 其七 「导群」与「导函数」的家族相似——换位子、导子、Leibniz 律与命名的诗学（接口：§1.1 交换性、正规子群）。 其八 有限代数结构中的「刚性」——无自同构、无不动点、Frucht 定理：每个群都是某图的自同构群（接口：§1.6 单群、§1.7 群作用）。 其九 范畴论意义下的自由对象——遗忘函子的左伴随、自由群、生成元-关系表示（接口：定理 1.7.3 的「具体表示」的对偶面）。
一公理经济学：从「什么样的对象叫群」到「拆掉一条公理还剩什么」
群的四条公理可以按两种方式松弛，得到两族邻居：
松弛方向 A——放弃「可除性」（逆元 / 除法方程可解），保留结合律：得到半群（无单位元）与幺半群（有单位元）。这一支是「过程代数」：元素是变换、字、路径，乘法是「先做这个再做那个」，不必每一步都可逆。 松弛方向 B——放弃结合律，保留（甚至只保留）「除法可解」：得到拟群与圈。这一支是「平衡代数」：每个方程 a·x = b、y·a = b 都有唯一解，但连乘的顺序不再无关。 两族都放松 = magma（只要求封闭的二元运算）。两族都不放松、再加交换 = Abel 群。于是
群 = 半群（结合）+ 单位元 + 逆元 = 拟群（可除）+ 结合 + 单位元。
谱系总表（✓ = 该公理成立；— = 不作要求；「除法」指方程 a·x = b 与 y·a = b 对任意 a, b 有唯一解）： magma（群胚） 封闭 ✓ 结合 — 单位元 — 除法 — ← 最底层 半群 semigroup 封闭 ✓ 结合 ✓ 单位元 — 除法 — 幺半群 monoid 封闭 ✓ 结合 ✓ 单位元 ✓ 除法 — 拟群 quasigroup 封闭 ✓ 结合 — 单位元 — 除法 ✓ ←⟺ 拉丁方 圈 loop 封闭 ✓ 结合 — 单位元 ✓ 除法 ✓ ← 结合后即群 群 group 封闭 ✓ 结合 ✓ 单位元 ✓ 逆元 ✓ Abel 群 群 + 交换律 ✓
这张表本身就在回答「群论的边界在哪」：半群与幺半群有自己的深刻理论（其二的格林关系）；拟群与圈通向组合设计与非结合代数（八元数！）；而群恰好站在两族交汇的「黄金交叉点」上——既有足够强的结构让理论精深（§1.5–1.8 一整章），又有足够多的例子让它无处不在。下面逐格考察。
二半群与幺半群：不可逆的「过程」也有代数
定义 2.1. 集合 S 连同结合二元运算 · 称为半群；若还有单位元 e（es = se = s），称为幺半群。无歧义时仍记 (S, ·) 甚至 S。
例 2.2（第一章素材的半群化）。 ① (ℕ, +) 是半群非幺半群（0 ∉ ℕ 时）；(ℕ0, +) 是幺半群。② (XX, ∘)（X 上全体自映射，复合）是幺半群，单位元为 idX——凯利定理的舞台：§1.7 定理 1.7.3 说每个群同构于 S(X)（X 上双射，即 XX 的可逆元）的子群；而每个幺半群同构于 XX 的子幺半群（同一左正则表示证法，不必可逆）——凯利定理自动升级为幺半群版。③ 字母表上所有有限字的集合 Σ*（含空字 ε）配串联，是自由幺半群（其九的主角之一）。④ 全体 n×n 实矩阵 (Mn(ℝ), ·) 是幺半群；GLn(ℝ) = 它的可逆元全体。⑤ 句法幺半群（正则语言 → 有限幺半群）是其二的主角。
教材接口。 例 ②把定理 1.7.3 的证明原样搬来：左平移 ρg : x ↦ gx 的复合与同态性只用到结合律与单位元存在——逆元在「单射」一步才登场（ρg = ρh ⟹ g = ρg(e) = ρh(e) = h）。把可逆性从证明里拿掉，就得到幺半群版凯利定理。这提醒我们：第一章的许多定理其实是「少用了几条公理」的定理，拆公理能看清每一步论证真正需要的条件。
2.1 幺半群里的「可逆元成群」：单位群
命题 2.3. 设 M 是幺半群，记 U(M) = {x ∈ M | ∃y：xy = yx = e} 为可逆元全体。则 U(M) 是 M 的「子群」：对乘法封闭、含 e、闭于取逆。 证明. 可逆元之积可逆（(xy)−1 = y−1x−1），e 可逆，逆元可逆。故 U(M) 是 M 中的群。□
注 2.4. U 是一个从幺半群世界到群世界的回望函子（其九的术语）：XX 的单位群 = S(X)；Mn(ℝ) 的单位群 = GLn(ℝ)；ℤ 的单位群 = {±1} ≅ ℤ2。第一章里「Sn ≤ Sm 的嵌入」种种，都可读作「某个大幺半群（变换幺半群）的单位群」。这是「群 = 对称性」这一直觉的代数骨架：先在非对称世界里做过程，再挑出可逆过程——它们自动成群。
2.2 有限半群的三大「类群」现象
命题 2.5（有限半群必有幂等元）。 有限半群 S 中至少存在一个元素 u 满足 u2 = u。 证明. 任取 x ∈ S，序列 x, x2, x3, … 有限，故 ∃ i < j：xi = xj。令 k = j − i，则自 i 起幂序列以 k 为周期：xr = xr+k（r ≥ i）。取足够大的 k 的倍数 mk ≥ i，令 u = xmk：则 u2 = x2mk = xmk+(mk−i+i)…（反复用周期律）= xmk = u。□
对照 2.6. 群里幂等元只有一个（单位元：由 u2 = u 两边乘 u−1），而半群可以有很多。幂等元在群论里无足轻重（e 而已），在半群理论里却是分层的骨架（格林关系的 D-类顶点）——同一对象，公理不同，权重天差地别。这是「公理经济学」最好的注脚之一。
定理 2.7（有限消去半群是群）。 设 S 是有限半群，满足双侧消去律：对一切 a, x, y，ax = ay ⟹ x = y，且 xa = ya ⟹ x = y。则 S 是群。 证明. 分三步。①幂等元是单位元：由命题 2.5 取幂等 u。右乘映射 ρu : x ↦ xu 单（右消去）⟹ 满（S 有限）。故对任意 x，∃ y：x = yu，于是 xu = (yu)u = y(uu) = yu = x——u 是右单位元。对称地（左乘映射、结合律 (uu)z = u(uz)）得 u 也是左单位元，故 u = e 是单位元。②存在单位元后取逆：对任意 a，由 ρa 满，∃ b：ba = e（左逆）；由左乘满，∃ c：ac = e（右逆）。于是 b = be = b(ac) = (ba)c = ec = c，故 b = a−1。③ 结合律与封闭已备，故 S 成群。□
注 2.8. 定理的弦外之音：「消去」是群性的种子——有限性把它催熟成「每步可逆」。反过来，群的乘法当然消去（乘逆元），所以「有限半群 + 消去」与「群」是同一件事。命题 2.5 的幂等元论证与 §1.8 的 p-群工具（有限对象里某个幂 / 轨道必然循环回到自己）是同一个「抽屉原理」的亲戚。数值剧本 B 穷举全部 33×3 = 19683 张 3 元运算表，筛出满足结合 + 双侧消去的恰 3 张，全部成群（同构于 ℤ3；3 = 6/|Aut(ℤ3)| 是 ℤ3 表在 6 种标号重排下经自同构合并的数目）。
2.3 商结构与同态的边界：为什么半群没有「正规子群」
第一章 §1.4–1.5 的商群、同构定理建立在「正规子群」之上；把它们搬到半群世界会撞到一堵墙，这堵墙本身就是极好的教材：
观察 2.9. 设 M 是幺半群，~ 是 M 上的同余关系（等价关系且 a~a′、b~b′ ⟹ ab~a′b′），则商 M/~ 自动是幺半群——不需要任何「正规」条件。 说明. 群的情形里「同余 ⟺ 正规子群的陪集关系」是一元语言的意外福利：群是「够对称」的结构，任何同余都由一个正规子群（含 e 的那个类）编码。一般的幺半群没有这种福利：同余必须作为整体来指定，不能约化成「一个子对象」。例：在 (ℕ0, +) 上取 ~ 为「同奇偶」，商是 ℤ2——它对应不了任何「ℕ0 的正规子半群」，因为根本没有子半群能充当「偶数的补结构」。
注 2.10. 这正是理解「正规子群为何被定义成那样」的最深一层的回答之一：群论里 gN = Ng 恰恰是在说「左陪集划分与右陪集划分一致，故乘法在陪集上良定义」——正规性 = 同余性的具体化身。换到没有群结构的背景，「正规」这个词干脆不出现，问题被重新表述为「研究同余格」。此观点到其二（格林关系：半群上自然的同余与预序）才充分展开。
2.4 例子田：从第一章材料里长出来的半群
- 变换半群 T(X) 与部分变换：全体自映射 X → X（含非满非单）的幺半群 T(X) 是「最大过程代数」；单射部分构成对称逆半群 I(X)（部分双射，其二主角）。凯利定理幺半群版即「每个幺半群 ⊂ 某个 T(X)」。
- 矩阵幺半群：Mn(ℝ) 中秩 ≤ r 的矩阵全体不是子群但常是子幺半群（秩在乘法下不增）——「退化过程」的代数，与线性代数里的谱、零因子（AB = 0 而 A, B ≠ 0）现象相伴。
- 词与语言：Σ* 自由幺半群；正则语言的 Myhill–Nerode 句法幺半群把「语言」变成「有限幺半群的同态像」，是其二与自动机理论的接口。
- 序结构：(ℝ, min) 与 (ℝ, max) 是半群（幂等半群/半格），在热带几何中扮演加法角色。
三拟群与圈：丢掉结合律，留下「除法」
定义 3.1. 集合 Q 连同二元运算 · 称为拟群（quasigroup），若对任意 a, b ∈ Q，两个方程
a·x = b， y·a = b各有唯一解 x, y。带单位元 e 的拟群叫圈（loop）。群显然是圈；圈一般不结合。
为什么「除法」比「单位元」更本质？ 群的四条公理中，「逆元存在」在有限情形可由消去律推出（定理 2.7），而「消去律」正是「方程唯一解」的弱形式。拟群把这件事推到极致：连结合律都可以不要，只要每个 a 的左右乘都是置换——乘法表瞬间变成「每行每列都是重排」，这就是拉丁方。
教材接口（重排定理的升级）。 第一章 §1.1 群的性质里有一条：群乘法表的每一行每一列都恰好是全部元素的重排（左乘 / 右乘是双射）。拟群的定义把它反转：乘法表是拉丁方 ⟺ 左右乘都是置换 ⟺ 方程组可解。群是「碰巧」有拉丁表的结构；拟群则是「以拉丁表为定义」的结构。群的例子于是自动给出拉丁方的无穷家族（数值剧本 A 验证 S3 的 6×6 凯利表）。
3.1 结合律一回来，圈就是群
定理 3.2. 有单位元的结合拟群是群。 证明. 只需验证逆元存在。设 e 为单位元，任意 a ∈ Q。方程 a·x = e 有唯一解 x = ar（右逆），y·a = e 有唯一解 y = al（左逆）。由结合律
al = al·e = al·(a·ar) = (al·a)·ar = e·ar = ar，左右逆合一为 a−1。□
注 3.3. 此定理说明「圈」是「群」最接近的邻居之一：少一条结合律，多一整个新世界。而 §1.1 群定义的逆元公理若改成「左逆即右逆」的强形式其实冗余（结合律下左右逆自动合一）——公理化历史里 Huntington 1902 讨论过最小公理集，正是这类「哪些公理能删」的问题催生了本册的谱系眼光。
3.2 非结合的例子从哪来
- 数值剧本 C 的最小例子：5 阶 reduced 拉丁方中，除了 ℤ5 的群表，其余都是非结合圈。脚本枚举找到的第一张非结合 5 阶圈的表如下（元素 0 为圈单位元），结合律在 (1,1,2) 处崩塌：1∘(1∘2) = 4 ≠ 2 = (1∘1)∘2。
0 1 2 3 4 （第 0 行 / 第 0 列为恒等，每行每列皆 0–4 的重排） 1 0 3 4 2 2 3 4 0 1 3 4 1 2 0 4 2 0 1 3
- 八元数的单位球面：取实数上的 8 维合成代数（八元数）O，其单位范数元全体是乘法下的圈（Moufang 圈），不结合但满足弱化的 Moufang 恒等式——它是「乘法单位球」中唯一非结合的例子（Hurwitz 1898：ℝ、ℂ、ℍ 的单位球分别给出 S0、S1、S3，都是群；S7 = O 的单位球只能做圈）。详见其五（自同构 G2）与本册第六节。
- Steiner 三元系：七个点的 Fano 平面（v = 7 的 STS），对 a ≠ b 定义 a∘b = 含 {a,b} 那条线的第三点，a∘a = a，得到幂等交换拟群——每对元素恰好「解出」第三点。
- 有限域上的拟群：F_q 上 a·b = αa + βb（α, β ∈ F_q×）给出拟群（左乘 x ↦ αx + βb 是仿射置换），它们正交配对时给出正交拉丁方（第四节）。
3.3 圈理论为何重要：从射影平面到密码学
圈是「无结合律的群」，研究它的动机大半来自它出现的场景：
- 射影平面：有限射影平面 PG(2, q) 的直线在去掉一条无穷远直线后，在仿射坐标下诱导一个「加法」；是否可结合对应平面是否可坐标化（Desargues 性质）。Moufang 1935 正是在研究「Moufang 平面」（可坐标化的弱平面）时发现八元数给出的非结合圈——非结合性在这里是几何性质而非病态。
- 拉丁方幂等性与组合设计：正交拉丁方的存在性 = 仿射平面 / 3-网的存在性（第四节），是组合设计理论的核心对象。
- 密码学与编码：拟群运算作为「非结合的混淆层」进入流密码与散列设计；拟群的「无结构」让代数攻击更困难——这是「弱结构 = 强安全」的反直觉例子。
- 数学物理：Moufang 圈与 Malcev 代数出现在弦论与量子代数的背景中（八元数相关的例外结构）。
四拉丁方：群论表格式的「正字法」
定义 4.1. n 阶拉丁方是 n×n 阵列，每行每列都是 n 个符号的排列。两个拉丁方 L, M 称为正交的，若所有有序对 (L(i,j), M(i,j)) 恰好互异（覆盖全部 n2 种可能）。
与拟群的一一对应：给定 n 阶拟群 (Q, ·)，把元素排成固定顺序，乘法表即 n 阶拉丁方；反过来，拉丁方的每行每列都是置换 ⟹ 任意 a, b：第 a 行中 b 出现在唯一列，即 a·x = b 有唯一解；列方向同理。故（在重新命名符号的意义下）拟群 ⟺ 拉丁方，拟群理论 = 拉丁方的「代数翻译」。群的乘法表因此自动给出「群拉丁方」——但拉丁方远远多于群表：5 阶 reduced 拉丁方有 56 个，而 5 阶群只有 1 个。
教材接口。 §1.1 里「群表每行每列是重排」这一性质（来自消去律 / 双射），在拉丁方语言里就是「群表是一个强化了结合律的拉丁方」。第一章习题常让读者补全乘法表（已知部分行求全体），本质是在做「拉丁方加结合律」的约束满足问题。
4.1 正交拉丁方与欧拉的 36 军官问题
问题（Euler, 1782）。 36 名军官，来自 6 个军团、每团 6 个军衔（一衔一名），能否排成 6×6 方阵，使每行每列恰好含每个军团一次、每个军衔一次？ 翻译. 按军团填一张 6 阶拉丁方、按军衔填另一张，要求两两正交——问题变成「6 阶正交拉丁方对是否存在」。Euler 猜 n ≡ 2 (mod 4) 时不存在；Tarry 1900 手工穷举确认 n = 6 确实无（36 军官问题答案：不能）；但 Bose–Shrikhande–Parker 1960 证明除 n = 2, 6 外，一切 n ≡ 2 (mod 4) 都存在正交对——欧拉猜想几乎全错，错得惊天动地。□
定理 4.2（有限域构造）。 设 q = pk 是素数幂。对每个 a ∈ F_q×，定义 F_q 上的拉丁方 La：La(x, y) = ax + y。则 a ≠ b 时 La 与 Lb 正交。 证明. 固定 (u, v)，联立 ax + y = u、bx + y = v 相减得 (a − b)x = u − v，因 a − b ≠ 0 在域中可逆，x 唯一，进而 y 唯一——每对 (u, v) 恰被一对 (x, y) 实现，正交。□
注 4.3. 于是 q ≥ 3 时至少存在 q − 1 个两两正交的拉丁方（MOLS(q) ≥ q − 1，MacNeish 1922 对合数阶给出乘积下界）。数值剧本 D 在 F3（取 a = 1, 2）与 F5（取 a = 1, 2 与 1, 3）验证有序对覆盖全部 q2 种。特别地 F5 给出 5 阶正交对，F4 给出 4 阶正交对；而 6 ≡ 2 (mod 4) 且 6 不是素数幂——两种「坏」撞在一起，36 军官无解。
4.2 拉丁方出现在哪里
- 实验设计：n 种处理、n 行（区块）、n 列（位置），拉丁方设计使每个处理在每行每列恰好一次，是农业与临床试验的经典设计（Fisher–Yates 引入随机化）；行 × 列两个方向的干扰同时被均衡。
- 纠错码：正交拉丁方对 ⟺ 最大距离可分码（MDS code）与 n-网：q − 1 个 MOLS(q) 给出 q2 长、q + 1 维的 Reed–Solomon 型码的几何（有限射影平面 PG(2,q) 的仿射版本）。
- Sudoku：9 阶拉丁方加上 3×3 块约束；解的唯一性 / 对称群（其五）是近年流行数学的入口。
- 拉丁方与群的相伴：「群拉丁方」在全体拉丁方中的占比随 n 迅速趋零（随机拉丁方几乎都不来自群），这与其八的「随机结构的刚性」主题呼应。
4.3 迷您数字对照（全部来自数值剧本）
A. 群表是拉丁方 : S3 的 6×6 凯利表行列皆置换、且结合 : True B. 有限消去半群定理(n=3): 满足结合+双侧消去的 3 元表 3 张，全部成群； 3 = 6/|Aut(ℤ3)| 恰为 ℤ3 之唯一同构类 : True C. 5 阶非结合 loop : 找到，结合律反例 (1∘1)∘2 = 2 ≠ 4 = 1∘(1∘2) : True D. 正交拉丁方 F3/F5 : (1,2) 于 F3；(1,2)、(1,3) 于 F5 均正交 : True 四项数值探索全部通过 ✓
五术语考古：magma、群胚、拟群、圈的一次命名历险
本册用到的几个名字在历史上纠缠不清，理清它们本身就是一堂数学文化课——术语是理论的分水岭，命名之争是概念之争的化石。
- 「二元运算 + 什么都不要求」叫什么？ van der Waerden 的《Moderne Algebra》（1930）用德文 Gruppoid 指「带一个二元运算的集合」；Bourbaki 早期沿用，但在《Algèbre》第 I 章（1970）改用新词 magma（拉丁语「物质/面团」）——因为「群胚」这个位置已被抢占（见下一条）。中文旧译「广群/群胚」，现代倾向把「magma」译作「原群」或「岩浆」（magma 本义），把「groupoid」留给范畴论。
- groupoid 的三重生命：① 20 世纪初至中叶（van der Waerden、早期 Bourbaki）：二元运算集 = 今日的 magma；② Brandt（1927）：在研究代数数论（二次型的合成）时提出「Brandt 群胚」——装备部分二元运算、满足群公理的「可逆版本」的广群，用于把群的分解定理推广到「可分对象」；③ 现代范畴论：态射皆可逆的小范畴（Ehresmann 学派 1950s 起发扬）。三种用法至今并行于文献，阅读老书时务必按年代判断。
- quasigroup（拟群）：Dickson 1905 年在一篇论文里用该词指「除法可解但不要求结合的代数」（他研究有限域上的例子）——这是从拉丁方研究脱胎的命名。中文「拟群」暗合 quasi- 的「拟似」，极贴切：它把群的「除法面」单独保留。
- loop（圈）：归功于 A. A. Albert（1943 前后的《Quasigroups》系列论文）为「带单位元的拟群」定名。词源是「闭合回路」：单位元使每个元素可以「绕一圈回到自己」，暗示非结合世界里仍有「局部群性」。中文译「圈」对应「闭合」，恰与 loop 本义相合。Ruth Moufang（1935）的工作早于命名，她把射影平面里出现的非结合结构做成系统的「Moufang 圈」理论。
- 为什么这值得记？ 同一个数学对象（群表去掉结合律）在四个传统里被命名四次，说明它被独立发现四次：组合学（拉丁方）、代数（拟群）、几何（3-网）、物理（八元数单位球）。命名史是「哪些领域曾各自为政」的最诚实的档案。
对照 5.1（教材口径）。 《代数学基础（下）》沿用主流中文教材：不说「magma」，直接以「集合上的二元运算」开篇（§1.1）；「变换群」「置换群」等词与历史一致。本册的谱系术语（幺半群、拟群、圈）若在后续文献中见到，以上考古可作坐标。
六延伸图景：本册的四个出口
- 出口一 · 正则半群与逆半群（→ 其二）。 半群里的「弱逆」：a 称为正则的，若 ∃ b：aba = a。全部元素正则的半群叫正则半群；若每个 a 的「逆」唯一，叫逆半群——它精确编码「部分双射」（只定义在子集上的可逆变换）的代数，有 Wagner–Preston 定理（1952/54）：每个逆半群同构于某个对称逆半群 I(X) 的子半群——凯利定理在「部分」世界的翻版。格林关系（R、L、J、D、H）把半群按「可互达性」分层，是其二的正式主题。
- 出口二 · 八元数与例外李群（→ 其五）。 八元数 O 是 ℝ 上唯一的非结合可除代数（Hurwitz 1898 分类合成代数）。它的单位球 S7 是 Moufang 圈；而 Aut(O) 是 14 维例外紧李群 G2——「非结合代数的最小例外对称」直接催生了 Cartan 的例外李群。群论因此借非结合代数之手把触角伸进微分几何与理论物理。其五将系统考察「Aut 群」。
- 出口三 · 拉丁方、设计与有限几何。 q − 1 个 MOLS(q) ⟺ 仿射平面 AG(2, q) ⟺ 可坐标化的 3-网。有限域的算术在这里以「表格」的形态重现。设计的自同构群（其五、其八）反过来又用第一章的群论工具研究「谁在保持这些表格的对称」。
- 出口四 · 半群与自动机。 正则语言的句法幺半群（Myhill–Nerode）把「一个语言」编码成一个有限幺半群；自动机 = 有限幺半群的「作用」（与第一章群作用完全平行的概念）。这一支通往其二与形式语言，也通向其九的自由幺半群。
七本册可带走的三句话
1. 群是「结合律 × 可除性」两张独立公理的交点；撤走任何一张，您落进一个有名字、有深度、有应用的邻居领域。 2. 「单位群」构造 U(·) 与凯利定理的幺半群版告诉您：第一章的定理常常只需要比群更少的公理；把证明拆开看，每条公理各自承担哪一步，是理解群论论证的最好训练。 3. 拉丁方是群表的「没有结合律的底片」；正交拉丁方的存在性是一个跨 Euler（1782）到 Bose–Shrikhande–Parker（1960）两百年的大问题，而有限域一行代码就给出最优构造——代数结构的存在性往往是「域算术」的表象。
八阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§1.1（群的公理与基本性质）、定理 1.7.3（凯利定理）——本册每节的「教材接口」框即回指这些位置。
- 半群与幺半群：J. M. Howie, Fundamentals of Semigroup Theory, OUP 1995（现代标准参考，含有限消去半群定理与格林关系的系统处理）；A. H. Clifford & G. B. Preston, The Algebraic Theory of Semigroups, AMS 1961（经典两卷）。
- 拟群、圈与拉丁方：H. O. Pflugfelder, Quasigroups and Loops: Introduction, Heldermann 1990；R. H. Bruck, A Survey of Binary Systems, Springer 1958（圈理论的奠基性综述）。拉丁方组合论：J. Dénes & A. D. Keedwell, Latin Squares and their Applications, 2nd ed., Elsevier 2015。
- 正交拉丁方与欧拉猜想：Bose, Shrikhande, Parker, Further results on the construction of mutually orthogonal Latin squares and the falsity of Euler's conjecture, Canad. J. Math. 12 (1960) 189–203；Euler 1782 原文见其《Recherches sur une nouvelle espèce de quarrés magiques》。
- 术语史与公理化运动：I. Kleiner, A History of Abstract Algebra, Birkhäuser 2007；E. V. Huntington, Simplified definition of a group, Bull. AMS 8 (1902)；Brandt 1927 论文见 Math. Ann. 96；Bourbaki, Algèbre, ch. I（1970）「magma」词条与说明。
- 八元数与 G2：J. Baez, The Octonions, Bull. AMS 39 (2002) 145–205（可读性极佳的综述，含 Moufang 圈与 G2 的入门叙述）。
《代数学基础（下·第 2 版）》第一章补充读物 · 群论专题读本其一 ｜ 九章格数学 ｜ 第 2 版 · 2026