半群、子群、商群这三个词摆在一起很多人第一反应就是抽象、记不住、证不出来。我刚开始啃抽象代数那阵子也是这样半群看完觉得这不就是少了个单位元吗子群能照着判定定理验一到商群就彻底卡壳——为什么非要正规子群陪集相乘到底哪里会出问题后来写了不少有限群的验证代码又把教材翻来覆去看了几遍才慢慢把这条线打通半群回答最少需要什么条件才能谈结构子群回答结构内部能切出多大的自洽小块商群回答怎么把差别不大的东西粘成一类还不破坏运算。这篇内容适合三类人看正在学抽象代数、被证明题折磨的学生需要用到群论工具做编码、密码、图形学、量子计算的工程人员以及只想搞明白这套抽象玩意儿到底在描述什么的普通读者。我会按概念链、判定方法、构造过程、代码验证、踩坑记录的顺序展开里面的代码都能直接跑例子都能手算复核。1. 先把概念地图铺开从半群到群的这条链1.1 为什么抽象代数要从一个集合加一个运算讲起抽象代数最反直觉的地方是它把数学对象里所有具体的东西都剥掉了只留下两样一个集合一个二元运算。没有加法没有乘法没有大小只有两个元素进去一个元素出来这个动作。听起来贫瘠得可怜但正是这种贫瘠让它变得万能——同一个定理套在整数加法上成立套在正方形旋转上成立套在置换上、矩阵上、字符串拼接上也成立。一旦只剩下集合和运算马上就得回答三个问题运算结果还在集合里吗封闭性运算的顺序会不会影响结果结合律有没有什么都不做的元素和能抵消的元素单位元与逆元。这三个问题层层递进正好对应半群、幺半群、群三级结构。我建议大家在学习时把这条链当成一张能力解锁表来看每加一条公理就解锁一批新定理反过来一旦你想用的定理依赖某条公理就必须先确认它成立。很多人证明卡住不是不会推而是用了没验证过的性质——比如在只有半群结构的地方擅自做除以一个元素的操作那当然推不动。这里有个很实用的思维习惯看到一个代数结构先问它到底有几条公理再问我要用的结论需要几条公理。两者对不上证明就有漏洞。这个习惯比背定理本身重要得多。1.2 半群、幺半群、群的三级跳把三级结构的定义摊开对比一眼就能看出各自缺什么结构封闭性结合律单位元逆元典型例子半群要求要求不要求不要求正整数加法、字符串拼接、方阵乘法幺半群要求要求要求不要求自然数加法、含空串的字符串集合、n阶方阵群要求要求要求要求整数加法、非零有理数乘法、可逆矩阵、置换群关键是理解每条公理去掉之后会失去什么。去掉单位元你就没法谈幂的零次方也没法定义元素的阶去掉逆元你就没法做消去方程 axb 未必有解。反过来加上逆元之后一大堆结论才开始成立消去律、逆元唯一、元素的阶整除群阶、拉格朗日定理、同态基本定理全都建立在每个元素都能被抵消这个基础之上。我特别想强调一点结合律是最容易被忽略、却最不该被忽略的一条。它看起来最无害实际上承担了几乎所有括号可以随便加的推论。你写 a·b·c 时不加括号靠的就是结合律。一旦运算不结合连三个元素相乘这个概念都变得含糊。1.3 几组必须手算一遍的经典例子光看定义没用抽象概念必须靠具体例子锚定。下面这几组我建议每个人都亲手验证一遍五分钟的事但对后面理解帮助极大(Z, )整数加法群。单位元 0a 的逆是 -a。它的子群全是 nZ 形式这一点后面讲子群时会用到。(N, )自然数加法只到幺半群。有 0 做单位元但 3 没有逆-3 不在 N 里。(Z, ×)整数乘法也是幺半群。单位元是 1但 2 的逆 1/2 不在 Z 里。(Q{0}, ×)非零有理数乘法群。这里能看出把不可逆的元素踢出去是造群的标准手法。n 阶实方阵 矩阵乘法幺半群不可逆矩阵让逆元公理失效把范围缩到行列式非零的矩阵就成了一般线性群这是最有用的群之一。字符串集合 拼接自由幺半群。空串是单位元但abc没有逆你没法把拼上去的字符删掉。集合 X 上全体映射 复合幺半群只取双射就得到对称群这是有限群理论的万能母体。这张清单的价值在于它告诉你半群不是残缺的群而是大量真实结构的自然状态。矩阵半群、变换半群、自动机的状态转移半群都是工程里真会碰到的东西它们本来就不可逆硬要凑成群反而不自然。2. 半群最朴素的代数结构也是最容易被轻视的2.1 结合律到底在管什么结合律说的是 (a·b)·c a·(b·c)。它管的事情非常具体让你可以省略括号。三个元素相乘时不必纠结先算哪一对四个、五个也一样。这个性质一旦成立你才能定义元素的 n 次幂——a³ 到底是 (a·a)·a 还是 a·(a·a) 不用管反正一样。反过来不结合的运算多得是。减法就不结合(5-3)-1 1而 5-(3-1) 3。三维向量的叉积也不结合这也是为什么叉积写出来必须带括号。实数上定义 a*b (ab)/2 也不结合虽然它看起来很正常。这些反例提醒我们结合律不是天上掉下来的是必须验证的。判断一个具体运算是否结合标准手法是两边展开对比但更聪明的做法是把运算翻译成已知结合的操作。矩阵乘法结合是因为它本质上对应线性映射的复合而函数复合天然结合置换乘法结合同样是因为它就是双射的复合。能识别出这个运算其实是某种复合结合律就自动免费获得了。这个技巧在考试和实际建模里都极好用。注意验证封闭性时别只看几个元素就下结论。有限集合可以逐个穷举无限集合必须给出一般性论证。我见过有人用112 还在集合里来证明封闭这是典型的以例代证。2.2 半群的真实来源不只是教材里的玩具半群在纯数学里常被当成群的预备知识但它在计算机领域的存在感其实很强只是换了个名字出现。第一类是变换半群。一个集合 X 上所有映射在复合运算下构成半群通常记为 T(X)。它不可逆因为映射不一定是一一对应。程序里的状态机、数据结构里的映射表本质上都在这个半群里活动。当你写 map、filter 这类操作时如果函数不是双射那这次变换就丢失了信息永远回不去——这正是不可逆的工程含义。第二类是自由幺半群。给定一个字母表所有有限长字符串在拼接运算下构成自由幺半群空串是单位元。它是编译原理里词法分析的基础模型也是所有序列处理的理论原型。所谓自由意思是这个结构里除了拼接规则之外没有任何额外约束两个字符串相等当且仅当逐字符相同。第三类是自动机的转移半群。一个有穷状态自动机每个输入字符诱导一个状态到状态的映射这些映射在复合下构成一个有限半群。研究这个半群的结构有没有幂等元、有没有零元、理想链怎么排可以直接推出自动机的一些性质。这是形式语言理论里很实用的一条路只是入门教材往往一笔带过。2.3 幺半群里那几个看起来显然却必须证的结论从半群升到幺半群多了单位元立刻能证出几条常用结论它们的证明短但思路值得体会单位元唯一。假设 e 和 e 都是单位元则 e e·e e。两步搞定用的全是单位元定义。可逆元素的逆唯一。若 a·b e 且 a·c e则 b b·e b·(a·c) (b·a)·c e·c c。注意中间用了结合律这就是为什么半群阶段证不了。逆的乘积反序。(a·b)⁻¹ b⁻¹·a⁻¹。这个反序规则和矩阵求逆、函数求逆完全一致因为它们本来就是同一件事。这几条结论的重要性在于它们保证了逆是一个良好定义的一元运算你才可以放心地写 a⁻¹ 而不担心指代不明。很多人做题时直接拿逆的唯一性来用其实背后是有证明支撑的。提示在幺半群里a 可逆和a 有逆元是一回事但a 有左逆和a 有右逆不是一回事。有限幺半群里左逆右逆会互相推出无限情形下会翻车这个坑在函数复合半群里能构造出反例。3. 子群怎么从一个大群里切出一个小群3.1 判定子群的三种打法各有各的适用场景设 H 是群 G 的非空子集要证 H 是子群常见三条路三步法验证单位元在 H 里、对乘法封闭、对取逆封闭。最笨但最稳适合初学者和教学场景。缺点是每次都要单独验单位元写起来啰嗦。两步法验证非空、对乘法封闭、对取逆封闭。省掉单位元那一步因为非空加上取逆封闭任取 a∈H 就有 a⁻¹∈H再由乘法封闭得 a·a⁻¹ e ∈ H。这一步推导很值得记它体现了公理之间可以互相导出的思想。一步法验证 H 非空且对任意 a, b ∈ H 有 a·b⁻¹ ∈ H。这是最精简的判据一步到位。它同时打包了乘法和逆取 b a 得 e ∈ H取 a e 得 b⁻¹ ∈ H再取 b 换成 b⁻¹ 就得到 a·b。我自己做题的习惯是如果 H 是显式给出的元素集合用一步法最快如果 H 是某种满足某条件的元素全体用两步法更自然因为封闭性往往能从条件直接推出。比如所有行列式为 1 的实矩阵验证 AB⁻¹ 的行列式仍为 1 就是一行的事。3.2 生成子群与元素的阶最小的那个自洽块给定群 G 和一个子集 S包含 S 的最小子群叫由 S 生成的子群记作 ⟨S⟩。它的元素就是 S 中元素及其逆的所有有限乘积。这个概念之所以重要是因为它把从几个种子长出一整个结构这件事形式化了。如果 S 只有一个元素 a得到的就是循环子群⟨a⟩ {aⁿ : n ∈ Z}。元素 a 的阶定义为使 aⁿ e 成立的最小正整数 n如果不存在这样的 n就说是无限阶。有限群里每个元素都有有限阶这一点由拉格朗日定理直接推出⟨a⟩ 是子群其阶等于 a 的阶必须整除 |G|。由此得到一条极其常用的推论元素的阶整除群的阶。在 6 阶群里不可能出现 4 阶元在 8 阶群里不可能出现 3 阶元。这条结论在做选择题、排除法判断子群阶数时特别好用。3.3 陪集把群切成大小相等的块设 H ≤ G取 a ∈ G集合 aH {a·h : h ∈ H} 称为 H 的一个左陪集a 叫代表元。右陪集 Ha 同理。陪集有三个基本性质理解它们商群就成功一半第一任意两个左陪集要么相等要么不交。因为若 aH ∩ bH 非空存在公共元素 a·h₁ b·h₂于是 b a·h₁·h₂⁻¹ ∈ aH进而 bH ⊆ aH对称地得到反向包含。第二所有左陪集大小相同都等于 |H|。因为映射 h ↦ a·h 是双射。第三全体左陪集构成 G 的一个划分。每个元素 a 都属于 aH因为 e ∈ H。三条合起来直接推出拉格朗日定理|G| |H| 乘以不同左陪集的个数。这个个数叫 H 在 G 中的指数记作 [G:H]。推论很多最常用的两条子群的阶整除群的阶指数为 2 的子群必然是正规子群因为左陪集只有两个补集只能是另一个左右陪集必重合。注意拉格朗日定理的逆命题不成立。|G| 有某个因数不代表一定有对应阶的子群。最小的反例是 12 阶的交错群 A₄它有 6 个元素但没有 6 阶子群。这个反例在教材里通常放在习题但考试很爱考。3.4 正规子群商群的门票子群不一定对称。对 a ∈ G 和 h ∈ H元素 a·h·a⁻¹ 未必落在 H 里。如果对任意 a ∈ G 都有 aHa⁻¹ ⊆ H就称 H 是 G 的正规子群记作 H ⊴ G。几个等价的刻画必须记牢因为做题时挑最好用的那条判定方式表达式什么时候最好用共轭封闭任意 g, h有 g·h·g⁻¹ ∈ H元素形式清楚直接算左右陪集相等任意 g有 gH Hg已经算出陪集顺手判断内自同构稳定gHg⁻¹ H理论证明构造同态时用注意第三条写的是包含就够不需要等式。因为 aHa⁻¹ ⊆ H 对全部 a 成立把 a 换成 a⁻¹ 就得到反向包含。这个小技巧能省不少笔墨。三个必须形成条件反射的结论交换群的所有子群都正规因为 g·h·g⁻¹ h指数为 2 的子群必正规同态的核一定正规。前两个是快速判断工具第三个是通往同构定理的桥梁。反过来非正规的例子也得记一个。3 次对称群 S₃6 阶里取 H {e, (1 2)}。这个 H 是 2 阶子群指数 3。它不是正规的取 a (1 3)则 (1 3)(1 2)(1 3)⁻¹ (2 3)而 (2 3) 不在 H 里。同样地另外两个 2 阶子群 {e, (1 3)}、{e, (2 3)} 也都不正规。S₃ 里真正正规的子群只有三个平凡子群、整个群、以及 3 阶的 A₃。4. 商群把差一点点一样的东西粘成一类4.1 从等价关系到商集再到商群的三层结构商群的构造拆开看是三步每一步都有明确目的第一步用子群 H 在 G 上定义等价关系a ~ b 当且仅当 a⁻¹b ∈ H等价类恰好是左陪集。这一步把相差一个 H 中元素视为同一种东西。第二步把等价类收集起来得到商集 G/H元素是陪集而不是原群元素。这是最容易出错的地方——商群的元素是集合不是元素。很多人第一次写 Z/6Z 的加法表时会把 [1][5] 写成 6正确写法是 [0]。第三步在商集上定义运算 [a]·[b] [a·b]然后证明这个定义不依赖于代表元的选取。第三步就是所谓的良定义性也是正规性登场的地方。4.2 为什么偏偏是正规子群一个必须手算的反例如果 H 不是正规子群第三步会直接崩掉。我拿 S₃ 里那个 2 阶子群 H {e, (1 2)} 走一遍看得最清楚。取 a b (1 3)。按定义 [a]·[b] 应该是 [a·b] [(1 3)(1 3)] [e] H。但陪集乘法真正的定义是从两个陪集里各取一个元素相乘所有可能的积组成的集合。aH {(1 3), (1 3)(1 2)}这里 (1 3)(1 2) (1 2 3)所以 aH {(1 3), (1 2 3)}。把四个组合的积都算出来e·e 得 (1 3)……换一种更清楚的写法直接列出 {a·h₁·b·h₂} 的取值会得到 e、(1 2 3)、(1 3) 这三个不同的元素既不等于某一个左陪集大小也不是 2。结论很干脆不正规的子群其陪集乘法根本不是一个良定义的二元运算你换个代表元乘出来的集合都变了。所以商群的存在性完全依赖正规性这不是教材故意加难度而是逻辑上的硬约束。提示判断良定义性时标准套路是设 a a·h₁b b·h₂证明 ab 与 ab 只差一个 H 中的元素。正规性正好提供 h₁·b b·h₃ 这样的交换补偿把 h 从中间挪到边上。这个挪动就是整个证明的技术核心。4.3 同态、核与第一同构定理群同态 φ: G → G 是保持运算的映射即 φ(a·b) φ(a)·φ(b)。由此可以推出一串性质φ(e) eφ(a⁻¹) φ(a)⁻¹核 ker φ {a : φ(a) e} 是 G 的正规子群像 im φ 是 G 的子群。第一同构定理说G/ker φ ≅ im φ。它的价值在于任何同态的像都能被理解成一个商群。这条定理是群论里使用频率最高的工具之一遇到证明某两个群同构的题目百分之八十的思路是构造一个满同态然后算出核。举个最短的例子(Z, ) → (Z_n, )把 k 映到 k mod n。这是满同态核是 nZ于是 Z/nZ ≅ Z_n。短短两行把整数模 n这件事的本质说清楚了它不是人为规定的同余规则而是一个商群。再举一个行列式 det: GL_n(R) → (R{0}, ×) 是满同态核是行列式为 1 的矩阵全体也就是特殊线性群。于是 GL_n(R)/SL_n(R) ≅ R{0}。这个结论在几何上很直观可逆矩阵按体积缩放倍数分类同一类里差一个保体积的变换。商群就是在数缩放倍数。4.4 三个能背下来的商群算例第一个Z/6Z。6 阶循环群子群与 6 的因数一一对应阶为 1、2、3、6。取 H {0, 3}商群有 3 个元素{0,3}、{1,4}、{2,5}加法表就是模 3 加法表同构于 Z₃。取 H {0,2,4}商群 2 个元素同构于 Z₂。第二个S₃/A₃。A₃ {e, (1 2 3), (1 3 2)} 是 3 阶子群指数 2正规。商群只有两个元素任何 2 阶群都同构于 Z₂所以 S₃/A₃ ≅ Z₂。这个商群的直观含义是置换的奇偶性两个偶置换乘起来是偶的偶乘奇得奇正好是 Z₂ 的加法。第三个正方形对称群除以旋转子群。8 阶的正方形对称群里有 4 个旋转转 0°、90°、180°、270°构成的正规子群商群 2 阶同构于 Z₂两个元素分别代表保持朝向和翻转朝向。而 4 个反射构成的集合不是子群两个反射复合是旋转单个反射生成的 2 阶子群又不正规这两个都是很好的反面教材。5. 用代码把抽象结构算出来5.1 为什么值得动手写一遍纸笔证明能锻炼逻辑但有限群的很多结论靠手算容易出错尤其是置换复合的方向、陪集的划分、商群乘法表的封闭性。用几十行 Python标准库就够不需要任何第三方包把这些结构造出来让机器替你检查封闭性、逆元、拉格朗日条件能省下大量怀疑自己算错的时间。 BigInteger 之类的东西都不用纯元组操作。我用置换表示群元素一个置换是长度为 n 的元组 p约定 p 表示位置 i 上的东西被送到位置 p[i]。复合定义为 (p∘q)[i] p[q[i]]也就是先做 q 再做 p。5.2 构造对称群并验证群公理from itertools import permutations, combinations def mul(p, q): return tuple(p[q[i]] for i in range(len(q))) def inv(p): r [0] * len(p) for i, v in enumerate(p): r[v] i return tuple(r) n 3 G sorted(permutations(range(n))) e tuple(range(n)) def check_group(G): for a in G: for b in G: if mul(a, b) not in G: return False, 封闭性失败 if e not in G: return False, 缺少单位元 for a in G: if not any(mul(a, b) e for b in G): return False, 存在元素无逆 return True, 群公理通过 print(len(G), check_group(G))跑出来是 6 个元素、公理通过。注意这里我只验了封闭、单位元、逆元结合律没验——因为置换复合的结合律是已知的。如果换成自定义的运算就必须补一步三重循环验证结合律代价是 O(n³)元素多的时候会明显变慢。5.3 枚举所有子群并核对拉格朗日条件def is_subgroup(H, G): H set(H) if not H or not H set(G): return False if e not in H: return False for a in H: for b in H: if mul(a, b) not in H: return False for a in H: if inv(a) not in H: return False return True subs [] for k in range(1, len(G) 1): for comb in combinations(G, k): if is_subgroup(comb, G): subs.append(frozenset(comb)) for s in sorted(subs, keylen): print(len(s), sorted(s), 整除检查:, len(G) % len(s) 0)S₃ 会输出 6 个子群1 个 1 阶、3 个 2 阶、1 个 3 阶、1 个 6 阶。每一个的阶都整除 6拉格朗日条件全部满足。这段代码还有个副产品你能亲眼看到2 阶子群有三个正好对应三个不同的对换为后面判断正规性提供了素材。5.4 陪集分解与商群乘法表def left_coset(a, H): return frozenset(mul(a, h) for h in H) def right_coset(a, H): return frozenset(mul(h, a) for h in H) def is_normal(H, G): return all(left_coset(a, H) right_coset(a, H) for a in G) def quotient_table(G, N): cosets [] for a in G: c left_coset(a, N) if c not in cosets: cosets.append(c) reps [sorted(c)[0] for c in cosets] table, ok [], True for a in reps: row [] for b in reps: prod left_coset(mul(a, b), N) if prod not in cosets: ok False row.append(未定义) else: row.append(cosets.index(prod)) table.append(row) return cosets, table, ok N frozenset({(0, 1, 2), (1, 2, 0), (2, 0, 1)}) # 3 阶循环子群 print(正规吗:, is_normal(N, G)) cosets, table, ok quotient_table(G, N) print(陪集个数:, len(cosets), 良定义:, ok) for row in table: print(row)这段跑出来3 阶子群是正规的商群两个元素乘法表就是 Z₂ 的加法表。把 N 换成frozenset({(0,1,2), (1,0,2)})也就是 {e, (1 2)}再跑一次会看到is_normal返回 False而quotient_table里出现未定义。这一正一反两组输出比看十页证明更能理解正规性是商群的门票。心得自己写验证代码时最容易错的是复合方向。p∘q 到底先做哪个一旦和教材约定不一致逆元会算错、子群会判错、正规性会判反。定好约定后在注释里写清楚别中途改。我当初就是因为这个debug 了一晚上。6. 常见问题与排查技巧实录6.1 概念混淆速查表学到后面最容易混的不是新概念而是几个旧概念之间那条细线。我把常被问到的整理成表混淆点常见错误理解正确认识半群与群半群是还没证完的群半群是独立结构矩阵半群、字符串半群本来就没有逆元子群与子集任意子集都能当子群必须自身成群封闭、含单位元、含逆元缺一不可陪集与子群aH 也是子群只有 a ∈ H 时 aH 才等于 H否则 aH 不含单位元正规与交换正规子群就是交换子群H 正规指共轭稳定H 本身完全可以非交换商群元素Z/6Z 的元素是 0 到 5元素是 6 个陪集写成 [0] 到 [5] 才准确拉格朗日逆命题阶数能整除就有子群不成立12 阶群可以没有 6 阶子群这张表的价值在于考试和面试里被追问的往往就是这几条边界。特别是陪集不等于子群这一条很多人第一次写 aH 时下意识以为它是子群结果连单位元都找不到。6.2 证明卡壳时的三条排查路径第一条检查公理够不够。卡住时回头数一数我现在用的是群的哪几条性质如果用了消去律那必须确认每个元素有逆如果用了 a² e 推出 a a⁻¹那没问题只用到定义但如果用了群阶是偶数则存在 2 阶元那得先确认群是有限的。公理不匹配是最高频的错误来源。第二条检查是不是把存在当成了任意。子群定义里对任意 a, b ∈ H和存在单位元经常被写混。特别是一步法 a·b⁻¹ ∈ H量词必须是全称取特殊值只能用来找反例不能用来证命题。第三条检查陪集的方向。左陪集和右陪集在非交换群里是不同的集合正规性要求它们相等。写证明时一会儿用 aH 一会儿用 Ha中途换了方向结论就飘了。我的习惯是全程只用左陪集需要右陪集时明确注明。6.3 几个踩过才知道的细节逆元不是倒数。抽象群里没有除法a⁻¹ 只是那个能和 a 乘出单位元的元素。在矩阵里它是逆矩阵在置换里它是反置换在模 n 加法里它是 n-a。写 a/b 在任何群里都是没有定义的操作看到题目里出现分式先想清楚它背后的乘法是什么。空集对乘法是封闭的。因为对所有 x, y ∈ ∅是空真命题。所以子群判定里的非空绝对不能漏漏了就会把空集判成子群而空集连单位元都没有。同态不要求单射。很多人第一次见同态就默认它是双射其实同态只管保持运算。真正双射的同态才叫同构而商群的整个理论恰恰建立在允许丢失信息的基础上——核越大丢的信息越多商群越小。指数为 2 必正规这条捷径要敢用。判断一个子群是否正规先看指数。只要 |G|/|H| 2直接下结论不用算共轭。这个技巧在选择题里能省一大截时间。商群的阶等于指数。|G/N| [G:N] |G|/|N|。算出子群阶数就能立刻知道商群多大反过来也能用商群大小反推子群大小。别把 Z/nZ 和 Z_n 当成两个东西。它们同构只是前者强调陪集的构造视角后者强调模 n 剩余类的计算视角。做题时按哪个方便用哪个但心里要清楚是一回事。7. 我自己的学习顺序建议如果让我重新走一遍这条路我会把顺序调成这样先用字符串拼接和矩阵乘法把半群、幺半群的手感建立起来重点体会没有逆元时哪些操作不能做然后拿 Z 和 Z_n 这两个交换群把子群、陪集、拉格朗日定理算熟因为交换群不会在左右陪集上纠缠能专心理解划分之后再上 S₃用这个最小的非交换群把正规子群和非正规子群各找一个亲手算一遍那个陪集乘法不良定义的反例最后才去碰同态和同构定理。这个顺序的好处是每一步只增加一个新难点。反过来一上来就在非交换群里讲商群学生会同时面对陪集是什么为什么左右不一样良定义怎么证三座山很容易直接放弃。代码在这里起的作用不是替代证明而是提供可信的计算结果当锚点。证明告诉你一定成立代码告诉你具体长什么样。两者结合抽象的东西才落得下来。我到现在遇到不熟悉的有限群第一反应还是先在纸上列出元素表再用代码把子群和商群跑一遍看着输出对一遍比空想快得多。最后分享一个小练习成本很低但收益不小拿 4 阶循环群和 4 阶的另一个群两个 2 阶元的直积各跑一遍上面的代码比较它们的子群格。你会发现两个群阶数相同但一个只有一个 2 阶子群另一个有三个。这说明阶数不能决定群的结构而子群格能。这个观察是通向群分类问题的第一小步也是我觉得抽象代数最迷人的地方——看似只有几条公理能长出的结构却丰富得惊人。
