2026-10-12 · 当群的阶变成零

2026 年 10 月 12 日，星期一 · 《每日数学》 · 模表示微弧 1 / 3

0. 导读与元结构 (Orientation & Meta-structure)

Develata，今天追问一件在线性代数里过于自然、在表示论里却会失败的事：已找到一个不变子空间，能否把其余部分也选得不变？

单纯扩充基总能给出 $V=W\oplus U$；然而群元素作用于 $U$ 中的向量后，可能产生非零的 $W$ 分量。维数已经分开，作用却仍把两部分粘在一起。

• 对象层：域 $k$、有限群 $G$、有限维表示 $\rho :G\to {\mathrm{GL}}_k(V)$、$G$-不变子空间 $W$，以及待构造的补空间。
• 量词层：不是问某个表示是否恰好可分解，而是问：对固定 $(k,G)$，是否每个有限维表示的每个不变子空间都有不变补空间？答案恰由 $|G|\cdot 1_k\ne 0$ 决定。
• 前置知识：扩基、核与像、群同态、域的特征；不要求先学模或同调代数。
• 主证明引擎：先随意选择线性回缩，再对其共轭平均；反方向则寻找一个无法提升的固定向量。
• 去向：完全可约性 → 非分裂扩张 → Jordan 滤过与模表示。这里的“模表示”指正特征整除群阶时的表示论，不是仅把实数矩阵逐项取模。

本期显式深化 7 月 23 日的复表示平均投影及 9 月 14 日的有限群 Fourier 分解。那两期在复数域上使用的分块能力并未失效；我们改变了系数域，审计它赖以成立的假设。三日计划是：今天找分裂条件，第二日研究循环 $p$ 群的不可分解块，第三日再看不变量与扩张怎样记录粘合。

再访说明：7 月 23 日第 4 节已经给出 ${\mathbb{F}}_2$ 上 $C_2$ 的二维 Jordan 块反例，且第 1.4 节已经使用共轭平均。本期不是把它们重新命名为新发现：新增的主结论是任意域、任意有限群的充要判据及其增广必要性证明；第 4 节有意把旧反例推广到任意 $p$，并新增非分裂扩张与不可分解的读法。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从“有补空间”改问“有等变回缩”

定义（representation / 表示）：给定域 $k$ 与群 $G$，有限维 $k$-表示是有限维 $k$-向量空间 $V$ 及映射 $\rho :G\to {\mathrm{GL}}_k(V)$，满足

$$\rho (e)=I_V,\mathrm{\forall }g,h\in G,\rho (gh)=\rho (g)\rho (h).$$

子空间 $W\le V$ 称为不变子空间，若

$$\mathrm{\forall }g\in G\mathrm{\forall }w\in W,\rho (g)w\in W.$$

因为 $g^{-1}$ 也在群中，这等价于 $\rho (g)W=W$。下文简写 $gv=\rho (g)v$。

回缩判据（retraction criterion）：对这样的 $W$，以下二者等价：

1. 存在 $G$-不变子空间 $U\le V$，使 $V=W\oplus U$。
2. 存在 $k$-线性映射 $P:V\to W$，满足
   $$\mathrm{\forall }w\in W,P(w)=w;\mathrm{\forall }g\in G\mathrm{\forall }v\in V,P(gv)=gP(v).$$

证明：由 1，取沿 $U$ 的投影；两项都不变，所以投影与作用交换。由 2，取 $U=\ker P$。等变性保证核不变，而

$$v=P(v)+(v-P(v)),P(v-P(v))=0.$$

又 $W\cap \ker P=\{0\}$，故为直和。此处把 $W$ 包含回 $V$ 后，也可把 $P$ 看成满足 $P^2=P$ 的算子。

RMK：这个转换把“在众多补空间中寻找好对象”，改成“修复任意一个线性映射”。可平均的是映射，不是子空间本身。

1.2 Maschke 定理：充分性来自平均修复

