← 返回读本目录
九章格数学 PhiloMath · K2C · 抽象代数配套

群论专题读本 · 其四

群论眼光下的线性方程组：解空间 = 核 + 特解

群论专题读本 · 其四《代数学基础（下·第 2 版）》第一章补充读物

本册定位。 第一章的核心定理——同态基本定理（§1.5）——说：同态 φ: G → H 的核 ker φ 是正规子群，商群 G/ker φ 同构于像 im φ。把这条定理「翻译」到线性代数，得到的就是一整套您早已熟悉的结论：线性方程组 Ax = b 的解集要么是空集，要么是「一个特解 + 齐次解空间」——齐次解空间正是 ker A，可解性正是 b ∈ im A，而秩-零化度定理 dim V = rank + nullity 正是第一同构定理穿上「维数」外衣。换句话说：中学以来学的「通解 = 特解 + 齐次通解」，本质上是群论的陪集结构在向量空间里的投影。本册把镜头逐层拉远：先看抽象群的同态纤维（第一节），再看有限域上的线性方程组（第二、三节），用第一同构定理把「解集的大小」算成干净的公式（第四节），然后一路推广到离散递推（第五节）、常微分方程（第六节）与 Sylvester 矩阵方程（第七节）——同一个「核 + 陪集」剧本，在 ℤm、F_pn、递推序列、函数空间、矩阵空间里轮番上演。

一纤维：把「解方程」翻译成「找原像」

群的定义本身就承诺了最简单的解方程：在群 G 里，方程 a·x = b 恒有唯一解 x = a−1·b——左右消去律保证唯一性。可一旦方程来自「结构保持」的映射，情况就变得有趣：映射的同态 φ 把 G 的乘法搬到 H，而我们要解的方程是

φ(x) = b　　（x ∈ G，b ∈ H 给定）

把 b 的全部原像 φ−1(b) 叫做 b 上方的纤维（fibre）。纤维理论只有三句话，却已经是同态基本定理的胚胎：

命题 1.1（同态纤维的结构）。 设 φ: G → H 是群同态，S_b = φ−1(b) = {x ∈ G : φ(x) = b}。 (i) 存在性：S_b ≠ ∅ ⟺ b ∈ im φ——方程有解当且仅当右端落在像里； (ii) 结构：若 x0 ∈ S_b 是任一特解，则 S_b = x0 · ker φ = {x0·k : k ∈ ker φ}——解集是核的一个陪集（线性语言：通解 = 特解 + 齐次解空间）； (iii) 计数：全体非空纤维彼此同尺寸 |ker φ|，把 G 剖成互不相交的纤维，故（有限时）|G| = |ker φ|·|im φ|——第一同构定理的计数雏形。

注 1.2（「线性」二字出现的时刻）。 命题对任意同态都对，但它依赖一条性命根子：φ(x1·x2) = φ(x1)·φ(x2)。一旦映射不保运算，纤维就乱套。脚本 A3 用 S3 的平方映射 x ↦ x2 做反例：它把 3-循环映到 3-循环、对换映到恒等，不是同态。此时「核」{x : x2 = e} 有 4 个元素（恒等 + 三个对换），却不是子群（两个对换的乘积是 3-循环，不在核里），而纤维大小参差不齐：恒等被 4 个元素平方得到，每个 3-循环只有 1 个平方根，三个对换则根本没有平方根（纤维大小集合 {0, 1, 4}）。教训：想让解集拥有「陪集」的整齐形状，映射必须是同态——这正是线性映射（保持加法）必然满足的条件。

数据表 1：同态方程的纤维（本册配套脚本 A 组） φ: ℤ12→ℤ6, x ↦ x mod 6　ker={0,6}；六个纤维各 2 元 = b+ker： [0,6],[1,7],[2,8],[3,9],[4,10],[5,11] ψ: ℤ12→ℤ12, x ↦ 3x mod 12　ker={0,4,8}，im={0,3,6,9}，|ker|·|im| = 3×4 = 12 b=3 的纤维 {1,5,9} = 1+ker；b=5 的纤维 ∅（5 ∉ im）——「可解」与「不可解」并存 S3 平方映射（非同态对照）：|{x:x2=e}|=4 却非子群；纤维大小集合 {0,1,4}

