G-集理论中的限制与诱导
数学小主题读本 · 其十二 ｜ 一个方向的遗忘与另一个方向的重建——伴随、Kan 扩张与代数系统的推广 ｜ 九章格数学 PhiloMath
本册定位。 其十（《G-集与 Sylow 定理》）把群作用当作武器：数点、数轨道、证 Sylow。其十一（《作用的结构》）把作用本身当作研究对象：S-集、G-集、向量空间、模、代数模，五副面孔一副骨架。本册在两者之上再进一步，处理「作用世界之间来往」的问题：设 H G X H X 前一个方向叫限制 ，平凡而有力；后一个方向叫诱导 ，是本册的主角——它的构造（平衡商 G ×H X i ] 的两例计算，并以幺半群反例收束——可逆性正是全理论的承重墙。全书每一条定理都给完整证明 ；正文引用的全部数值（轨道型、同态空间维数、双陪集分块、特征标分解）均经配套脚本逐项程序验证（附录 C）。
§1 问题与全图1.1 两个方向，一难一易
整个故事从一个再自然不过的观察开始。设 G 是群，H 是它的子群，X 是一个 G-集——群 G 作用在集合 X 上（其十 §1）。既然 H 的每个元素也是 G 的元素，G 的每个搬动方式当然也是 H 的一种搬动方式：同一个 X ，只许使用 H 中的元素去作用，立刻得到一个 H-集 。这个操作叫限制 ，记作 Res H G X ，或在不致混淆时简记 Res X 。限制是廉价的：什么都没做，只是「假装看不见」H 之外的元素。
反过来的问题就深刻得多：手上只有一个 H-集 X ——H 会搬动它，H 之外的元素从没参与过——能否把它扩充 成一个 G-集，让整个 G 都参与搬动，而且扩充的方式在某种意义上是「最好的」？这个操作叫诱导 ，记作 Ind H G X 。诱导是昂贵的：H 之外的元素原本不会搬动 X ，「会搬」这件事必须被发明 出来。
注 1.1（两个方向不对称） 限制与诱导的不对称，根源在于信息的有无。限制是遗忘 ：G-集携带的信息多，扔掉一部分仍是一个合法的数学对象。诱导是重建 ：H-集携带的信息少，要补出一部分，而「补」有无穷多种做法——随便规定 G ∖H 中元素如何搬动 X ，只要公理不破坏，都算一种扩充。问题因此变成：无穷多种扩充里，哪一种是正典？ 范畴论的回答干净利落：正典是那个让「先诱导再映射」与「先映射再限制」可以互换的扩充——即伴随 。这句话的精确含义与完整证明是 §3–§4 的中心。
把问题说得更实在一点。集合世界里，「映射之间的对应」是最基本的货币。设 Y 是一个 G-集，X 是一个 H-集。限制以后，H-集之间的映射 X → Res Y 是看得见的；诱导以后，G-集之间的映射 Ind X → Y 是想得到的。诱导的理想形态是：这两类映射天然一一对应。 若这一对应成立，则诱导确实是限制的「镜像」：所有能对 H-集 X 说的话，都能翻译成对 G-集 Ind X 说的话，反之亦然。§3 定理 3.4 将证明这个对应不仅成立，而且两侧的映射互相显式表出——这就是Frobenius 互反 在集合世界的原形。
1.2 记号与贯穿全册的运行例
约定 1.2（G-集与等变映射） G 在集合 X 上的左作用 是映射 G × X → X ，(g , x ) ↦ gx ，满足 ex = x 与 (gh )x = g (hx )；带左作用的 X 称为左 G-集 。映射 φ ：X → Y （X , Y 均为 G-集）称为等变映射 或 G -映射，若 φ (gx ) = g ·φ (x ) 对一切 g , x 成立。G-集与 G-映射构成范畴 G-Set（其十一 §2）。x 的轨道 是 Gx = {gx : g ∈ G }；稳定化子 是 G x g : gx = x }，恒为子群，且轨道 Gx 作为 G-集同构于陪集空间 G /G x
全册用同一个运行例核对每一条定理：取 G = S 3 （六个置换），两个子群——H 2 = ⟨(12)⟩ = {e , (12)}（二阶，不正规）与 A 3 = ⟨(123)⟩ = {e , (123), (132)}（三阶，正规）。记 t = (12)，r = (123)，r 2 = (132)；其余两个对换记 u = (13)，v = (23)。乘法约定 (gh )(x ) = g (h (x ))，即右边的置换先动。S 3 的全部数据（乘法表、陪集、共轭类、双陪集）已由程序逐项核对，速查表见附录 B。
例 1.3（三个常用的 H-集） H = H 2 = {e , t } 时：(a) 平凡 H-集 ：单点集 {pt}，H 动不了它。(b) 两点对换 H-集 ：X = {1, 2}，t 交换两点。t 无不动点，稳定化子 StabH e }，X 本身是一条传递的 H-轨道。(c) 三点部分对换 H-集 ：X = {0, 1, 2}，t 交换 1 与 2、钉住 0。H-轨道两条：{0} 与 {1, 2}。这三个小集合将分别诱导出三类不同形状的 G-集，数据全部列于例 3.7 与附录 B。
1.3 全图：一座伴随的桥
图 1-1 是全书的地图。左边是 G-集世界，右边是 H-集世界；H ＜ G ，右边的世界更「小」、对象更粗。从左到右的箭头 Res 是限制：忘掉一部分作用，人人会走。从右到左的箭头 Ind 是诱导：要把 H-集抬升回 G-集，路只有一条是正典。两支箭头首尾相衔，构成一对伴随函子 ：对任意 G-集 Y 与 H-集 X ，
HomG Ind X , Y ) ≅ HomH X , Res Y )。(1.1)
读法：从 H-集 X 出发想在 G-集世界里做事（左边），等价于留在 H-集世界里直接做事（右边）。诱导把「跨世界的困难」一次性收税结清，此后两边自由通行。更妙的是，桥的另一侧还有第二座桥：除 Ind 之外还有另一个（一般不同的）扩充 Coind ——余诱导——使 HomG Y , Coind X ) ≅ HomH Res Y , X )。于是 G -集与 H -集之间立起一座伴随三元组 ：Ind ⊣ Res ⊣ Coind 。集合世界里 Ind ≇ Coind （§4 定理 4.4 给出轨道型的对照）；而在线性世界——模与表示——两者重合（§6 定理 6.2）。这张对照表是全册最深的结构事实之一。
G-集
X H-集
H ＜ G
Res：限制
忘掉部分作用
Ind：诱导
平衡商 G ×H X
Res ⊣ Ind（伴随对）
HomG (Ind X, Y) ≅ HomH (X, Res Y)：方向的代价与补偿
图 1-1 全书地图：限制向右（遗忘），诱导向左（重建）；两支方向相反的箭头由伴随关系 (1.1) 缝合。
1.4 为什么诱导是主角
三个理由。第一，它解决真问题 。其十证 Sylow 定理时，核心手法是把大群 G 作用在陪集集 G /P 上——那是从子群 P 的陪集空间出发「造」出的 G-集。这个造法正是诱导的最简单情形：陪集空间 G /P 就是单点 P -集的诱导（§3 例 3.5）。Sylow 定理的证明暗中一直在使用诱导。
第二，它是表示论的地基 。Frobenius 在十九世纪末创立群特征标理论时发现：子群 H 的特征标 χ 可以「提升」为大群 G 的特征标 Ind χ ，且内积关系 ⟨Ind χ , ψ ⟩G χ , Res ψ ⟩H Frobenius 互反律 至今是表示论计算的主力工具。它的集合版原型恰是 (1.1)：把「内积对合」换成「Hom 对偶」，字面结构原封不动（§6 定理 6.4）。Mackey 在 1950 年代给出的双陪集分解定理，则把「先限制一个诱导」的复合算成显式公式（§5 定理 5.4），成为诱导表示可约性判据的源头。
第三，它是范畴论一般现象的最浅标本 。1958 年 Kan 提出伴随函子概念时给出的核心例子之一就是这种「沿子群含入的诱导」：在函子范畴的语言里，G-集是范畴 B G G 元素）到 Set 的函子，限制是「预复合」，诱导与余诱导分别是左 Kan 扩张 与右 Kan 扩张 （§5）。平衡商公式 G ×H X 在 Kan 的点式公式下自动现身——具体的构造与最一般的理论在此严丝合缝地咬合。
思想卡 1（遗忘与重建的经济学） 数学里「忘掉结构」永远是自由的，「补出结构」永远需要代价。伴随理论把这件事变成了精确的等式：补结构的好方法，是那个让「补完之后再映射」与「不补直接映射」成本相同的方法。诱导 = 限制的最优逆过程。 这一句将在 §3 落地为平衡商的构造，在 §5 升华为 Kan 扩张，在 §6 推广到一切环同态。全册只讲这一件事，只是讲三层。
§2 限制：遗忘的方向2.1 定义与函子性
定义 2.1（限制） 设 H ≤ G ，X 是 G-集。Res H G X 指同一个集合 X ，配备被限制的作用：h ∈ H 以 hx （G -作用中的同一个值）作用。Res X 是 H-集；等变映射 φ ：X → Y （G-集之间）作为集合映射仍是 Res X → Res Y 之间的等变映射。于是 Res 是函子 G-Set → H-Set 。
函子性的核对 两条公理逐条过。保单位 ：作用未变，恒等映射仍是恒等映射。保复合 ：Res (ψ ∘φ ) 与 Res (ψ )∘Res (φ ) 都是同一个集合映射 ψ ∘φ 。Res X 确为 H-集：单位元 e ∈ H 作用为恒等、结合律 (h 1 h 2 )x = h 1 (h 2 x ) 都是从 G-作用原封继承的。∎
注 2.2（名字里的真相） 范畴论里把「忘掉一部分结构」的函子谑称为遗忘函子 （forgetful functor），而且因为要忘两次——忘掉 H 之外元素的搬动、也忘掉这些搬动之间的关系——有人戏称其为「忘忘函子」。Res 是遗忘函子的模范标本：它在对象上什么都没有建造，只是换了一副更小的眼镜看同一个 X 。全册的悬念因此可以一句话说完：遗忘的对立面长什么样。
2.2 限制保什么
遗忘函子的美德是：它忘得干净，却几乎不破坏任何「由集合运算构成」的结构。精确的陈述如下。
命题 2.3（Res 保积与余积） 设 X , Y 是 G-集。(i)（余积）不交并 X ⊔ Y 配分量作用是 G-集，且 Res (X ⊔ Y ) = Res X ⊔ Res Y （作为 H-集，字面相等）。(ii)（积）笛卡尔积 X × Y 配对角作用 g (x , y ) = (gx , gy ) 是 G-集，且 Res (X × Y ) = Res X × Res Y （作为 H-集，字面相等）。(iii)（万有性质）对任意 H-集 Z 与任意一对 H-映射 f ：Z → Res X 、g ：Z → Res Y ，对角映射 ⟨f , g ⟩：Z → Res (X × Y )，z ↦ (f (z ), g (z )) 仍是 H-映射。
证明 (i) 分量作用满足两条公理（逐条搬到分量上）；不交并上 H 的作用不跨分量，故限制后仍不交并，字面相等。(ii) 对角作用的公理：(gh )(x ,y ) = ((gh )x , (gh )y ) = (g (hx ), g (hy )) = g (h (x ,y ))；单位元同理。限制后作用公式逐字相同，字面相等。(iii) 只须验等变性：h ·⟨f ,g ⟩(z ) = h ·(f (z ), g (z )) = (hf (z ), hg (z )) = (f (hz ), g (hz )) = ⟨f ,g ⟩(hz )，两个中括号分别用了 f 、g 的 H-等变性。∎
注 2.4（一个容易被误判的细节） 命题 2.3 的「保积」是集合层的字面相等，不要误读为「轨道数相乘」。以运行例核对（程序验证，附录 C）：取 X = S 3 （左正则）、Y = S 3 /H 2 （三陪集）、限制到 A 3 。Res X 有 2 条 A3 -轨道（右陪集），Res Y 有 1 条（因 A3 ∩ H 2 = {e }，A3 在三陪集上传递）；但积 X × Y 配对角作用 后有 6 条轨道、每条 3 元，并非 2 × 1 = 2 条。原因：对角作用把两个分量绑在一起搬 ，轨道由耦合的不变量 a −1 bH 2 （3 个值）再被自由的 A3 -作用（稳定化子平凡，轨道恰 3 元）细分，6 = 2 × 3。乘的是「底层集合的大小」，不是轨道数。极限与余极限被完整保留 ——这才是正确的范畴论陈述（§5 定理 5.3 将把它升级为「右伴随保极限」）。
命题 2.5（Res 忠实且反映同构） (i)（忠实）G-映射 φ , ψ ：X → Y 相等，当且仅当 Res φ = Res ψ 。(ii)（反映同构）若 f ：X → Y 是 G-映射且作为 H-映射是同构，则 f 作为 G-映射也是同构。
证明 (i) 两个集合映射相等即逐点相等，与作用无关——「忠实」是遗忘函子的天性。(ii) f 有作为 H-映射的逆 f −1 ：Y → X （H -等变）。要证 f −1 是 G-等变的：对 g ∈ G , y ∈ Y ，记 f (x ) = y 。由 f 的 G-等变性，f (gx ) = gy ，于是 f −1 (gy ) = gx = g ·f −1 (y )。用 f 的 G-等变性补回了 f −1 的 G-等变性 ——逆映射「免费」继承大群的结构。∎
2.3 限制后轨道如何分裂
G-集的轨道定理（其十定理 2.2）说：G-集是不交 G-轨道之并。限制之后，每条 G-轨道碎裂 成若干条 H-轨道。碎裂的图案并非任意——它由一个纯群论的量（双陪集）精确编码。
定理 2.6（轨道分裂计数） 设 X 是 G-集，x ∈ X ，O = Gx 是 x 所在的 G-轨道，H ≤ G 。则 O 限制到 H 后的 H-轨道与双陪集 H \G/G x HgG x H ·(gx )。特别地，O 限制后的 H-轨道条数等于双陪集个数 |H \G/G x
证明 第一步，每点 y ∈ O 可写 y = gx ，且其 H-轨道为 H ·(gx ) = {hgx : h ∈ H }——点集 {hg : h ∈ H }·x ，落在双陪集 HgG x G x 轨道与双陪集的对应是良定义的 ：若 g ′ = hgc （h ∈ H , c ∈ G x g ′x = hgcx = hgx ，故 H ·(g ′x ) = H ·(gx )——同一双陪集给出同一 H-轨道。第三步，不同的双陪集给出不同的轨道 ：若 H ·(g ′x ) = H ·(gx )，则存在 h ∈ H 使 g ′x = hgx ，即 (h −1 g ′)x = gx ，即 g −1 h −1 g ′ ∈ G x g ′ ∈ h ·g ·G x HgG x ∎
例 2.7（两个运行例的分裂图案） 以下数值全部程序核对（附录 C）。(a) X = S 3 /H 2 （三个左陪集，传递，稳定化子 H 2 ），限制到 H 2 自身：双陪集 |H 2 \S 3 /H 2 | = 2（一块 |H 2 eH 2 | = 2 元、一块 |H 2 rH 2 | = 4 元），故两条 H-轨道，实测大小 (1, 2)：t 固定陪集 eH 2 ，交换另两个陪集。(b) X = S 3 左正则（稳定化子 {e }），限制到 H 2 ：双陪集 H 2 \S 3 /{e } 就是左陪集，共 3 个，故 3 条 H-轨道，每条 2 元——恰是右陪集分解。同一个群、同一个子群，仅因稳定化子不同，分裂图案完全不同 ：双陪集把「子群对子群」的相对位置照得一清二楚。
G-轨道（传递）
1
2
3
G = S3 整体轮动
限制到 H
H = ⟨(12)⟩
H-轨道（分裂）
1
不动
2
3
H 只能换 2 与 3，钉住 1
轨道分裂计数：H-轨道数 = |H\G/Gx |（双陪集）
图 2-1 轨道分裂：G-轨道（左，整体轮动）限制到 H 后碎裂（右，H 力有不逮）；条数 = 双陪集数。
注 2.8（为什么是双陪集） 单陪集编码「子群对点」：轨道 = G /G x H \G/G x H 与 G x G 切成几块」，左除以 H （轨道是 H -作用）、右除以 G x HgK 的大小公式 |HgK | = |H |·|K | / |H ∩ gKg −1 | 进一步给出每条 H-轨道的大小：本节例 2.7(a) 的两块 2 与 4 正由此而来（|H 2 |²/|H 2 | = 2 与 |H 2 |²/|H 2 ∩ rH 2 r −1 | = 4/|{e }| = 4）。§5 的 Mackey 定理将把同一套双陪集机械用于更深的场合：先限制、再诱导的复合运算。
思想卡 2（限制一节真正记住了什么） 限制本身几乎无内容——定义即全部。有内容的只有两件事：其一，它保住一切由集合运算搭出的结构 （积、余积、万有性质），这一条将在 §5 获得范畴论身份证「右伴随保极限」；其二，它碎裂轨道的方式被双陪集精确编码 ，这一条将在 §5 的 Mackey 分解中再次出场。限制节俭，诱导奢侈——接下来两节，把奢侈的部分花完。
§3 诱导：平衡商的构造3.1 构造不能拍脑袋：让万有性质反推公式
「把 H-集 X 扩充成 G-集」的自由度无穷大，直接罗列所有扩充再挑一个既笨又无标准。正确的做法倒过来：先写下扩充应当满足的性质，再让性质逼出构造。 设想的扩充 Ind X 应当满足：对任意 G-集 Y ，
G-映射 Ind X → Y ⟷ H-映射 X → Res Y 。(3.1)
沿着这个要求往下推。设对应给定：每个 H-映射 ψ ：X → Y 应当产生某个 G-映射 φ ：Ind X → Y 。Ind X 的元素里必然有 X 自己的影子——把 x 嵌进扩充，记作 [e , x ]（e 是 G 的单位元）。φ 在影子上的值只能是 ψ (x )：φ([e , x ]) = ψ (x )。现在用 φ 的 G-等变性：φ (g ·[e , x ]) = g ·ψ (x )。也就是说，一旦知道 ψ ，φ 在形如 [g , x ] 的元素上的值就被迫是 g ·ψ (x ) ——扩充的元素至多需要形如 (g , x ) 的符号，即 G × X 的元素。
但 (g , x ) 作为符号有冗余：若 h ∈ H ，则 g ·ψ (h ·x ) = g ·(h ·ψ (x ))（ψ 是 H-映射）= (gh )·ψ (x )。两条路线殊途同归，意味着符号 (gh , x ) 与 (g , hx ) 必须代表同一个元素 ，否则 φ 无法良定义。除尽这层冗余的办法只有一个：在 G × X 上强加等价关系 (gh , x ) ∼ (g , hx )，取商集。构造至此被万有性质完全锁定，毫无自由度——剩下的只是核验这个构造真的行得通。
定义 3.1（平衡关系与诱导） 设 H ≤ G ，X 是 H-集。在 G × X 上取由 (gh , x ) ∼ (g , h ·x )（g ∈ G , h ∈ H , x ∈ X ）生成的等价关系，称为平衡关系 ；(i) (gh , x ) ∼ (g , hx )；(ii) 若 (g , x ) ∼ (g ′, x ′) 则 (g 0 g , x ) ∼ (g 0 g ′, x ′)。商集记作
Ind H G X = G ×H X = (G × X )/∼， [(g , x )] 记作 [g , x ]，
并规定 G -作用 g 0 ·[g , x ] = [g 0 g , x ]。平衡张量积 G ×H X ——记号里的下标 H 正是「除以 H 的冗余」之意，与模论中 S ⊗R M 的下标同一血统（其十一 §4 与 §6）。
命题 3.2（作用良定义，Ind 是 G-集） 先证 G -作用良定义。设 (g , x ) ∼ (g ′, x ′) 由一步生成规则给出，即 g ′ = gh 且 x ′ = hx （反向情形对称：把 h 换成 h −1 即得 g = g ′h −1 、x = h −1 x ′，仍是一步）。对任一 g 0 ∈ G ：(g 0 g )h = g 0 g ′ 且 h ·x = x ′，故 (g 0 g , x ) ∼ (g 0 g ′, x ′) 恰由同一条规则实例给出——左乘与生成规则交换 ，多步关系逐步通过，作用 g 0 ·[g , x ] = [g 0 g , x ] 良定义。两条作用公理逐字核验：e ·[g ,x ] = [g ,x ]；(g 1 g 2 )·[g ,x ] = [g 1 g 2 g , x ] = g 1 ·[g 2 g , x ]。全部逐点成立（程序对每个代表逐一复核，附录 C）。∎
命题 3.3（自由右作用与计数） 在 G × X 上定义右 H -作用 (g , x )·h = (gh , h −1 ·x )。则 (i) 此作用是良定义的右作用且自由 （每个稳定化子平凡）；(ii) 平衡类恰是此右作用的轨道；(iii) 任意 H-集 X （不必传递）满足
|Ind H G X | = [G : H ] · |X |。
证明 (i) 作用先在原始集合 G × X 上看：(g ,x )·e = (g ,x )；((g ,x )·h )·h ′ = (ghh ′, h ′−1 h −1 x ) = (g ,x )·(hh ′)。它与平衡关系相容：(g , x ) ∼ (gh , h −1 x )，而 (g ,x )·h = (gh , h −1 x ) 恰是等价元——即每个类的代表在右作用下的像落在同一类里，作用下降到商集。自由性：(g ,x )·h = (g ,x ) 作为原始序对相等给出 gh = g ，故 h = e 。(ii) 由相容性，每个右作用轨道整体落在一个平衡类里；反之，平衡关系的一步 (gh , x ) ∼ (g , hx ) 中，右元 (g , hx ) = (g , x ′) 其中 x ′ = hx ，而 (g , x ) = ((g h )h −1 , (h −1 )−1 ·(h −1 x ))——直接核对：(gh , h −1 x )·h −1 = (ghh −1 , h ·(h −1 x )) = (g , hx )。故平衡的一步恰是右作用的一步，多步同理，两类重合。(iii) 商集的大小 = |G × X | / |H |（每个类恰 |H | 元，由 (i)(ii)）= (|G |/|H |)·|X |。运行例实测：H 2 、两点对换 X 时 |Ind X | = 3·2 = 6；三点部分对换 X 时 = 3·3 = 9；H 平凡时 = 6·2 = 12——三例皆经程序逐类枚举核对（附录 C）。∎
平衡关系 (gh, x) ~ (g, h·x)
(e, 1)
(e, 2)
(t, 1)
(t, 2)
G × X （图中 g 只列 e 与 t，再随 g 分层 ×3）
粘合
Ind X：每类一个点
[e,1]
[t,1]
[r,1]
[u,1]
[v,1]
[w,1]
每类恰 |H| = 2 个代表
|Ind X| = [G:H]·|X| = 3·2 = 6
图 3-1 平衡商：方格 G × X 上按 (gh , x ) ∼ (g , hx ) 粘合（同色两格一并），商出 Ind X ；每类恰 |H | 个代表。
3.2 万有性质：构造的身份证
定理 3.4（万有性质 = 集合版 Frobenius 互反） 对任意 H-集 X 与 G-集 Y ，映射
Φ：HomG Ind X , Y ) → HomH X , Res Y )， Φ(φ )(x ) = φ ([e , x ])，
Ψ：HomH X , Res Y ) → HomG Ind X , Y )， Ψ(ψ )([g , x ]) = g ·ψ (x )，
互为逆映射。特别地，两组同态集之间有天然双射 (1.1)。
证明 Ψ(ψ ) 良定义。 须证 [g , x ] = [g ′, x ′] 时 g ·ψ (x ) = g ′·ψ (x ′)。等价由一步生成：g ′ = gh , x ′ = h −1 x 或反向，两种情形对称，验其一：g ′·ψ (x ′) = (gh )·ψ (h −1 x )。由 ψ 的 H-等变性 ψ (h −1 x ) = h −1 ·ψ (x )（在 ψ (x ) = ψ (h ·(h −1 x )) = h ·ψ (h −1 x ) 两边左乘 h −1 解出），代入得 (gh )·(h −1 ·ψ (x )) = g ·(h h −1 )·ψ (x ) = g ·ψ (x )。Ψ(ψ ) 是 G-映射。 Ψ(ψ )(g 0 ·[g ,x ]) = Ψ(ψ )([g 0 g , x ]) = (g 0 g )·ψ (x ) = g 0 ·(g ·ψ (x )) = g 0 ·Ψ(ψ )([g ,x ])。Φ(φ ) 是 H-映射。 Φ(φ )(hx ) = φ ([e , hx ])；而 [e , hx ] = [eh , x ] = h ·[e , x ]（平衡规则正读），故 = φ (h ·[e ,x ]) = h ·φ ([e ,x ]) = h ·Φ(φ )(x )。互逆。 Ψ(Φ(φ ))([g ,x ]) = g ·Φ(φ )(x ) = g ·φ ([e ,x ]) = φ (g ·[e ,x ]) = φ ([g ,x ])，第三步用 φ 的 G-等变性。Φ(Ψ(ψ ))(x ) = Ψ(ψ )([e ,x ]) = e ·ψ (x ) = ψ (x )。运行例穷举核对：X = 两点对换、Y = S 3 /A 3 （两点符号 G-集）时，两侧同态集各含 2 个元素，Φ 与 Ψ 在全部元素上互逆（附录 C）。∎
注 3.5（证明的解剖：谁用了谁的什么） 这段证明值得背下来，因为它的骨架在今后一切伴随对（模的扩张标量、Kan 扩张、自由群）中原样复现。良定义性用的是 ψ 的 H-等变性作用的结合律 ——左乘自由通行；互逆性一边用 φ 的 G-等变性、一边是单位元的平凡性。构造的每一处冗余，恰好被万有性质另一侧的每一条公理吸收 ：这不是巧合，而是「构造由性质反推」的直接回声——§3.1 的推导早就预告了证明的全貌。
例 3.6（四个标本，一张速查表） (i) 单点 H -集 pt（平凡作用）：|Ind pt| = [G :H ]，且 Ind pt ≅ G /H （左陪集集配左乘作用）：[g , pt] ↦ gH 良定义（[gh , pt] ↦ ghH = gH ）且等变。Sylow 证明里的陪集作用就是它 。(ii) 正则 H -集 （X = H 左乘自身）：|Ind | = [G :H ]·|H | = |G |，且 Ind H ≅ G 左正则：[g , h ] ↦ gh （良定义：[gh ′, h ′] 中 h ′ = h 0 h 时 g h 0 h 逐一对应）。大群的正则作用由小群的正则作用诱导而来 。(iii) H = {e }：Ind X = G × X ，配 g 0 ·(g ,x ) = (g 0 g , x )——自由 G-集 （每条轨道是正则副本），一切自由 G-集由此涌现。(iv) 运行例：X = 两点对换（StabH e }），Ind X 传递且稳定化子平凡（下一定理），故 ≅ S 3 左正则——六元，一条 6-轨道。四例全部程序核对。
3.3 轨道对应定理：诱导看穿了 X 的全部轨道
构造与万有性质之后，还剩一个最敏感的问题：诱导是否忠实于 X 的内部结构？答案是惊人的精确——Ind X 的 G-轨道与 X 的 H-轨道一一对应
定理 3.7（轨道对应） 设 X 是 H-集。则：(i) 映射 {X 的 H-轨道} → {Ind X 的 G-轨道}，O ↦ G ·[e , x 0 ]（x 0 ∈ O 任取）是良定义的双射；(ii) 对任意 g ∈ G , x ∈ X ，稳定化子公式
StabG e , x ]) = StabH x )， StabG g , x ]) = g ·StabH x )·g −1 ；
(iii) X 的 H-轨道 O = H ·x 0 对应的 G-轨道作为 G-集同构于 G /StabH x 0 )，故其大小为 [G : StabH x 0 )]。
证明 (i) 良定义。 设 x ′ = kx （k ∈ H ）。平衡规则给出 [e , kx ] = [k −1 , x ]（反读规则 (g , x ) = ((g k )k −1 , x ) ∼ (g k , k −1 x )，取 g = k −1 ：k −1 = (e k )k −1 ，故 [e , kx ] = [k −1 , x ]）。而 [k −1 , x ] = k −1 ·[e , x ]（G-作用的定义），故与 [e , x ] 同属一条 G-轨道。满。 任一 G-轨道含代表 [g , x ] = g ·[e , x ]，落在 x 的 H-轨道的像里。单。 须证反向：若 x ′ ∈ H ·x （即 x ′ = kx ），则 [g , x ′] 与 [g , x ] 同轨道。由平衡 [g , kx ] = [gk , x ]（规则正读：gk = g ·k ，(gk , x ) ∼ (g , kx )），而 [gk , x ] = g ·[k , x ] = g ·(k ·[e ,x ])——同一 G-轨道。(ii) 第一式。 g 0 ·[e , x ] = [g 0 , x ] = [e , x ] 当且仅当 (∃h ∈ H ) g 0 = eh = h 且 hx = x （平衡类的代表刻画：[g ,x ] = [g ′,x ′] ⟺ ∃h : g ′ = gh , x ′ = h −1 x ，由命题 3.3(ii) 右作用轨道即类），即 g 0 ∈ StabH x )。注意两边的稳定化子是同一个子群，连共轭都不必 ——[e , x ] 的 G-稳定化子恰好整个落回 H 。(ii) 第二式。 [g , x ] = g ·[e , x ]，一般原理「轨道点的平移共轭稳定化子」给出 Stab([g ,x ]) = g Stab([e ,x ]) g −1 ；由第一式即得。逐类程序核对（附录 C）。(iii) 轨道–稳定化子公式的直接应用：轨道 G ·[e ,x 0 ] ≅ G /StabG e ,x 0 ]) = G /StabH x 0 )。∎
X 的 H-轨道
x
不动点
a
b
StabH (x) = H → 贡献 [G:H] = 3
Ind X 的 G-轨道
大小 [G:H] = 3
1
2
3
4
5
6
大小 [G:1] = 6（正则）
对应
轨道对应定理：G-轨道 ↔ H-轨道；大小 = [G : StabH (x)]（稳定化子不共轭平移）
图 3-2 轨道对应：X 的每条 H-轨道膨胀为 Ind X 的一条 G-轨道，大小 [G : StabH x )]；对应不混淆稳定化子。
例 3.8（运行例的轨道账本） 全部程序核对。(a) X = 两点对换：一条 H-轨道（传递），StabH e }，故 Ind X 一条 G-轨道、大小 [S 3 :{e }] = 6——正则，与例 3.6(iv) 相合。(b) X = 三点部分对换 {0,1,2}（t 换 1,2 钉 0）：H-轨道 {0}（Stab = H 2 ）与 {1,2}（Stab = {e }），故 Ind X 恰两条 G-轨道，大小 [S 3 :H 2 ] = 3 与 6；实测 (3, 6)，与计数 |Ind | = 9 = 3 + 6 吻合。轨道账本左右对得上，一分不差 ——这是定理 3.7 在小群上的实弹检验。
命题 3.9（Ind 保余积） Ind (X ⊔ Y ) ≅ Ind X ⊔ Ind Y （作为 G-集）。
证明 直接构造。平衡关系在 G × (X ⊔ Y ) 上不跨分量：x ∈ X 分支的类永远由 X 分支的代表生成（平衡一步 (gh , x ) ∼ (g , hx ) 保持分支），故类集合按分支分拆，映射 [g , (X 分支的 x )] ↦ [g , x ]（入 Ind X ）给出双射；等变性逐点继承。计数复核：|[G :H ](|X |+|Y |)| = |Ind X | + |Ind Y |，运行例实测 9 = 3 + 3（附录 C）。∎
命题 3.10（诱导的传递性） 设 H ≤ K ≤ G ，X 是 H -集。则在 G -集范畴中有自然同构
Ind K G Ind H K X ) ≅ Ind H G X 。
证明 两侧都写成平衡商：左边元素形如 [g , [k , x ]]（g ∈ G 、k ∈ K 、x ∈ X ），右侧元素形如 [u , x ]（u ∈ G ）。定义
Φ ：Ind K G Ind H K X ) ⟶ Ind H G X ， [g , [k , x ]] ⟼ [gk , x ]。
良定义。 外层与内层各有一道平衡关系，逐一核对。外层 ：对 k 0 ∈ K ，关系把 [gk 0 , [k , x ]] 与 [g , k 0 ·[k , x ]] = [g , [k 0 k , x ]] 视为同类；Φ 把两者都送到 [gk 0 k , x ]，一致。内层 ：对 h ∈ H ，有 [kh , x ] = [k , hx ]，故 [g , [kh , x ]] 与 [g , [k , hx ]] 同类；Φ 分别送到 [gkh , x ] 与 [gk , hx ]，这二者本身只差一次平衡关系（h ∈ H ），在 Ind H G X 中相等。等变。 g 0 ·[g , [k , x ]] = [g 0 g , [k , x ]] 被送到 [g 0 gk , x ] = g 0 ·[gk , x ]。双射。 定义 Ψ ：[u , x ] ↦ [u , [e , x ]]，其良定义同样只差一道平衡关系：h ∈ H 时 h ·[e , x ] = [h , x ] = [e , hx ]，故 [uh , [e ,x ]] = [u , [e , hx ]]。两个复合：ΦΨ ([u ,x ]) = [ue , x ] = [u , x ]；ΨΦ ([g , [k ,x ]]) = Ψ([gk , x ]) = [gk , [e ,x ]] = [g , k ·[e ,x ]] = [g , [k , x ]]，末一步用外层平衡关系（k ∈ K ）。故 Φ 是双射。自然性对 H -映射逐点成立（两侧都只是把它作用在 x 上）。∎
思想卡 3（平衡商的两次登场） 同一章里 G ×H X 出现了两次身份：构造上，它是「除掉 H 冗余」的商集；理论上，它是「把 H-集翻译成 G-集」的词典。命题 3.3 的计数给出词典的厚度（[G :H ]·|X |），定理 3.4 给出词典的用法（映射互换），定理 3.7 给出词典的保真度（轨道一一对应、稳定化子原样）。下一节把词典升级为伴随——那时 (1.1) 不再是一条定理，而是一种结构的名字。
§4 伴随：Frobenius 互反、余诱导与三元组4.1 从互反到伴随：把定理升级为结构
定理 3.4 是一条关于映射集合的定理；范畴论给它一个更高的身份。伴随 的标准定义如下。
定义 4.1（伴随函子，H-集与 G-集的版本） 设 F ：H-Set → G-Set 与 U ：G-Set → H-Set 是两个函子。称 F ⊣ U F 是 U 的左伴随 ），若对任意 H-集 X 与 G-集 Y 有双射 HomG FX , Y ) ≅ HomH X , UY )，且双射对 X , Y 天然。双射的两条等价配件：单位 η ：X → U (FX ) 与余单位 ε ：F (UY ) → Y ，满足两条三角形恒等式 ：U (ε ) ∘ η U X ε F X F (η ) 等于恒等。
定理 4.2（Ind ⊣ Res 与显式单位、余单位） 定理 3.4 的双射对 X , Y 天然，故 Ind H G Res H G
η ：X → Res Ind X ， x ↦ [e , x ]； ε ：Ind Res Y → Y ， [g , y ] ↦ g ·y ，
且两条三角形恒等式逐点 成立。
证明 天然性：给定 H-映射 α ：X ′ → X 与 G-映射 β ：Y → Y ′，双射与前后复合交换——逐点核算 Φ(β ∘φ ∘Ind α )(x ) = β (φ ([e , α (x )])) = β ∘Φ(φ )∘α (x )，两个方向都只用到等变性，无任何额外条件。η 是 H-映射η (hx ) = [e , hx ] = [eh , x ] = h ·[e , x ] = h ·η (x )；且单射（类 [e ,x ] 与 [e ,x ′] 相等要求 x ′ = h −1 x 且 x = h −1 x ′，联立即 x ′ = x ）。ε 良定义且是 G-映射g , y ] = [gh , h −1 y ] 时 (gh )·(h −1 y ) = gy ；等变性 ε (g 0 ·[g ,y ]) = ε ([g 0 g , y ]) = g 0 gy = g 0 ·ε ([g ,y ])；满射（[e , y ] ↦ y ）。三角形恒等式一 （X 是 H-集，先 η 后 Res ε ）：x ↦ [e , x ] ↦ ε ([e , x ]) = e ·x = x 。三角形恒等式二 （X 是 H-集，先 Ind η 后 ε ）：Ind (η ) 把 [g , x ] 送 [g , η (x )] = [g , [e , x ]] ∈ Ind (Res Ind X )，随后 ε 送 g ·[e , x ] = [g , x ]——回到原地。两式对每个点逐字成立（程序穷举核对，附录 C）。∎
Ind X
Y
X
Res Y
G-映射 φ
H-映射 ψ
η
x ↦ [e, x]
ε
[g, y] ↦ gy
Frobenius 互反：φ ↔ ψ，ψ(x) = φ([e, x])，φ([g, x]) = g·ψ(x)
图 4-1 Frobenius 互反的交换图：上横是 G-映射，下横是 H-映射；左右两竖分别是单位 η 与余单位 ε ，两支三角形恒等式保证「转一圈回原地」。
注 4.3（单位的单、余单位的满） η 单、ε 满不是巧合，是伴随的普遍现象的集合版显形：单位把 X 嵌入 扩充体——每个 H-轨道在诱导体里有据点 [e , x ]；余单位把「诱导后再限制」的膨胀压回 原状——[g , y ] 里的 g 被一次性花掉。定理 3.7 的轨道对应是这两个映射的轨道层速写：η 打的据点恰好每条 H-轨道一个，ε 的压回恰好把膨胀的轨道收拢回去。
4.2 余诱导：桥的另一侧
伴随 (1.1) 把 Ind 放在 Hom 的左边 。对称地追问：能否造一个扩充 C ，使 HomG Y , C (X )) ≅ HomH Res Y , X )——C 站在 Hom 的右边？同样的反推法（§3.1 的手法原样再用一遍）逼出另一个构造。
定义 4.4（余诱导） 设 X 是 H-集。余诱导 是函数集
Coind H G X = { f ：G → X : f (gh ) = h −1 ·f (g ) 对一切 g ∈ G , h ∈ H }，
配 G-作用 (g 0 ·f )(u ) = f (g 0 −1 u )。
命题 4.5（Coind 是 G-集，且有正确的大小） (i) 条件函数族在 G-作用下封闭，两条作用公理成立（注意作用公理呈现为 g 1 ·(g 0 ·f ) = (g 1 g 0 )·f ，逆元序须逐字核对）；(ii) 条件函数由其在右陪集代表系 G /H 上的取值唯一决定，故 |Coind X | = |X |[G :H ] 。
证明 (i) 设 f 满足条件，f ′ = g 0 ·f 。验 f ′(uh ) = h −1 ·f ′(u )：f ′(uh ) = f (g 0 −1 uh ) = f ((g 0 −1 u )h ) = h −1 ·f (g 0 −1 u ) = h −1 ·f ′(u )，第二个等号正是 f 的条件。作用公理：e ·f (u ) = f (u ) 平凡；g 1 ·(g 0 ·f )(u ) = (g 0 ·f )(g 1 −1 u ) = f (g 0 −1 g 1 −1 u ) = f ((g 1 g 0 )−1 u ) = ((g 1 g 0 )·f )(u )——第三次出现的 g 0 −1 g 1 −1 = (g 1 g 0 )−1 ，逆序恒等式在此结账。(ii) 条件 f (gh ) = h −1 ·f (g ) 说：右乘 H 方向上的取值由起点决定。取右陪集代表系 {g 1 , …, g m m = [G :H ]），任给 u ∈ G 可写 u = g i h ，于是 f (u ) = h −1 ·f (g i f (g 1 ), …, f (g m m 个自由值决定，且这 m 个值可任取（如此拼出的函数必满足条件）。运行例实测：G = S 3 , H = H 2 , |X | = 2 时 |Coind | = 2³ = 8，程序穷举条件函数恰 8 个（附录 C）。∎
定理 4.6（Res ⊣ Coind） 对任意 G-集 Y 与 H-集 X ，映射
Φ：φ ↦ ( y ↦ φ (y )(e ) )， Ψ：ψ ↦ ( y ↦ f y f y u ) = ψ (u −1 ·y )，
给出互逆的双射 HomG Y , Coind X ) ≅ HomH Res Y , X )。
证明 Φ(φ ) 是 H-映射 ：φ (hy ) = h ·φ (y )（G-等变性，h ∈ H ⊆ G ），故 Φ(φ )(hy ) = (h ·φ (y ))(e ) = φ (y )(h −1 e ) = φ (y )(h −1 )，而 φ (y ) 满足条件函数方程，φ (y )(h −1 ) = φ (y )((h −1 )·e ) 以 g = e , h ′ = h −1 代入：f (e h ′) = h ′−1 ·f (e )，即 f (h −1 ) = h ·f (e )。于是 Φ(φ )(hy ) = h ·(Φ(φ )(y ))。Ψ(ψ ) 落在 Coind 里且 Φ(Ψ(ψ )) = ψ 。 f y uh ) = ψ ((uh )−1 ·y ) = ψ (h −1 u −1 ·y ) = ψ (h −1 ·(u −1 ·y )) = h −1 ·ψ (u −1 ·y ) = h −1 ·f y u )，第三个等号用 ψ 的 H-等变性的逆向形式。而 Φ(Ψ(ψ ))(y ) = f y e ) = ψ (y )。Ψ(Φ(φ )) = φ 。 须证 φ (y )(u ) = φ (u −1 ·y )(e )。右侧 = Φ(φ )(u −1 ·y )；由 φ 的 G-等变性 φ (y ) = φ (u ·(u −1 y )) = u ·φ (u −1 y )，两边在 u 处取值：(u ·φ (u −1 y ))(u ) = φ (u −1 y )((u −1 )−1 u ) = φ (u −1 y )(e )——正是所要的等式。Ψ(ψ ) 是 G-映射 ：须证 Ψ(ψ )(g 0 y ) = g 0 ·Ψ(ψ )(y )，即 f g 0 y u ) = (g 0 ·f y u ) = f y g 0 −1 u )。左侧 = ψ (u −1 g 0 y )，右侧 = ψ ((g 0 −1 u )−1 ·y ) = ψ (u −1 g 0 ·y )——相等（(g 0 −1 u )−1 = u −1 g 0 ）。运行例穷举核对：Y = 两点符号 G-集、X = 两点对换 H-集时两侧同态集各 2 元，双向映射在全部元素上互逆（附录 C）。∎
4.3 集合世界里两个伴随不同构
两个伴随 Ind 与 Coind 都把 H-集变成 G-集，都满足各自方向的互反。它们相同吗？基数已经给出第一声警报：
|Ind X | = [G :H ]·|X | （线性增长） vs |Coind X | = |X |[G :H ] （指数增长）。
定理 4.7（Ind ≇ Coind） 取 G = C 2 = {e , t }（t 2 = e ），H = {e }，X = {0, 1}（H 平凡作用）。则 |Ind X | = |Coind X | = 4，但 Ind X 的轨道型为 (2, 2) 而 Coind X 的轨道型为 (1, 1, 2)——两个 G-集不同构。
证明 Ind 侧。 H 平凡时 Ind X = G × X （例 3.6(iii)），作用 t ·(g , x ) = (tg , x )。t 无不动点（tg = g 迫使 t = e ），故每条轨道长 2，4 元分作 (2, 2)。Coind 侧。 Coind X = {f : G → X } 共 4 个函数；作用 (g 0 ·f )(u ) = f (g 0 −1 u )。f 是不动点当且仅当 f (t −1 u ) = f (u ) 对一切 u ，即 f (e ) = f (t )——常值函数恰 2 个，均为不动点（两条 1-轨道）；剩下的两个非常值函数互换（t ·f (e ) = f (t ) ≠ f (e )），构成一条 2-轨道。轨道型 (1, 1, 2)。轨道型是 G-集的同构不变量（其十定理 2.2 的推论：同构映轨道到轨道并保大小），(2, 2) ≠ (1, 1, 2)，证毕。程序穷举核对（附录 C）。∎
Ind X：轨道型 (2, 2)
·
·
·
·
4 = [G:H]·|X| = 2·2
≠
Coind X：轨道型 (1, 1, 2)
两个不动点
4 = |X|[G:H] = 22
同为 4 元、轨道型不同 ⇒ 不同构：线性世界（有限指标）才重合
图 4-2 同为 4 元、轨道型不同：Ind 是两支对换（自由、线性），Coind 是两个不动点加一支对换（滞留、指数）。
注 4.8（直觉：两种扩充的性格） Ind 把 X 复制 [G :H ] 份（每个陪集一份），按平衡关系缝合——性格是自由的、体积线性的 ；Coind 把 X 摊开成「陪集上的函数空间」——性格是滞留的、体积指数的 。函数世界里不动点天然多（常值函数永远不动），所以 Coind 总带着一堆 1-轨道。集合没有加法，两种扩充势不两立；向量空间有加法，情况将完全改写 ——§6 定理 6.2 证明有限指标时二者线性同构。
4.4 伴随三元组：全图收拢
Ind
左伴随
Res
限制（忘忘 functor）
Coind
右伴随
Ind ⊣ Res：单位 η，余单位 ε
Res ⊣ Coind：ψ(y) = φ(y)(e)
集合世界：两个伴随一般不同构
图 4-3 伴随三元组：Ind ⊣ Res ⊣ Coind 。Res 同时拥有左右两个伴随；集合世界里左右不同构（定理 4.7）。
定理 4.9（伴随三元组） 对子群对 H ≤ G ，三个函子之间有
Ind H G Res H G Coind H G
即 (1.1) 与定理 4.6 两条互反同时成立。此外 Res 忠实且反映同构（命题 2.5）。
思想卡 4（中间那个函子为什么幸运） Res 左右逢源：它既有左伴随（免费获得「最优扩充」）又有右伴随（免费获得「最优余扩充」）。范畴论的口头禅——伴随一出现，万有性质、极限保持、单位余单位整套工具就全部到账 。§5 将兑现这笔账的第一笔（Ind 保余极限、Res 保一切极限），第二笔（Kan 扩张视角），第三笔（Mackey 分解）。§6 兑现最后一笔：线性世界里三元组收缩为 Ind ≅ Coind ，伴随对只剩一对——这是加法替数学家做的减法。
§5 范畴论之眼：Kan 扩张与 Mackey 分解5.1 换一副眼镜：G-集就是函子
前四节的做法是「把定义读懂、把定理证完」。本节换一副眼镜：把整个 G-Set 当作一个范畴对象来看 。一旦站到这个高度，限制与诱导就不再是两个孤立的手工构造，而是同一台机器（Kan 扩张）在两个方向上的输出 ；而 §2 的轨道分裂、§3 的平衡商，也各自获得一条统一的解释。
眼镜的度数要从群本身说起。把群 G 看成一个只有一个对象的范畴：对象记作 ∗，态射就是 G 的元素，复合就是乘法，恒等态射是 e 。因为每个态射都可逆（g −1 ），这是一个群胚 。
定义 5.1（单对象群胚 BG ） 记 BG 为范畴：Ob(B G ) = {∗} ，HomB G G ，复合为群乘法，恒等为 e 。同理对子群 H ≤ G 有 BH ，含入 i ：BH → BG H ↪ G 。
命题 5.2（G-Set = 函子范畴） 存在范畴同构 G-Set ≅ [BG , Set] ，其中右边是函子 BG → Set 与自然变换构成的函子范畴。
证明 把两边的资料逐条对账。对象层 ：一个函子 F ：BG → Set 给出 (i) 一个集合 F (∗)；(ii) 每个 g ∈ G 一个映射 F (g )：F (∗) → F (∗)；(iii) 函子性 F (e ) = id 与 F (g 1 g 2 ) = F (g 1 ) ∘ F (g 2 )。这三条与「集合＋G -作用」的三条公理逐字对应 ，无需任何翻译。态射层 ：一个自然变换 α ：F ⇒ F ′ 在每个对象上给一个映射——这里只有一个对象，故就是一个映射 α ∗ ：F (∗) → F ′(∗)；自然性方块退化为单个交换条件 F ′(g ) ∘ α ∗ = α ∗ ∘ F (g )，即 α ∗ (gx ) = g ·α ∗ (x )——正是等变。函子性 ：两侧的复合都是映射的复合，恒等也是同一个。两个方向（送 X 到「∗ ↦ X 、g ↦ g ·(−)」与送 F 到 F (∗)）互为逆，均显然。∎
注 5.3（这层翻译立刻带来什么） 函子范畴 [C , Set] 的小极限与小余极限都存在，且逐点计算 （在 C X × Y 带对角作用 g ·(x , y ) = (gx , gy )；余积为不交并（g 在两侧分别作用）；终对象是单点集（平凡作用）；始对象是空集；等化子是不动点集 X G Res 保积与余积」，在这里只是「预复合保一切极限制式」的一个特例；§5.4 会把这句话说全。
5.2 Kan 扩张：一个定义，两个方向
有了函子范畴这层翻译，「沿子群取限制」就变成一个纯粹的范畴操作：预复合 。令 i ：BH → BG
i ∗ ：[BG , Set] → [BH , Set] ， i ∗ (X ) = X ∘ i ，
正是 Res ：同一个集合，只保留 H 里那些作用。而「诱导」要反过来：从一个 H -集造一个 G -集，并且造得「最经济」。范畴论对「最经济地反向搬运」有一个标准答案，就是 Kan 扩张。
定义 5.4（左、右 Kan 扩张） 设 i ：C → D F ：C → E 是函子。沿 i 的左 Kan 扩张 是一个函子 Lani F ：D → E 配一个自然变换 η ：F ⇒ (Lani F ) ∘ i ，使得对任意函子 H ：D → E 与自然变换 α ：F ⇒ H ∘ i ，存在唯一自然变换 β ：Lani F ⇒ H 使 β i η = α 。等价说法：Lani i ∗ 的左伴随 。右 Kan 扩张 Rani i ∗ ⊣ Rani
注 5.5（名字里的方向） 定义里唯一要盯住的是 η 的方向。左 Kan 扩张给出一张从原函子出发 的映射 F ⇒ Lan ∘ i ，配「到任意 H 的映射被它唯一分解」——这是余极限式的万有性质（每个点向外发射）。右 Kan 扩张反过来：给出 Ran ∘ i ⇒ F ，配「来自任意 H 的映射被它唯一分解」——极限式（每点向内接收）。这就是为什么 §4 里单位 η 写成 x ↦ [e , x ]（向外的单射）而余单位写成 [g , y ] ↦ gy （向内的满射）：它们本来就是两种 Kan 扩张的单位与余单位。
5.3 点式公式：把 Kan 扩张算出来
定义只说「存在唯一」，没说怎么算。当目标范畴是 Set 这类余完备范畴时，Kan 扩张有显式的点式公式 ，而公式里的指标范畴恰好是正文反复用到的那几族陪集。
定理 5.6（Kan 扩张的点式公式） 设 i ：C → D F ：C → Set。对 d ∈ D ，以 (i ↓ d ) 记逗号范畴 ：对象为偶 (c , f ：ic → d ) ，态射 (c , f ) → (c ′, f ′) 为 u ：c → c ′f ′ ∘ iu = f 。则
Lani F (d ) ≅ colim(c ,f ) ∈ (i ↓d ) F (c )， Rani F (d ) ≅ lim(c ,f ) ∈ (d ↓i ) F (c )。
证明 只证左式，右式对偶（把余锥换成锥、余极限换成极限，所有箭头反向，逐步照抄）。第一步：造 η 。 对 c ∈ C ，对象 (c , idic i ↓ ic ) 是余锥的一个顶点，故有余锥的余投影 F (c ) → colim；这些投影随 c 自然，给出 η ：F ⇒ Lani F ∘ i 。第二步：造 β 。 给定 α ：F ⇒ H ∘ i ，要造 β d H (d )。用余极限的万有性质，只需给出一个余锥：对每个对象 (c , f ：ic → d ) 指定 F (c ) → H (d ) 为 H (f ) ∘ α c u ：c → c ′f ′ ∘ iu = f ），需 H (f ′) ∘ α c ′F (u ) = H (f ) ∘ α c α 的自然性左边等于 H (f ′) ∘ H (iu ) ∘ α c H (f ′ ∘ iu ) ∘ α c β d 第三步：唯一性与自然性。 余极限由它的余锥唯一决定（任何满足条件的 β 必须与所有余投影复合为上述指定映射），故唯一；自然性对 d → d ′ 逐点由余锥的比较给出。第二步中「α 的自然性恰好是余锥条件」是关键——这也说明为什么点式公式只对余完备 的目标范畴成立。∎
定理 5.7（三个函子的真名） 取 i ：BH → BG H -集 X ：
Lani X ≅ Ind H G X ， Rani X ≅ Coind H G X ， i ∗ = Res H G
证明 逗号范畴是什么。 两个范畴都只有一个对象 ∗，故 (i ↓ ∗) 的对象是「i (∗) = ∗G 的元素 g （把对象写成偶 (∗, g ) ）。态射 g → g ′h ∈ H 使 g ′ ∘ i (h ) = g ，即 g ′h = g h 后 g ′）。左式。 常函子 F ≡ X （每个 g 都给 X ）沿此范畴取余极限：每个态射 h ：g ′h → g ′ 诱导的黏合把 g ′h 格上的 x 与 g ′ 格上的 h ·x 认同（注意 F (h ) 在 H -集上就是 h 的作用）。于是
colim(i ↓∗) X = (⊔g ∈G X ) / ⟨(g ′h , x ) ∼ (g ′, hx )⟩，
把 g = g ′h 读作「g 与 g ′ 相差一个右 H 因子」，正是定义 3.1 的平衡关系：这就是 G ×H X 。上式的商集自带 G -作用（左乘 g 0 与黏合交换，命题 3.2），且它满足的万有性质与定理 3.4 逐字相同（一个平衡映射就是一个余锥）。故 Lani X ≅ Ind X 。右式。 此时用 (∗ ↓ i ) ：对象是 g ∈ G （偶 (∗, g ) ），态射 g → g ′h ∈ H 使 i (h ) ∘ g = g ′，即 g ′ = hg (x g g ∈G 满足 x hg h ·x g f (u ) := x u −1 f (g −1 h −1 ) = h ·f (g −1 )；把 g −1 改写为 v 、h −1 改写为 h ′（H 对取逆封闭），得 f (vh ′) = h ′−1 f (v )——正是定义 4.4 的条件。故 Rani X = 满足该条件的函数集 = Coind X ，其 G -作用由 D = BG 的自同构复合给出，即 u ↦ g 0 u 的预复合，也即命题 4.5 的公式。∎
[BG , Set]
G-集世界
[BH , Set]
H-集世界
i* = Res
预复合
Lani = Ind
左 Kan 扩张
Rani = Coind
右 Kan 扩张
函子范畴的视角：G-集 = BG 上的预层
点式 Kan 公式一算，平衡商 G ×H X 自动现身
图 5-1 Kan 扩张的双向图形：BH 上的 X 沿 i 向左扩张得 Ind X （余极限，各点向外发射），向右扩张得 Coind X （极限，各点向内接收）；Res 是预复合 i ∗ 。
注 5.8（一句话的总账） §2 到 §4 的全部构造现在各就各位：Res = i ∗ （预复合，永远存在）；Ind = Lani 左 Kan 扩张，用余极限实现）；Coind = Rani 右 Kan 扩张，用极限实现）。三条定理——定理 3.4（Ind ⊣ Res ）、定理 4.6（Res ⊣ Coind ）——合并起来只是「左 Kan 扩张 ⊣ 预复合 ⊣ 右 Kan 扩张」这一条一般定理在 BH → BG 上的落地。真正做数学的力气花在认出「逗号范畴 = 陪集」；认出之后，定理是免费的。
5.4 伴随的极限礼包：谁保什么
Kan 扩张的定义是万有性质，而万有性质有一个标准副产品：左伴随保余极限、右伴随保极限 。§4 已证 Ind ⊣ Res ⊣ Coind ，于是礼包自动打开。
定理 5.9（守恒清单） 设 H ≤ G 。则：(1) Res 保一切小极限与一切小余极限；(2) Ind 保一切小余极限（特别地 Ind ∅ = ∅、Ind (X ⊔ Y ) ≅ Ind X ⊔ Ind Y ）；(3) Coind 保一切小极限（特别地 Coind (X × Y ) ≅ Coind X × Coind Y ）。
证明 「左伴随保余极限」的标准论证如下（右伴随版对偶）：设 F ⊣ U ，D ：J → C 有余极限 L 。则对任意 Y ，
Hom(F (colim D ), Y ) ≅ Hom(colim D , UY ) ≅ limj Dj , UY ) ≅ limj FDj , Y ) ≅ Hom(colim F D , Y )，
其中第一个与第三个是同构（伴随），第二个与第四个是余极限的定义（Hom 把余极限送到极限）。由 Yoneda 引理，两端 Hom 函子自然同构蕴含 F (colim D ) ≅ colim F D 。(1) Res 既是左伴随（Ind ⊣ Res ）又是右伴随（Res ⊣ Coind ），故两句话都适用；这一点也可直接验证：Res 就是预复合 i ∗ ，而函子范畴的极限逐点计算（注 5.3），预复合不改变逐点性。(2)(3) 由 (1) 的同一论证分给左右两个伴随。∎
注 5.10（礼包的边界：不保的那个方向） 礼包只承诺一侧。Ind 一般不保极限Ind (X × Y ) 与 Ind X × Ind Y 大小就不等（前者 = [G :H ]|X ||Y |，后者 = [G :H ]2 |X ||Y |；取 H = e 、|G | = 6、|X | = |Y | = 2 即 24 对 144），更不必说同构。Coind 一般不保余积Coind (X ⊔ Y ) = (X ⊔ Y )[G :H ] ，与 Coind X ⊔ Coind Y 的大小 [G :H ](|X | + |Y |) 一般不同。这两个「不保」正是 §4 定理 4.7（Ind ≇ Coind ）在无穷远处的回声：一个往外摊（余极限式），一个往里收（极限式），摊与收当然不交换。
5.5 Mackey 分解：限制与诱导的复合
已经会算「限制」「诱导」以及「诱导后再限制到同一子群」（§2 定理 2.6）。剩下最自然的问题是复合：先诱导到 G ，再限制到另一个子群 K 。答案是表示论里著名的 Mackey 公式；在集合世界里它有一个异常干净的形状——按双陪集分块，每块是一枚更小的诱导 。
定理 5.11（Mackey 分解，集合版） 设 H , K ≤ G ，X 是 H -集。对每个双陪集代表 d ∈ K ∖G /H ，记 L d K ∩ dHd −1 ，并令 X d X 配 L d
c ·d x := (d −1 cd ) · x ， c ∈ L d
（因 c ∈ dHd −1 保证 d −1 cd ∈ H ，故右边有意义）。则在 K -集范畴中有自然同构
Res K G Ind H G X ≅ ⊔d ∈ K ∖G /H Ind L d K X d
证明 全程用显式描述：Ind H G X = G ×H X ，元素记 [g , x ]，平衡关系 (gh , x ) = (g , hx )。第一步：按双陪集切块。 把 G 写成不交并 G = ⊔d KdH ，并令 Z d g , x ] : g ∈ KdH }。平衡关系只改动 g 的右 H 因子（g ↦ gh ），而右乘 H 不改变双陪集，故「g 属于哪个 KdH 」是类的不变量：若 [g ,x ] = [g ′,x ′] 则 g ′ = gh ，与 g 同属一块。又 K 的左乘不改变双陪集（k ·KdH = KdH ），故每块 Z d K -子集，且
Res K G Ind H G X = ⊔d Z d K -集的不交并）。
第二步：认出每一块的形状。 块内任一元素写成 [kdh , x ]，k ∈ K 、h ∈ H 。用平衡关系前移 h ：
[kdh , x ] = [kd , hx ]，
故 Z d kd , y ] : k ∈ K , y ∈ X }。于是可以写下一个候选映射
φ ：K ×L d X d Z d k , y ] ⟼ [kd , y ]。
第三步：φ 良定义。 需验证对 c ∈ L d kcd , y ] = [kd , c ·d y ]。令 h := d −1 cd ∈ H ，则 cd = dh ，左边 = [kdh , y ] = [kd , hy ] = [kd , (d −1 cd )y ] = 右边。这一步同时说明了 X d 共轭 形式：它是把 L d H 的作用的唯一方式。第四步：φ 是 K -映射且双射。 等变性：k 0 ·[k ,y ] = [k 0 k , y ] ↦ [k 0 kd , y ] = k 0 ·[kd , y ]，两侧都是左乘。逆映射：由第二步的表示唯一性，ψ ：[kd , y ] ↦ [k , y ]；需验其良定义，即若 [kd , y ] = [k ′d , y ′]，则 k ′−1 k 无妨设为 k ′ = k （同块内 d 侧的差异已在前一步吸收）：两元素相等意味着存在 h ∈ H 使 kd ·h = k ′d 且 y ′ = hy ；于是 k ′ = kdh d −1 ∈ k ·L d k ′ = kc 、c = dhd −1 ∈ L d c ·d y = (d −1 cd )y = hy = y ′，故 [k ′, y ′] = [kc , hy ] = [k , c ·d y ] = [k , y ] 在 K ×L d X d ψ 良定义，且 φψ = id、ψφ = id。合起来，Z d Ind L d K X d H -映射 X → X ′ 逐块逐点成立（两侧都只是把它作用在第二分量上）。∎
ResK IndH X
d1
d2
d3
沿双陪集 K\G/H 切开
分解
IndK∩d1 Hd1 -1 }K (Xd1 })
IndK∩d2 Hd2 -1 }K (Xd2 })
IndK∩d3 Hd3 -1 }K (Xd3 })
Xd 上的作用：c ⋆ x = (d-1 cd)·x
每块的轨道数由 H∩d-1 Kd 决定
图 5-2 Mackey 分解：G 按双陪集 KdH 切成若干块，Ind X 随之切成若干片；限制到 K 后每片各自成为一枚诱导 Ind L d K X d K -轨道相通。
例 5.12（运行例的 Mackey 账本） 取 G = S 3 。三笔账，全部经程序逐点核对（附录 C）。(a) H = A 3 ，K = H 2 = {e , (12)}，X = A 3 正则。因 |K ||H | = 6 = |G | 得 KH = G ，双陪集只有一块，L = K ∩ A 3 = {e }。右侧 = Ind {e } K X ) = K × X ，2 × 3 = 6 元；K 在 K 上左正则、在 X 上平凡，故轨道 = 三个 2 元块，轨道型 (2, 2, 2)，与左侧 Res K Ind H X 的实测轨道型 (2, 2, 2) 一致。(b) H = K = H 2 ，X = {0, 1} 带对换作用。此处 H 2 ∖G /H 2 有两块：{e } 型（2 元）与 (123) 型（4 元）。第一块 L = H 2 、X e X ，贡献 Ind H 2 H 2 X = X （2 元、单轨道）；第二块 d = (123)、L = K ∩ dH 2 d −1 = {e }，贡献 Ind {e } H 2 X d (c) 作为对照，(a) 与 (b) 的左侧大小都是 6，但块的个数不同 （1 块对 2 块）——Mackey 公式记录的不只是轨道型，还包括「怎么分片」这层更细的信息。
注 5.13（为什么表示论里它那么重要） 在线性世界里，Mackey 公式是判断「诱导表示不可约」的核心工具（不可约性判据：对每个 d ∉ H ，两块之间的 intertwining 算子必须为零）。集合版保留了全部组合内容却没有线性结构，因此它是判据的骨架 ：轨道型可以逐块加总，而线性结构才允许「算子为零」这种更精细的判断。§6 会把 X 换成模、把 ⊔ 换成 ⊕，这条骨架将原样搬过去。
思想卡 5（一台机器，三个输出） 本节的内容可以压缩成一句话：限制是预复合，诱导是左 Kan 扩张，余诱导是右 Kan 扩张；三者构成「左 ⊣ 中 ⊣ 右」的链条。 这句话的力量在于可移植性——凡是形如「小范畴含入」的场景（子群、子环、子幺半群、开子集、层的拉回），同一台机器都在运转：预复合永远存在，左右 Kan 扩张在目标范畴足够完备时存在，成立则自动获得单位、余单位、三角形恒等式、极限守恒、以及一条「分块」公式（Mackey 的一般形态是沿着拉回的分解 ）。§6 就按这条路线，把 H ≤ G 换成环同态、把集合换成模，看看哪些结论原封不动，哪些必须重新定价。
§6 换作用者：环、模与幺半群6.1 同一台机器的第二次开机
§1 到 §5 的一切都建立在「子群含入 H ↪ G 」之上。但回看 §5 的结论，真正被用到的只有三件事：(i) 有一个「遗忘式」的函子（预复合）；(ii) 目标范畴足够完备，能取余极限与极限；(iii) 该函子有左、右伴随。这三件事与「群」没有必然关系。本节把作用者换掉，看哪些结论原封不动地搬过去，哪些必须重新定价。
注 6.1（替换的路线：先线性化，再抽象） 最省力的替换是把群换成环 。理由很直接：群 G 的作用可以线性化——取一个交换环 k ，作群环 k [G ]；一个 G -集换成 k [G ]-模（即 G 的线性表示），「等变映射」换成「模同态」。而子群含入 H ↪ G 线性化之后成为环含入 k [H ] ↪ k [G ]。于是问题变成：给定环同态 φ ：R → S ，R -模与 S -模之间怎样来回搬运？
定理 6.2（扩张与限制标量：三件套） 设 φ ：R → S 是含壹环同态。三个函子：限制标量 φ ∗ ：S -Mod → R -Mod（同一加法群，r ·m := φ (r )m ）；扩张标量 S ⊗R R -Mod → S -Mod；余扩张 HomR S , −)：R -Mod → S -Mod（S 视为 (S , R )-双模，作用 (s ·h )(t ) := h (ts )）。则
S ⊗R φ ∗ ⊣ HomR S , −)。
证明 两条伴随都给出显式双射，互为逆。(a) 左伴随。 对 R -模 M 与 S -模 N ：
Φ：HomS S ⊗R M , N ) ⟶ HomR M , N )， f ⟼ (m ⟼ f (1 ⊗ m ))，
其逆把 g ：M → N 送到 s ⊗ m ↦ s ·g (m )。良定义：s ⊗ rm ↦ s ·g (rm ) = s ·r ·g (m ) = (sr )·g (m ) = sr ⊗ m 的像，两条路一致——这就是张量积的平衡关系在起作用。两个复合为恒等按定义直接读出（f (s ⊗ m ) = f (s ·(1 ⊗ m )) = s ·f (1 ⊗ m )）。(b) 右伴随。 对 S -模 N 与 R -模 L ：
Ψ：HomR N , HomR S , L )) ⟶ HomS N , L )， g ⟼ (n ⟼ g (n )(1))，
其逆把 f ：N → L （R -线性）送到 n ↦ (s ↦ f (sn ))。检验：这个 g (n ) 确实 R -线性（s ↦ f (sn ) 对 s 线性）；g 本身 R -线性；且 g 落在 HomR N , −) 之后还要 g (n ) 与 S -作用相容，此处正是双模作用的方向所在：g (s 0 n )(s ) = f (s s 0 n ) = g (n )(s s 0 ) = (s 0 ·g (n ))(s )，其中最后一步用的就是 (s·h)(t) = h(ts) 这条约定——S 的新变量从右边进入参数h (ts ) 而参数在左，这条相容性就不成立；这与定义 4.4 中「f (gh ) = h −1 f (g )」把 H 放到参数右侧，是同一件事的两种写法。两个复合互逆按 1 ⊗ − 与「s = s ·1」逐点读出。∎
S-模
R-模
S ⊗R −
Res
HomR (S, −)
环同态 R → S 的三函子链
ℤ → ℤ[i]：扩张标量两例
3 ↦ ℤ[i]/(3)
惯性素数
5 ↦ ℤ[i]/(5)
分裂素数
ℤ[i]/(3) ≅ F9 （9 元域）
ℤ[i]/(5) ≅ F5 × F5 （5 = (2+i)(2−i)）
限制与诱导在数论里照常营业
图 6-1 扩张标量的三函子链：R -Mod 与 S -Mod 之间，S ⊗R φ ∗ （预复合）、HomR S , −)（右伴随，保极限）三者首尾相接，形状与 §4 的 Ind ⊣ Res ⊣ Coind 完全同构。
把两套语言并排放在一起，对应关系精确到每一项：
群的世界 模的世界 两者共有的机制 Ind X = G ×H X S ⊗R M 平衡积：把一侧的作用搬到另一侧 (gh , x ) ∼ (g , hx ) sr ⊗ m = s ⊗ rm 平衡关系（张量的定义式） 右 H -作用自由，每类 |H | 元 S 是自由右 R -模（秩 [G :H ]）自由性 ⇒ 大小的乘法公式 Coind X = {f ：G → X ，f (gh ) = h −1 f (g )}HomR S , L ) 右伴随 = 函数模，作用从右侧进参数 Frobenius 互反（定理 3.4、4.6） 张量–Hom 伴随 同一条伴随关系
表 6-1 两套语言的对账表——右列是真正的机制，左右两列只是它在不同范畴里的化身。
6.2 线性世界里两个伴随何时重合
§4 定理 4.7 说：在集合世界里 Ind 与 Coind 一般不同构（大小就不同，轨道型也不同）。但表示论教科书里常写「有限群情形下诱导与余诱导自然同构」。这两句话并不冲突——差别在于有没有加法 。
命题 6.3（有限指标 ⇒ 两个伴随重合） 设 k 是域，H ≤ G 且 [G :H ] < ∞。则存在 k [G ]-模的自然同构
k [G ] ⊗k [H ]M ≅ Homk [H ]k [G ], M )。
证明 取左陪集横截系 T ⊂ G ，即 G = ⊔t ∈T tH ，|T | = [G :H ] < ∞。(a) 两个模的结构。 诱导模以 {t ⊗ mj } 为 k -基（mj 取 M 的 k -基）；余诱导模由「H -线性映射 k [G ] → M 」组成，因 k [G ] 是自由右 k [H ]-模、以 T 为基，这样的映射由它在 T 上的取值任意决定，故也以 {t ↦ mj ，其余为 0} 为基。两侧同为 [G :H ]·dim M 维。(b) 造映射。 定义
Φ：Homk [H ]k [G ], M ) ⟶ k [G ] ⊗k [H ]M ， f ⟼ Σt ∈T t ⊗ f (t )。
这里 Σ 是全部的秘诀 ：f 在 T 上取 [G :H ] 个值，把这些值「打包成一个元素」需要加法，而有限性保证这个和有意义。(c) G -等变。 设 g 0 ∈ G ，记 g 0 ·f 为 u ↦ f (g 0 −1 u )。则
Φ(g 0 ·f ) = Σt t ⊗ f (g 0 −1 t )。
对每个 t ，把 g 0 −1 t 唯一写成 t ′h （t ′ ∈ T 、h ∈ H ），则 t = g 0 t ′h ，于是
t ⊗ f (t ′h ) = t ⊗ h −1 f (t ′) = t h −1 ⊗ f (t ′) = g 0 t ′ ⊗ f (t ′)，
中间一步用了平衡关系 (gh , x ) ∼ (g , hx ) 的反向。而 t ↦ t ′ 是 T 上的双射，故求和等于 Σt ′g 0 t ′ ⊗ f (t ′) = g 0 ·Φ(f )。注意 h −1 这一步 ：用到的正是「H 中元素可逆」。(d) 双射。 在基上验证：若 f 只在 t 0 处取 m ，则 Φ(f ) = t 0 ⊗ m ，故 Φ 把「t 0 处的基向量」送到「t 0 ⊗ mj 」，是两组基之间的置换加线性同构，从而双射。∎
注 6.4（集合世界为什么永不重合） 把上面的 Σ 摊开看，它其实是「f 的 [G :H ] 个值」合成一个对象。集合世界里没有这种合成：一个集合不能由若干个元素「求和」得到。§4 定理 4.7 的反例正是这句话的量化：Coind 的元素是一个函数（在三个陪集上各取一个值，8 种），Ind 的元素是一个类（4 个），两个数对不上，谈不上双射。所以：加法替数学家做了一次减法——把两条伴随合成一条。
注 6.5（指标无限时线性世界也会分手） 令 H = {e }、G 无限、M = k 。则 Ind = k [G ] ⊗k k ≅ k (G ) （有限支撑 函数，即以 G 为基的自由模），而 Coind = Homk k [G ], k ) ≅ k G 全部 函数）。二者作为 k [G ]-模不同构（对无限 G ，后者的对偶性更强：k G 有限 和，无限横截系下它不收敛——这就是分裂的真正来源。§4 的集合版反例与这里的无限指标反例，是同一件事在两个范畴里的两次现身。
6.3 特征标：把互反变成一行内积
表示论里最有用的不是模本身，而是它的特征标。Frobenius 互反在特征标层面有一个极简形态，而它的证明已经由 §4 的伴随备好了。
定义 6.6（特征标与内积） 设 k = ℂ，V 是有限维 G -模。其特征标 为类函数 χ V g ) := tr(g | V )。两个类函数的内积 ⟨χ , ψ ⟩G G |) Σg ∈G χ (g )ψ (g ) 。基本事实（本节只用到它的一条推论）：dim HomG V , W ) = ⟨χ V χ W G
定理 6.7（Frobenius 互反的特征标形态） 设 H ≤ G 有限，χ 是 H -模 M 的特征标，ψ 是 G -模 W 的特征标。则
⟨Ind H G χ , ψ ⟩G χ , Res H G ψ ⟩H
证明 由定理 3.4（集合版互反）的线性化：k [G ]-模同态 Ind M → W 与 k [H ]-模同态 M → Res W 之间的双射 φ ↦ (m ↦ φ(1 ⊗ m)) 是ℂ-线性 的（两侧都是 ℂ-向量空间，映射在两个方向上都是加法的、且与标量乘法交换），故它给出两个 Hom 空间的同构，特别地维数相等。再用定义 6.6 的两条基本事实（两边各一次）即得。∎
例 6.8（S 3 取 G = S 3 、H = H 2 = {e , (12)}。三类：单位元（1 个）、对换（3 个）、三循环（2 个）。三个不可约特征标与两个 H -特征标：
类函数 1（1 元） 对换（3 元） 三循环（2 元） χ 1 （平凡）1 1 1 χ sgn （符号）1 −1 1 χ std （标准，2 维）2 0 −1 Ind 1H 3 1 0 Ind sgnH 3 −1 0
表 6-2 S 3 的特征标表与两个诱导特征标（诱导按 (1/|H |)Σu χ (u −1 gu ) 逐类算得，程序已核）。
末两行立刻给出分解：Ind 1H χ 1 + χ std （(3, 1, 0) = (1, 1, 1) + (2, 0, −1)），Ind sgnH χ sgn + χ std （(3, −1, 0) = (1, −1, 1) + (2, 0, −1)）。这两条分解各自也可以在集合层看到：Ind H 2S 3H -集诱导）正是 S 3 在三条棱上的作用，其置换表示 = 平凡 + 标准；而对换 H -集诱导出的六点集，在符号扭转下给出另一组。互反的九个配对 ⟨Ind χ , ψ ⟩G χ , Res ψ ⟩H χ 与 ψ 各取三个不可约特征标，共九种配对）全部成立，程序穷举核对。
6.4 扩张标量的两个小实验
「诱导」在交换代数与数论里的名字是扩张标量 。取 R = ℤ、S = ℤ[i ]（高斯整数环）、φ 为含入，则 S ⊗ℤ − 把 n ↦ ℤ/n 送到 ℤ[i ]/(n )。两个素数给出两种截然不同的命运。
例 6.9（惯性 与 分裂） (a) n = 3。 3 ≡ 3 (mod 4)，在 ℤ[i ] 中仍为素元，故 ℤ[i ]/(3) 是 9 元域 𝔽9 ：它的 9 个元素中除 0 外全部可逆 （程序逐一验证：8 个非零元都找到乘法逆）。作为 ℤ[i ]-模，𝔽9 的理想只有 0 与自身，故不可分解 ——单性在扩张后保住了。(b) n = 5。 5 = (2 + i )(2 − i )，两个因子互素，中国剩余定理给出环同构
ℤ[i ]/(5) ≅ 𝔽5 × 𝔽5 ， a + bi ⟼ (a + 2b , a − 2b ) (mod 5)，
其中 2 与 −2 恰是 −1 在 𝔽5 中的两个平方根（22 = 4 ≡ −1，(−2)2 ≡ −1），程序验证该映射满射（像有 25 个元素）、保乘法、核平凡。作为 ℤ[i ]-模，𝔽5 × 𝔽5 分裂成两个单模之积——单性在扩张后失去了 。两种命运的分界就是「素元在 S 中是否保持素」：保持者为惯性，破裂者为分裂。这与 §5 注 5.10 是同一件事的两个侧面：扩张标量是左伴随，保余极限而不保积 ，而「分裂成两块」正是积的分解；不保积，于是不可分解性不保证存活。
6.5 幺半群：唯一真正失效的地方
把 H ≤ G 换成幺半群含入 N ⊆ M ，平衡积的构造照样能做（张量积只要求结合律与单位，不要求逆），万有性质照样成立。但 §3 命题 3.3 的那条计数——「每个平衡类恰有 |H | 个代表」——会塌掉，连带单位 η 的单射性一起塌掉。
例 6.10（η 不再单射） 取幺半群含入 ℕ ⊆ ℤ（加法，ℕ 含 0）。一个 ℕ-集就是一套动力系统：元素 n ∈ ℕ 作用为 T n X = {a , b , c }，T ：a ↦ c 、b ↦ c 、c ↦ c （两条尾合并）。诱导对象是 ℤ ×ℕ X ，平衡关系 (n + k , x ) ∼ (n , T k x )。取 n = −1、k = 1：
(0, a ) ∼ (−1, Ta ) = (−1, c )， (0, b ) ∼ (−1, Tb ) = (−1, c )，
故 η (a ) = [0, a ] = [0, b ] = η (b )，而 a ≠ b 。单位 η 不是单射 ，原本能区分开的两个点被诱导「修复」成了同一个。原因在命题 3.3 的证明里：那里「每个类恰 |H | 个代表」用的是右 H -作用自由，而自由的证明用了 h −1 ；ℕ 中没有 h −1 ，右侧作用因此不再可逆，类的大小不再恒定，η 的单射性随之失守。程序对 n ∈ [−4, 8] 的窗口做了并查集核算，确认 η (a ) = η (b )。
注 6.11（哪些还活着） 失败的只是「单位是单射」这一条（以及依赖它的 Frobenius 互反的满射 侧）。仍然成立的：(i) 平衡积构造与万有性质（定义 3.1、定理 3.4 的表述不涉及逆）；(ii) 诱导的传递性（§3 命题 3.10 的证明只用结合律）；(iii) 保余极限（§5 定理 5.9 只用伴随）。对照实验：把 X 换成 ℕ 上平移动力系统（T (x ) = x + 1），T 可嵌，η 立刻恢复单射（程序验证 6 个点全被区分）。差别的全部内容是「尾是否合并」 ：群的逆结构禁止合并，幺半群允许合并。
思想卡 6（骨架与器官） 本章的四次换装可以写成一句话：「预复合 + 左 Kan + 右 Kan」是骨架，「目标范畴有没有加法、作用者有没有逆」是器官。 骨架决定了必然出现的东西：三条伴随、单位与余单位、三角形恒等式、极限守恒、分块公式。器官决定了两件可变的事：第一，左右两个伴随是否重合（有加法且有限指标才重合——积分/求和是合成的手段）；第二，平衡类是否有恒定大小（有逆才恒定，于是单位单射）。回看 §1 的全景图，读者不妨把它读成一张骨架透视图 ：从 G-集到模到幺半群-集，图的形状不变，只是每一处的「器官」不同，因而每一条结论的强弱不同。这也解释了为什么现代数学愿意用「沿函子的 Kan 扩张」这种抽象语言写作——抽象不是损失，而是把可变的部分一次说清 ，此后每个具体范畴只需核对两三个局部性质。
附录 A 伴随三元组词典本册的主结论可以用一行箭头串起来：左伴随 ⊣ 预复合 ⊣ 右伴随 。下表把这条箭头在不同场景里的化身并排列出，供日后遇到「沿某个映射来回搬运结构」时对号入座。【陈述级】的表行只给对应关系，不在本册内证明。
场景 预复合（遗忘方向） 左伴随（重建方向） 右伴随（对偶方向） 出处 子群 H ≤ G ，G-集 Res ：忘掉 H 之外的作用Ind X = G ×H X Coind X = {f ：G → X ，f (gh ) = h −1 f (g )}§2–§4 环同态 φ ：R → S ，模 限制标量 φ ∗ 扩张标量 S ⊗R 余扩张 HomR S , −) §6.1 有限群表示，k [H ] ↪ k [G ] 限制表示 诱导表示 k [G ] ⊗k [H ] 余诱导 Homk [H ]k [G ], −) §6.1–6.3 幺半群含入 N ⊆ M ，集合 预复合 M ×N X （万有性质在，单位不单）受条件函数集 §6.5 开子集 j ：U → X ，层【陈述级】 拉回 j −1 紧支前推 j ! 前推 j ∗ 附录 A 集值预层，i ：BH → BG i ∗ Lani Rani §5.1–5.3
表 A-1 伴随三元组词典——同一台机器的六次开机。
附录 B S 3 全书反复使用 G = S 3 、H = H 2 = {e , (12)}、A 3 = {e , (123), (132)} 这三个对象。下表把要用到的数一次列全，均经程序核对。
K ∖ H {e } H 2 A 3 G {e } 6 3 2 1 H 2 3 2 1 1 A 3 2 1 2 1 G 1 1 1 1
表 B-1 双陪集个数 |K ∖G /H |。按定理 2.6，它同时是 Res K Ind H X 的轨道数（对任意 H -集 X ）；按定理 5.11，它还是 Mackey 分解的块数。
例子 |Ind X | |Coind X | 轨道型对照 G = S 3 ，H = {e }，X = 单点6（正则） 1 正则 6 元对常值函数 1 元 G = C 2 ，H = {e }，|X | = 24 4 (2, 2) 对 (1, 1, 2)——大小相同，型不同 G = S 3 ，H = A 3 ，X = A 3 正则6 32 = 9 定理 4.7 的最小反例（集合世界）
表 B-2 Ind 与 Coind 的三个标本。Coind 的大小恒为 |X |[G :H ] ，Ind 的大小恒为 [G :H ]|X |。
附录 C 一份可复跑的核对脚本正文引用的计算——陪集与双陪集、限制后的轨道分裂、平衡类的个数与自由作用、Frobenius 互反的显式双射、特征标互反的诱导值、ℤ[i ]/(3) 与 ℤ[i ]/(5)、幺半群反例——逐项可在下述脚本复跑。标准库实现，无第三方依赖；全部断言通过时打印一行提示。
# resind_check.py —— C-ST-12 数值核对（python3 即跑，只用标准库）
import itertools
S3 = sorted(set(itertools.permutations(range(3))))
E, R, T = (0, 1, 2), (1, 2, 0), (1, 0, 2)
mul = lambda a, b: tuple(a[b[i]] for i in range(3)) # 先 b 后 a
inv = lambda a: tuple(a.index(i) for i in range(3))
H2, A3 = [E, T], [E, R, mul(R, R)]
def cos(G, H): # 左陪集
return sorted({frozenset(mul(g, h) for h in H) for g in G}, key=str)
def dcos(G, K, H): # 双陪集 K\G/H
return sorted({frozenset(mul(mul(k, g), h) for k in K for h in H)
for g in G}, key=str)
def orbs(G, act, X):
seen, out = set(), []
for x in X:
if x in seen:
continue
o, st = {x}, [x]
while st:
for g in G:
z = act(g, st[-1])
if z not in o:
o.add(z)
st.append(z)
st.pop()
seen |= o
out.append(o)
return out
# 1-2. 陪集、双陪集；限制后的轨道分裂（X = S3/H2，传递）
Cs = cos(S3, H2)
act_c = lambda g, c: frozenset(mul(g, u) for u in c)
assert len(Cs) == 3 and len(dcos(S3, H2, H2)) == 2
assert len(orbs(S3, act_c, Cs)) == 1 # 传递
assert len(orbs(H2, act_c, Cs)) == len(dcos(S3, H2, H2))
assert sorted(len(o) for o in orbs(H2, act_c, Cs)) == [1, 2]
# 3. 诱导：|Ind X| = [G:H]·|X|，每类恰 |H| 元，G-作用良定义
X, actH = [0, 1], (lambda h, x: 1 - x if h == T else x)
def ind(G, H, X, act):
pairs = [(g, x) for g in G for x in X]
par = {p: p for p in pairs}
def find(p):
while par[p] != p:
par[p] = par[par[p]]
p = par[p]
return p
for (g, x) in pairs:
for h in H:
a, b = find((mul(g, h), x)), find((g, act(h, x)))
if a != b:
par[a] = b
r = {}
for p in pairs:
r.setdefault(find(p), []).append(p)
key = sorted(r, key=str)
return ({p: i for i, k in enumerate(key) for p in r[k]},
[sorted(r[k], key=str) for k in key])
class_of, mem = ind(S3, H2, X, actH)
n = len(mem)
assert n == 6 and all(len(m) == 2 for m in mem) # 3·2，每类 |H| = 2
act_ind = lambda g0, i: class_of[(mul(g0, mem[i][0][0]), mem[i][0][1])]
assert all(act_ind(mul(a, b), i) == act_ind(a, act_ind(b, i))
for a in S3 for b in S3 for i in range(n))
# 4. Frobenius 互反：|Hom_G(Ind X,Y)| = |Hom_H(X,Res Y)|，显式双射互逆
Y, actG = [0, 1], (lambda g, y: y if g in A3 else 1 - y)
def hom(G, ad, ac, dom, cod):
out = []
for vals in itertools.product(cod, repeat=len(dom)):
f = dict(zip(dom, vals))
if all(f[ad(g, x)] == ac(g, f[x]) for g in G for x in dom):
out.append(f)
return out
homG = hom(S3, act_ind, actG, list(range(n)), Y)
homH = hom(H2, actH, actG, X, Y)
assert len(homG) == len(homH) == 2
phi = lambda g: {i: actG(mem[i][0][0], g[mem[i][0][1]]) for i in range(n)}
psi = lambda f: {x: f[class_of[(E, x)]] for x in X}
assert all(phi(psi(f)) == f for f in homG)
assert all(psi(phi(g)) == g for g in homH)
# 5. 特征标互反：Ind 1_H = (3,1,0) = χ1 + χstd；Ind sgn_H = (3,-1,0)
def ind_char(vals, H, G):
out = []
for rep in [E, T, R]:
s = 0
for u in G:
g = mul(inv(u), mul(rep, u))
if g in H:
s += vals[g]
out.append(s // len(H))
return out
one = {g: 1 for g in S3}
sgn = {g: (1 if g in A3 else -1) for g in S3}
assert ind_char(one, H2, S3) == [3, 1, 0]
assert ind_char(sgn, H2, S3) == [3, -1, 0]
# 6. Z[i]/(3) 是域（8 个非零元皆可逆）；Z[i]/(5) ≅ F5 × F5
mulz = lambda p, q, n: ((p[0] * q[0] - p[1] * q[1]) % n,
(p[0] * q[1] + p[1] * q[0]) % n)
R3 = [(a, b) for a in range(3) for b in range(3)]
assert sum(1 for z in R3 if z != (0, 0)
and any(mulz(z, w, 3) == (1, 0) for w in R3)) == 8
phi5 = lambda z: ((z[0] + 2 * z[1]) % 5, (z[0] - 2 * z[1]) % 5)
R5 = [(a, b) for a in range(5) for b in range(5)]
assert len({phi5(z) for z in R5}) == 25 and mulz((2, 1), (2, -1), 10 ** 9) == (5, 0)
assert all(phi5(mulz(z, w, 5)) == (phi5(z)[0] * phi5(w)[0] % 5,
phi5(z)[1] * phi5(w)[1] % 5)
for z in R5 for w in R5)
# 7. 幺半群 N ⊆ Z：两条尾合并，单位不再是单射
Tm = {"a": "c", "b": "c", "c": "c"}
it = [(m, x) for m in range(-4, 9) for x in "abc"]
par = {p: p for p in it}
def find(p):
while par[p] != p:
par[p] = par[par[p]]
p = par[p]
return p
def step(x, k):
for _ in range(k):
x = Tm[x]
return x
for (m, x) in it:
for k in range(6):
if (m + k, x) in par:
a, b = find((m + k, x)), find((m, step(x, k)))
if a != b:
par[a] = b
assert find((0, "a")) == find((0, "b")) and Tm["a"] == Tm["b"] == "c"
print("all checks passed")
附录 D 术语中英对照
中文 English 出处 限制 restriction 定义 2.1 诱导 induction 定义 3.1 余诱导 coinduction 定义 4.4 平衡关系 balanced relation 定义 3.1 平衡映射 balanced map 定理 3.4 纤维积 / 拉回 fiber product / pullback 注 3.5 轨道 orbit §2 稳定化子 stabilizer 定理 3.7 双陪集 double coset 定理 2.6 横截系 transversal 命题 6.3 等变映射 equivariant map 约定 1.2 自由作用 free action 命题 3.3 忠实 faithful 命题 2.5 单对象范畴 one-object category 定义 5.1 群胚 groupoid 定义 5.1 函子范畴 functor category 命题 5.2 自然变换 natural transformation 命题 5.2 预复合 precomposition §5.2
中文 English 出处 左 Kan 扩张 left Kan extension 定义 5.4 右 Kan 扩张 right Kan extension 定义 5.4 逗号范畴 comma category 定理 5.6 余极限 / 极限 colimit / limit 注 5.3 伴随 adjunction 定义 4.1 左伴随 / 右伴随 left / right adjoint 定义 4.1 单位 unit 定义 4.1 余单位 counit 定义 4.1 三角形恒等式 triangle identity 定义 4.1 Frobenius 互反 Frobenius reciprocity 定理 3.4 Mackey 分解 Mackey decomposition 定理 5.11 扩张标量 extension of scalars 定理 6.2 限制标量 restriction of scalars 定理 6.2 张量积 tensor product 定理 6.2 双模 bimodule 定理 6.2 特征标 character 定义 6.6 不可约 irreducible 例 6.8 内积 inner product 定义 6.6 惯性 inertia 例 6.9 分裂 splitting 例 6.9 幺半群 monoid 例 6.10 动力系统 dynamical system 例 6.10 前推 / 拉回（层） pushforward / pullback 附录 A