定理（Maschke splitting criterion / Maschke 分裂判据）：固定有限群 $G$ 与域 $k$。以下等价：

• $|G|\cdot 1_k\ne 0$；即 $\mathrm{char}k=0$，或 $\mathrm{char}k=p>0$ 且 $p\nmid |G|$。
• 对每个有限维 $k$-表示 $(V,\rho )$、每个 $G$-不变子空间 $W\le V$，存在 $G$-不变 $U\le V$ 使 $V=W\oplus U$。

先证明正方向；一般域版本及平均公式见 Conrad [1]。

扩充 $W$ 的一组基，得到某个线性回缩 $q:V\to W$。它未必等变。由于域中每个非零元都可逆，可以定义

$$P(v)=\frac{1}{|G|}\sum _{g\in G}gq(g^{-1}v).$$

逐项验证三个关键性质：

1. 像落在 $W$：$q(g^{-1}v)\in W$，且 $gW=W$，故每项都在 $W$。
2. 在 $W$ 上恒等：若 $w\in W$，则 $g^{-1}w\in W$，所以每一项 $gq(g^{-1}w)=w$，从而 $P(w)=w$。
3. 等变：固定 $h\in G$，令 $g=ha$，则
   $$P(hv)=\frac{1}{|G|}\sum _{a\in G}haq(a^{-1}v)=hP(v).$$

应用回缩判据即可。

这里不可以只说“投影的平均仍是投影”：一般投影取平均并不幂等。成立的真正原因是所有共轭投影都落在同一个 $W$，并在 $W$ 上等于恒等映射。

也不可以把 $g^{-1}$ 删掉：它把输入和输出置于相互抵消的坐标变换中，才使重编号产生等变性。[1] 给出了删掉这一项后失败的具体例子。

1.3 必要性：增广映射无法分裂

“证明里不能除以 $|G|$”只说明这个证明坏了，尚未说明定理坏了。现在给出适用于任意 $p\mid |G|$ 的反证，而非仅限循环群。

定义群代数（group algebra）$k[G]$：它是以 $G$ 为基的 $k$-向量空间，乘法由群乘法双线性延拓。令 $G$ 通过左乘作用于它。定义增广映射（augmentation）

$$\epsilon :k[G]⟶k,\epsilon \left(\sum _{g\in G}{a}_{g}g\right)=\sum _{g\in G}{a}_g,$$

其中右侧的 $k$ 取平凡作用。该映射满射且等变：左乘只置换系数。因此 $I=\ker \epsilon$ 是不变子空间。

若 $I$ 存在不变补空间 $U$，则 $\epsilon {|}_U:U\to k$ 是表示同构，其逆给出等变截面 $s:k\to k[G]$，满足 $\epsilon s={\mathrm{id}}_k$。

令 $z=s(1)$。因为 $1$ 被所有群元素固定，$z$ 也必须被所有左乘固定。写 $z=\sum a_{g}g$；左乘在基 $G$ 上传递，所以所有系数相同，必有

$$z=c\sum _{g\in G}g.$$

于是

$$1=\epsilon (s(1))=c|G|=0,$$

矛盾。故当群阶在 $k$ 中为零时，至少这个有限维表示不可能让每个不变子空间分裂。判据两方向证明完毕。

1.4 结论、谱系与研究生延伸

本科层结论：在群阶可逆时，每个非零有限维表示都可写成有限个不可约表示的直和。这里“不可约（irreducible）”指非零且只有 $0,V$ 两个不变子空间。证明对维数归纳：若非不可约，选真非零不变子空间，用定理切开，两部分维数都下降。

机制谱系，而非首创年表：

线性代数的扩基补空间 → 复表示中的不变 Hermitian 内积与正交补 → 一般域中的共轭平均回缩 → 正特征下非分裂扩张。

Conrad [1] 特别解释了为什么一般域上不宜照搬“正交补”：非退化双线性型仍可能有各向同性子空间 $W$，使 $W\cap W^{\perp }\ne 0$。所以从内积改为回缩，不只是换一种写法，而是去掉了复数域正定结构的依赖。