教材接口。 ① 命题 1.1 就是 §1.5 同态基本定理的「前两幕」：核正规、商群、同构是它的第三幕（本册第四、五节接着用）。② 「群中方程 ax = b 唯一可解」由 §1.1 的消去律而来——群的方程永远只有「唯一解」一种命运；而同态方程 φ(x) = b 则可能无解、可能多解，解集的形状由核掌管：核越大，方程越「不确定」。③ 非空纤维上 ker 通过左乘自由可迁地作用（平移一个核元素不改变 φ(x)），这种「主齐性空间」（torsor）结构将在其六（用 G-set 重写群作用）成为主角之一。

二Ax = b：一个加法群同态的方程

现在把 φ 换成矩阵。固定一个域 F（本册数值剧本主要取 F = F5 = ℤ/5ℤ，可穷举），A 是 m×n 矩阵。把向量空间 (Fn, +) 与 (Fm, +) 只看成加法群，则「左乘 A」是一个群同态：A(x + y) = Ax + Ay。于是第一节的语言逐词翻译：

翻译表（群论 ↔ 线性方程组）。同态 φ = 左乘 A：Fn → Fm　↔　线性映射　　ker φ = {x : Ax = 0}　↔　齐次解空间im φ = 列空间 col(A)　↔　可解的右端　　φ−1(b)　↔　方程组 Ax = b 的解集纤维 = x0·ker φ　↔　通解 = 特解 + 齐次通解　　|G| = |ker||im|（计数）　↔　|Fn| = |ker|·|col A|

注 2.1（不只是类比：就是同一条定理）。 命题 1.1 的证明逐字可用：若 Ax0 = b，则 Ax = b ⟺ A(x − x0) = 0 ⟺ x − x0 ∈ ker A。所以「两个解之差是齐次解」「解集平移封闭」「通解 = 特解 + 齐次解」不是线性代数的独立结论，而是同态纤维命题的特例——只额外用到了 A 是加法律同态（对向量成立 A(x+y) = Ax+Ay）。真正「线性」（数乘）的额外贡献只有一条：ker A 不仅是子群，还是子空间，于是解集是「仿射子空间」而非一般的陪集。

数据表 2：F5 上 3×4 方程组的纤维（B 组） A = [1 0 1 0; 0 1 0 1; 1 1 1 1]（秩 2，row3 = row1+row2），b = A·(1,2,0,3)T = (1,0,1)T |解集| = 25 = 52 = |ker A|；齐次解 x = (s, t, −s, −t)（F5 中 −1 = 4），s, t 自由 300 对「任两解之差」全部落入 ker；625 次「解 + ker 平移」全部留在解集内 解集 = x0 + ker A（集合相等）—— 通解公式被机器逐点证实

高斯消元在纤维理论里的角色。 消元法不过是「在同态的核与像之间行走」的算法：主元列告诉您 im A 由哪些列张成（以及哪些 b 可解），自由变量告诉您 ker A 的一组基（齐次解空间长什么样），回代则把特解找出来。教科书常把「解的结构」和「消元的步骤」分开讲；从本册视角看，消元法就是同态基本定理的算法实现——它每一步都在做一件事：把 V 剖成 ker 的陪集，再报告每个纤维里选哪个代表元。

教材接口。 翻译表里最右边一列，正是 §1.5 同态基本定理在向量空间上的「线性化」：同态像 ≅ 定义域 / 核。第一章讲商群 G/N 时把陪集当作「新元素」；这里 V/ker A 的每个陪集，恰好就是方程组的一个非齐次解集（当 b 可解时）——商空间不是抽象的，它就是「所有解集组成的集合」。若 b ∉ im A，那不是一个「空陪集」，而是根本没有对应的像元：解集只在 b 扫过列空间时存在。

三判据三件套：det 管唯一、Rouché 管存在、gcd 管个数

命题 1.1 把「解方程」拆成两个独立的小问题：b 是否落在 im φ 里？（存在性）与 ker φ 有多大？（唯一性 / 解数）。三个经典的判据正好各答一问，而它们骨子里都是「量核」：

判据一览。① det 判据（方阵唯一解）：A 是 n×n。ker A = 0 ⟺ det A ≠ 0 ⟺ 对每个 b，Ax = b 有唯一解。脚本 B6 穷举 F2 上全部 16 个 2×2 矩阵：恰 6 个（秩 2，即 GL2(F2)）满足「4 个右端全有唯一解」，与 det ≠ 0 完全重合。 ② Rouché–Capelli 判据（单个 b 的可解性）：b ∈ col(A) ⟺ rank[A | b] = rank A。脚本 B5 对 F5 上 3×4 秩 2 矩阵穷举全部 125 个右端：25 个可解（= |im|），且 rank 判据对这 125 个 b 全部判对；可解的 b 上方纤维都是 25 元。 ③ gcd 判据（模 m 的一次同余）：方程 ax ≡ b (mod m) 看成加法群同态 φ: ℤ_m → ℤ_m，x ↦ ax。核 = {x : ax ≡ 0} 恰有 g = gcd(a, m) 个元素；于是可解 ⟺ g | b，可解时解数 = g（脚本 C3：6x ≡ b mod 15，gcd(6,15) = 3——b ∈ {0,3,6,9,12} 各 3 解，b = 9 的解集 {4, 9, 14} = 4 + ker；其余 10 个 b 无解）。

注 3.1（一个视角：解数永远被核的尺寸整除）。 三件套统一读作：非空纤维全是 ker 的陪集，所以解数要么是 0，要么恰为 |ker|。det 判据断言 |ker| = 1 的情形（此时所有纤维都只有一点——对任意 b 唯一解）；gcd 判据给出 |ker| = g 时的解数公式；Rouché 判据则是「b ∈ im」的秩检验。第一章里 |G| = |ker|·|im| 一条公式，到这里分身为线性代数教科书的三章内容——这正是「用群论重看」的回报。

数据表 3：判据与核的尺寸（B6 / B5 / C3 组） F2 上 16 个 2×2 矩阵按秩分布：秩 2 者 6 个（GL2(F2)，det≠0）、秩 1 者 9 个、秩 0 者 1 个 秩 2 ⟺ 「4 个右端 b 全有唯一解」（穷举全对） F5 上 3×4 秩 2 矩阵：125 个 b 中恰 25 个可解 = |im| = 52；Rouché 判据 125/125 判对 一次同余 6x ≡ b (mod 15)：核 = gcd(6,15) = 3 元；b=9 的解集 {4,9,14}（相距 5 = 15/3）

教材接口。 判据③里的核 {x : ax ≡ 0 (mod m)} 与教材循环群的内容直接相连：ℤ_m 中元素 a 的阶是 m/gcd(a,m)，而「乘以 a」这个自同态的核大小恰是 g = gcd(a,m)——两者互补：a 的阶越大，乘 a 的核越小，方程 ax ≡ b 越接近唯一解。第一章里「元素的阶」「生成元」「子群的阶整除群的阶」在此处化身为同余方程的计数判据。

四第一同构定理的两副面孔：维数公式与商空间

命题 1.1 的第三幕是同态基本定理（§1.5）：G / ker φ ≅ im φ。这一节看它在「解方程」语境下的两副面孔——一副是线性的维数公式，一副是整数的计数公式（中国剩余定理）。

面孔一：秩-零化度定理 = 第一同构定理取维数。 对 A: Fn → Fm，商空间 V/ker A 的每个元素是一个解集（仿射子空间），维数为 nullity = n − rank；同构 V/ker ≅ im 两侧取维数，得到

n = rank(A) + nullity(A)脚本 B3 穷举 F2 全部 16 个 2×2 矩阵（rank + nullity ≡ 2），又随机取 20 个 F5 上 3×4 矩阵（rank + log5|ker| ≡ 4 = 列数）全数命中。有限域上的威力：|ker| = pnullity，于是解数可以从秩一眼读出。 面孔二：商空间双射（元素级验证）。 固定数据表 2 的 A（F5，3×4，秩 2）。把 F54 的 625 个向量按「像相同」分组：得到恰 25 组（= |im|），每组 25 元（= |ker|），且每组 = x0 + ker——商空间 V/ker 的 25 个「点」（陪集）与 im 的 25 个像元一一对应。这不是哲学，是一张可穷举的查表（B4 全对）。

注 4.1（中国剩余定理是整数的面孔二）。 固定互素的 m1, m2，环同态 φ: ℤ → ℤm1 × ℤm2，n ↦ (n mod m1, n mod m2)。它的核是 m1m2·ℤ（lcm = m1m2），于是第一同构定理给出 ℤ / m1m2ℤ ≅ ℤm1 × ℤm2——「模 m1m2 的一个剩余类」与「一对 (mod m1, mod m2) 剩余类」一一对应，即经典 CRT。不互素时（m1 = 4, m2 = 6）同态不满：像 = {(a,b) : a ≡ b (mod gcd = 2)}，共 12 对；可解判据是 a ≡ b (mod 2)，而解模 lcm = 12 唯一（在 0..23 内是相距 12 的两个整数，相差的 12 正是核的生成元）。C1/C2 对 24 + 15 = 39 组右端全部穷举判对。