研究生延伸（graduate extension）：表示可等价写作 $k[G]$-模。一个不变子空间给出短正合列

$$0⟶W⟶V⟶V/W⟶0.$$

“分裂（split）”要求存在与箭头相容的等变截面；不是只看三者维数是否相加。回缩与截面的等价是一般模论中的分裂判据，见 [2]；其线性证明同样适用于非交换群代数的左模。

Maschke 判据于是说：群阶可逆时，这些有限维短正合列全部分裂，群代数是半单的（semisimple）。群阶不可逆时，子表示与商表示之外还有粘合数据。研究生语言用扩张类记录它；本期只构造实例，不假定读者已掌握 ${\mathrm{Ext}}^1$。

2. 固定模板习题 (Template Exercise)

题目

给定 $0<\delta <\pi$，证明函数级数

$$\sum _{n=1}^{\mathrm{\infty }}\frac{\sin (nx)}{n}$$

在 $[\delta ,2\pi -\delta ]$ 上一致收敛。进一步给出只依赖 $\delta ,m$、且随 $m\to \mathrm{\infty }$ 趋于零的尾和界，对所有 $N\ge m\ge 1$ 同时有效。

模板识别

绝对值上界 $1/n$ 不可求和，但振荡项的连续区间部分和可以控制；权重 $1/n$ 单调趋零。这是 Abel 分部求和（summation by parts）与一致 Dirichlet 判别的组合信号。不要先求整个级数的显式和函数。

分级提示

1. 对 $\sum _{n=m}^j{e}^{inx}$ 使用有限几何级数公式；区间远离 $0,2\pi$ 能给分母什么共同下界？
2. 固定 $m$，记 $B_j(x)=\sum _{n=m}^j\sin (nx)$，把 $\sin (nx)$ 写成相邻 $B_j$ 的差。
3. 将加权和整理成末端项与 $1/j-1/(j+1)$ 加权的部分和，再使用尾部 Cauchy 判据。注意指标阈值必须独立于 $x$。

3. 大家之言 (Mathematician in Their Own Words)

来源语境：Terence Tao，Caltech 公开讲座 Math 2.0。其 2026 年 10 月 10 日本人博客说明，讲座于前一晚举行；本期读取了该博客及作者公开的 October 2026 幻灯片 [3–4]。下面引文来自幻灯片标题 More examples，不是转引新闻报道。

Automatically exploring the “neighborhood of a theorem”: seeing what conclusions one can still salvage when one modifies or drops hypotheses.

中译：自动探索一个“定理的邻域”：看看修改或去掉假设以后，哪些结论仍能保留下来。

转述：同组幻灯片还提出对证明做输入消融：减少所依赖的理论或工具，以及为已有但晦涩的证明寻找有动机的解释。这里讨论的是可以如何使用 AI，不是某个模型已经可靠完成这些任务的实证保证。

Deve Hermes 的解读：今天的数学恰能把“定理邻域”落实成三个不同问题：

• 去掉复数域，保留群阶可逆：结论仍成立，但要把正交补改成平均回缩。
• 去掉群阶可逆：不是停在“除法无定义”，而是找出增广截面必须满足的矛盾方程。
• 普遍分裂失败后：仍可研究具体表示是否分裂，并记录不可分裂的方式。

这三步分别产出更弱的假设、更清楚的失败机制、以及新的分类对象。它们比单独获得“定理成立 / 不成立”的标签多出真正可迁移的知识。数学理解在此不是证明的装饰，而是决定下一步该问什么的能力。

4. 反例与边界 (Counterexample & Boundary)

子表示和商表示都平凡，整体仍不是它们的直和

取素数 $p$，令 $\mathrm{char}k=p$，$G=C_p=⟨\sigma \mid {\sigma }^p=e⟩$。在 $V=k^2$ 的基 $e_1,e_2$ 中规定

$$\rho (\sigma )=A=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)=I+N,N^2=0,N{e}_2=e_1.$$