数据表 4：第一同构定理的数值面孔（B3 / B4 / C1 / C2 组） 秩-零化度：F2 全部 16 个 2×2　rank+nullity ≡ 2；随机 20 个 F5 3×4　rank+nullity ≡ 4 = n 商空间双射：625 个向量按像分组 → 25 组、每组 25 元、每组 = x0+ker（V/ker ≅ im） CRT (4, 6)：24 组 (a,b) 中可解 12 组 ⟺ a ≡ b (mod 2)；每解类模 12 唯一 CRT (3, 5)（互素）：15 组 (a,b) 全部可解且模 15 唯一 ⟹ ℤ/15ℤ ≅ ℤ3 × ℤ5

教材接口。 本册至此的每一张表都是 §1.5 同构定理的一个投影：线性版投影出秩-零化度与「通解公式」，整数版投影出 CRT。把「同态 → 核 → 商 → 同构」抽象成不依赖具体对象的语言，就是其九（范畴论意义下自由对象）里 kernel 与 quotient 的普适构造——那里「商」将改名为余等化子（coequalizer），而「同构定理」将以更一般的形式对所有代数结构成立。

五扩展一：递推方程——解空间就是初值空间

把「解」从向量换成序列：二阶线性递推

xn+2 = a·xn+1 + b·x_n　　（如 Fibonacci：xn+2 = xn+1 + x_n）

全体解序列组成一个集合。它为什么是「2 维」的？因为递推是线性的：两解之和、解的倍数仍是解（叠加原理，D1 用三个解的随机线性组合逐项验证到 n = 20）；而初值 (x0, x1) 唯一决定整个解。于是「初值 ↦ 解」是解空间到 ℤ2（或 F_p2）的线性同构——解空间的维数 = 初值的个数 = 方程的阶数，与微分方程完全同构的剧本，只是把「函数」换成了「序列」。

状态矩阵：把递推变成矩阵幂。 记状态向量 v_n = (xn+1, x_n)T，则 vn+1 = M·v_n，M = [[a, b], [1, 0]]。解序列完全由 M 的幂决定：v_n = Mn·v0。于是「递推的周期」变成「矩阵的阶」：M 是 GL2 中的元素，解空间理论并入群论。Fibonacci 矩阵 M = [[1,1],[1,0]] 的特征多项式 x2 − x − 1；脚本 D2 算出它在 GL2(F11) 中的阶是 10、在 GL2(F5) 中的阶是 20——这正是 Fibonacci 数列模 11、模 5 的 Pisano 周期（10 与 20）。有限域上递推必然周期：状态对只有 p2 种可能，M 在有限群 GL2(F_p) 里的阶就是周期。

注 5.1（非齐次项：同一个陪集故事）。 加常数的递推 xn+2 = xn+1 + x_n + 1 是「非齐次」的。找一个特解：常值序列 x_n ≡ c 要求 c = c + c + 1，即 c = −1——特解取 x ≡ −1。于是通解 = −1 + (齐次解空间)：初值 x0 = x1 = 0 的解是 x_n = −1 + Fn+1，前 10 项 0, 0, 1, 2, 4, 7, 12, 20, 33, 54（D3 代入 n = 0..18 全满足）；任意两个非齐次解之差都是齐次解（差序列满足无常数项的递推）。「特解 + 齐次」再次出现——只是这次舞台是序列空间。

数据表 5：递推的解空间（D 组） 线性验证：三个齐次解的组合 2u+3v+w 逐项满足 xn+2=xn+1+x_n（n = 0..18） 状态矩阵 M=[[1,1],[1,0]] 的阶：mod 11 → 10，mod 5 → 20（= Fibonacci 的 Pisano 周期） 非齐次 xn+2=xn+1+x_n+1：特解 x ≡ −1；例 x0=x1=0 → 0,0,1,2,4,7,12,20,33,54（= −1+Fn+1）

教材接口。 ① 「M 在 GL2 里的阶」就是第一章「元素的阶」的一个具体大实例：有限群 GL2(F_p) 里的元素 M 满足 Mk = I，最小的 k 即周期。② 状态向量 v_n = Mnv0 把序列问题变成矩阵幂问题，是「凯利定理把群嵌入置换群」的线性同胞：把解空间嵌入到初值空间上的线性变换群。③ 特征多项式 x2 − x − 1 引出特征值——第二章多项式理论的预演。

六扩展二：常微分方程——无穷维空间里的同一出戏

舞台再换：解从有限长的向量、无限长的序列，变成函数。二阶常系数线性方程

y″ + y = 0　　（一般地 L y := y″ + p y′ + q y = f）

把 L 看成「函数空间上的线性算子」，则方程 L y = 0 的解空间就是 ker L——「核」一词在算子理论与群论里同名同构地相遇：都是被映射打到零的元素全体。微分算子的线性性（L(y1 + y2) = Ly1 + Ly2）来自导数算子的线性性，而导数的线性性又来自极限的线性性——叠加原理的链条可以一路追到实数完备性。

定理 6.1（y″ + y = 0 的解空间）。 全体实解恰为 span{sin t, cos t}（2 维），理由与递推完全平行：① sin、cos 都是解（代入即验）；② 初值 (y(0), y′(0)) 唯一决定解（解的存在唯一性定理），而 sin、cos 在 0 处的初值 (0,1)、(1,0) 线性无关，故解空间维数 = 2——初值空间的维数决定解空间的维数；③ Wronskian：sin·cos′ − cos·sin′ ≡ −1 ≠ 0，从判别式层面确认 sin、cos 在每一点都线性无关。 非齐次方程 y″ + y = 1 的解空间是仿射空间：常值函数 y ≡ 1 是特解（1″ + 1 = 1），于是通解 = 1 + span{sin, cos}——特解把整个齐次解空间平移一个向量。数值剧本 E 组用中心差分在 80 个采样点上验证：随机系数 A sin + B cos 的残差 |y″ + y| < 2×10−3，y ≡ 1 与 1 + A sin + B cos 对右端 1 同理满足。

注 6.1（常数变易法的群论读法）。 「常数变易法」求解 y″ + y = f 的经典套路是：设解形如 c1(t)·sin t + c2(t)·cos t，让「常数」变成函数。从本册视角看，这不过是把非齐次解空间（特解 + ker L）的参数化写开：先把特解找出来（纤维里的一点），再把齐次解空间（核）里的任意元素加上去；让常数随 t 变化，是为了应付右端 f 逐点变化时「纤维的形状」也跟着变。叠加原理 + 陪集结构的双重奏，在这里以最成熟的形态上演。

数据表 6：y″+y 的解空间（E 组，80 采样点中心差分） y″+y=0：随机 3 组 A·sin+B·cos 残差 |y″+y| < 2×10−3（差分步长 h=10−3）→ 基{sin,cos}确为解 y″+y=1：特解 y≡1 与 1+A·sin+B·cos 残差同理 < 2×10−3 初值 ↔ 系数 是同构：y=A sin t+B cos t ⟹ y(0)=B, y′(0)=A (y(0),y′(0))=(1,0)→(A,B)=(0,1)；(0,1)→(1,0)；(2,3)→(3,2)；(−1,2)→(2,−1)；(0.5,−1)→(−1,0.5) Wronskian：sin·cos′ − cos·sin′ ≡ −1 ≠ 0

教材接口。 ① 算子 L = D2 + 1 的核，是群论 ker φ 在分析世界的化身——「结构保持的映射把解空间变成核的陪集」这句话对线性算子一字不改。② 导数算子 D 还满足 Leibniz 律 D(fg) = f′g + fg′——它不但是线性的，而且是导子；「导子」与「导群」（换位子）的家族相似，正是其七《「导群」与「导函数」的联想》的主题。③ 方程 L y = λy 的特征值问题（本册的 y″ + y = 0 是 λ = −1 情形）指向第二章之后的谱理论。

七扩展三：Sylvester 方程——解空间是「交换化子」的陪集

最后把「未知量」本身升级成矩阵。Sylvester 方程

A X − X B = C　　（A、B、C 给定，求矩阵 X）

固定 A（m×m）、B（n×n），映射 Φ(X) = AX − XB 是矩阵加法群 Mm×n 上的自同态（线性的：Φ(X1 + X2) = Φ(X1) + Φ(X2)）。于是老剧本第三次上演：齐次方程 AX = XB 的解空间是 ker Φ——把 A 的「作用」与 B 的「作用」交织起来的交缠算子（intertwiner）；非齐次方程有解当且仅当 C ∈ im Φ（谱条件），通解 = 特解 + ker Φ。