这是 [1, Example 3] 的具体表示，也是 7 月 23 日 $p=2$ 反例的有意再访。下面前四项重建并推广既有计算，第五项及短正合列的解释是本次深化。逐项检查：

1. 确实定义了 $C_p$ 的表示：对整数 $j\ge 0$，$A^j=I+jN$，因此 $A^p=I$。矩阵可逆，且 $A\ne I$。
2. 有真非零不变子空间：$W=k{e}_1$，且 $A{e}_1=e_1$，所以 $W$ 上作用平凡。
3. 商表示也平凡：$A{e}_2=e_2+e_1$，故模去 $W$ 后 $[e_2]$ 被固定。
4. 却没有不变补直线：若补空间存在，它是 $k(a{e}_1+b{e}_2)$，其中 $b\ne 0$。不变性要求存在 $\lambda \in k$ 使
   $$(a+b)e_1+b{e}_2=\lambda (a{e}_1+b{e}_2).$$
   比较 $e_2$ 系数得 $\lambda =1$，再比较 $e_1$ 系数得 $b=0$，矛盾。
5. 可约但不可分解：它有 $W$，所以可约；二维空间若分解成两个非零子表示，只能是两条不变直线。但 $A$ 的唯一特征值为 $1$，其特征空间仅为 $W$，不可能有第二条这样的直线。

故短正合列

$$0⟶k⟶V⟶k⟶0$$

不分裂，虽然两端都是平凡表示。这不是缺少空间维数，而是 $e_2\mapsto e_2+e_1$ 的剪切无法用等变换基消除。

另一项警告：$\mathrm{tr}(A^j)=2\cdot 1_k$ 对所有 $j$ 成立，恰与二维平凡表示的迹函数相同，但二者不同构。因此不能把复数域上“特征标决定半单表示”的习惯直接搬到此处，期待普通 $k$-值迹读出全部扩张。

精确边界：$p\mid |G|$ 并不意味着每个表示都不可分裂。例如任意维平凡表示的每个子空间都有不变补空间。它意味着所有表示都完全可约的普遍定理失效；第 1 节用正则表示给出了每个这类群都具有的见证。以上性质由符号计算逐项证明，不把它们伪称为机器枚举结果。

5. 今日一问与数学地图 (Question & Map)

今日一问：令 $V^G=\{v\in V:\mathrm{\forall }g\in G,gv=v\}$。对固定有限群 $G$ 与域 $k$，证明以下性质与 $|G|\cdot 1_k\ne 0$ 等价：

对每个有限维表示之间的等变满射 $f:V\to U$，限制映射 $f:V^G\to U^G$ 仍然满射。

这和“一个子空间有补空间”不是同一句话：它问的是，商中的对称对象，是否总有一个同样对称的原像？

提示只到这里：一个方向尝试平均任意原像；反方向想想本期的增广映射。请自行补齐量词、映射与失败见证，不把“平均一下”当成完成的证明。

数学地图：

• 扩基、投影、核像 → 等变回缩 → Maschke 分裂。
• 特征 $p$ 与群阶 → 增广理想 → 固定向量提升失败。
• 子模和商模 → 非分裂短正合列 → 扩张类及不变量函子的正合性。
• 对 $C_p$，令 $t=\sigma -1$ → $k[C_p]\cong k[t]/(t^p)$ → 幂零算子的 Jordan 块与滤过：这是下一期的入口。

本期留下的核心区别是：不可约问“里面还有没有”，不可分解问“能否拆成直和”。 在半单世界里两者靠得很近；走出它们，区别就成为理论本身。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：有界振荡部分和 + 单调衰减权重 → Abel 分部求和 → 一致尾部 Cauchy。

固定 $0<\delta <\pi$。对任意 $x\in [\delta ,2\pi -\delta ]$ 及整数 $j\ge m\ge 1$，几何级数给出

$$\sum _{n=m}^j{e}^{inx}=e^{imx}\frac{1-e^{i(j-m+1)x}}{1-e^{ix}}.$$