命题 7.1（A = B 特例：中心化子）。 取 A = B。齐次方程变为 A X = X A，解空间是 A 的中心化子（交换化子）C(A) = {X : AX = XA}。它恒是子空间（F 组 F1b 在 F3 上穷举 81 个 2×2 矩阵验证：解集含零矩阵、对加法和数乘封闭）。若 A 的特征值两两不同，则 C(A) 极小：与 A 交换的矩阵只能是对角矩阵（在 A 的特征基下），dim C(A) = m——脚本 F1 取 F3 上 A = B = diag(1, 2)，穷举出解集恰为 9 个对角矩阵 (u, 0; 0, v)。 谱条件（可解性判据）。 设 A 的特征值 λi、B 的特征值 μj。在特征基下，Φ 把 X 的第 (i, j) 分量乘上 (λi − μj)：

(λi − μj)·Xij = Cij于是可解判据一目了然：凡 λi = μj 的位置，必须 Cij = 0；其余位置的 Xij 被唯一决定（F3：A = B = diag(1,2) 时 (1,1) 位置系数 1 − 1 = 0，取 C = diag(1, 0) 便无解）；而 λi = μj 的那些自由位置恰好张成 ker Φ = C(A)。「可解性」与「解的自由度」再一次被同一个对象——核——管辖。

注 7.2（换位子记号与预告）。 把 A = B 的齐次方程写成 [A, X] = 0，其中 [A, X] = AX − XA 是换位子；映射 X ↦ [A, X] = ad_A(X) 称为 A 的伴随作用。换位子正是群论换位子 [g, h] = g−1h−1gh 在矩阵加法世界里的极限形态——它把「其七」的主题（导群 / 导子 / Leibniz 律）直接领进门：ad_A 满足 Leibniz 律 ad_A([X, Y]) = [ad_A X, Y] + [X, ad_A Y]。交缠算子 ker Φ 也是表示论的起点：Schur 引理说两个不可约表示之间的交缠算子只有 0 或可逆两种命运。

数据表 7：Sylvester 方程（F 组，F3 上 2×2，穷举 81 个候选） A = B = diag(1,2)：齐次解 AX−XA=0 恰 9 个 = 全部对角矩阵（中心化子 C(A)，dim 2） 且是加法子空间：含 0、对加与数乘封闭 非齐次 C = [[0,1],[2,0]]（对角元 0，谱相容）：9 个解 = 特解 + 对角空间 （X12 = X21 = 2 被谱条件固定，X11、X22 自由） 非齐次 C = diag(1,0)（(1,1) 处 λ−μ = 0 而 C11 = 1）：无解

教材接口。 ① 中心化子 C(A) 是 §1.3 中心 Z(G) 的矩阵版：中心是与一切元素交换的元素，中心化子是与一个指定元素 A 交换的元素；换位子 [A, X] 预告其七的换位子群 [G, G]。② 交缠算子空间是「同态」概念在表示论里的化身——其九（范畴论）将看到：Hom 对象本身就是范畴结构的一部分。

八术语考古与阅读指引

8.1 名词与历史的来路

教材接口（结语）。 回看第一章：§1.5 同态基本定理 G/ker φ ≅ im φ 是一个「纯群」的定理，本册却证明它是线性代数的总开关——秩-零化度、通解公式、CRT、递推的周期、ODE 的初值同构、Sylvester 的谱条件，全是它在一个个具体舞台上的投影。下一册（其五）将追问「保持结构的映射」本身的结构：把 Aut(G) 看成新的群——那里 ker 与像的语言将以「作用在结构上」的形态再次出现；而解集 = ker 的 torsor 这一直觉，将在其六（G-set）里获得正式身份。

8.2 三句话总结

① 群同态 φ: G → H 的方程 φ(x) = b：有解 ⟺ b ∈ im φ；有解时解集是 ker φ 的一个陪集（通解 = 特解 × 核），且 |G| = |ker|·|im|——同态基本定理的胚胎。 ② 线性方程组是它在向量空间上的投影：ker A = 齐次解空间，可解 ⟺ b ∈ col A（Rouché / 谱条件 / gcd 判据），解数 = 0 或 |ker|（det 管唯一、gcd 管个数）；第一同构定理穿上维数外衣就是秩-零化度 n = rank + nullity。 ③ 同一剧本在递推（解空间 = 初值空间，M ∈ GL2 的阶 = 周期）、常微分方程（ker L = span{sin, cos}，非齐次 = 特解 + 核）、矩阵方程（AX − XB = C，解 = 特解 + 中心化子）里轮番上演——「解空间是核的陪集」不是巧合，是同态结构保持性的必然。

8.3 阅读指引

《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其四 ｜ 九章格数学 ｜ 2026