由于 $|1-e^{ix}|=2|\sin (x/2)|\ge 2\sin (\delta /2)>0$，取虚部后得

$$|B_j(x)|=|\sum _{n=m}^j\sin (nx)|\le \frac{1}{\sin (\delta /2)}=:C_{\delta }.$$

这个常数同时独立于 $m,j,x$。

设 $B_{m-1}=0$。由 $\sin (nx)=B_n-B_{n-1}$，有限求和直接整理为

$$\sum _{n=m}^N\frac{\sin (nx)}{n}=\frac{B_N(x)}{N}+\sum _{n=m}^{N-1}{B}_n(x)(\frac{1}{n}-\frac{1}{n+1}).$$

括号非负，故

$$\underset{x\in [\delta ,2\pi -\delta ]}{sup}\left|\sum _{n=m}^N\frac{\sin (nx)}{n}\right|\le C_{\delta }[\frac{1}{N}+\sum _{n=m}^{N-1}(\frac{1}{n}-\frac{1}{n+1})]=\frac{C_{\delta }}{m}.$$

给定 $\epsilon >0$，选整数 $m_0=m_0(\delta ,\epsilon )>C_{\delta }/\epsilon$。则对所有 $N\ge m\ge m_0$ 及所有该区间内的 $x$，尾和绝对值均小于 $\epsilon$。由实数完备性，逐点 Cauchy 给出逐点极限；上述界对 $x$ 统一，再令 $N\to \mathrm{\infty }$，便得到一致收敛及尾和估计。

无需且不能在这个证明里使用 $\sum 1/n<\mathrm{\infty }$；真正可求和的是权重的差分 $1/n-1/(n+1)$。$\delta$ 的作用也完全显露：它保证振荡部分和的共同预算有限，且允许收敛阈值依赖 $\delta$。

资料与来源 (Sources)

以下来源均于本次运行中实际读取；访问基准为 2026-10-12，Asia/Shanghai。这是定理与方法专栏，不设文献发表年龄窗口。RSS 同日发现投影可用，但仅作线索；Tao 的博客正文和讲座 PDF 均另行打开核验。

1. Keith Conrad, Maschke’s Theorem over General Fields，作者教学讲义，未据文件确定发表日期。Theorem 1 核验一般域的平均回缩证明；Example 3 核验循环 $p$ 群二维反例。本文的任意有限群必要性由第 1.3 节自行完整推导，不冒称该讲义中的定理编号。学者本人学术材料（L2/author-primary）。 https://kconrad.math.uconn.edu/blurbs/grouptheory/maschke.pdf
2. Keith Conrad, Splitting of Short Exact Sequences for Modules，作者教学讲义，§1–2，尤其 Theorem 2.1。核验分裂必须与箭头相容，以及回缩、截面与分裂的等价；原文以交换环叙述，本文对群代数所用的线性证明不需要交换性。学者本人学术材料（L2/author-primary）。 https://kconrad.math.uconn.edu/blurbs/linmultialg/splittingmodules.pdf
3. Terence Tao, “Math 2.0”，What’s New，2026-10-10。本人博客确认讲座地点、前一晚讲授及幻灯片链接，用于核验语境而不是凭 RSS 复述。第一人称材料（L2/author-primary）。 https://terrytao.wordpress.com/2026/10/10/math-2-0
4. Terence Tao, Math 2.0，Caltech 公开讲座幻灯片，October 2026；讲授日据 [3] 为 2026-10-09。引文逐字核对 More examples 页，评论同时参照 Examples of “Math 2.0” usage of AI。讲者原始文件（L2/lecture-primary）。 https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf

检索覆盖说明：[1] 的网页 PDF 提取曾失败；随后直接下载原 PDF，并用本地文档读取器成功读取。系统未安装 pdftotext，没有据此伪称转换成功。[2] 与 [4] 的 PDF 文本提取成功。习题解答、增广必要性证明与边界逐项计算为本期展开的推导。