2026-10-13 · 只有一种简单块，却有 p 种不可分解块

2026 年 10 月 13 日，星期二 · 《每日数学》 · 模表示微弧 2 / 3

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

Develata，昨天我们确认：当域的特征整除群阶时，不变子空间未必有不变补空间。今天不再问“半单性为何失败”，而问：失败之后，仍能用什么基本块完整描述一个表示？

答案在循环 $p$ 群上异常具体：简单表示只有一种，但不可分解表示有 $p$ 种；每一种是一条长度不超过 $p$ 的幂零链。

• 对象层：素数 $p$，任意特征为 $p$ 的域 $k$，群 $C_p=⟨\sigma \mid {\sigma }^p=1⟩$，有限维 $k$-空间 $V$，以及生成元作用 $A=\rho (\sigma )$。
• 量词层：固定 $(k,p)$ 后，对每一个这样的表示，求出唯一的一组非负整数 $(m_1,\dots ,m_p)$，使其同构于规定基本块的直和。唯一的是重数，不是嵌入 $V$ 的具体子空间。
• 前置知识：线性算子的核、像、幂与直和；多项式商环只需理解为“规定 $t^p=0$”。不要求代数闭域，也不预先假设一般 Jordan 定理。
• 证明引擎：生成元平移 → 二项式关系 → 最长链与交换投影 → 对维数归纳；再用核维数差分反演块数。
• 去向：不可分解分类 → 自同态环与幂等元 → 态射和扩张。明天再把“粘合”提升为可计算的障碍。

本期与昨天的实质差别：昨天的二维 Jordan 块只证明“存在不分裂的表示”；今天给出 $C_p$ 的全部有限维表示及其判别算法。第 4 节不再用二维块对照平凡表示，而比较两种连固定空间维数都相同的四维表示。

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

1.1 换一个生成元，关系便成为幂零

一个 $C_p$ 表示由满足 $A^p=I_V$ 的可逆算子 $A$ 决定。令

$$N=A-I_V.$$

由于 $A$ 与 $I_V$ 交换，且特征为 $p$，中间二项式系数在 $k$ 中全部为零，故

$$N^p=(A-I_V{)}^p=A^p-I_V=0.$$

反过来，任意满足 $N^p=0$ 的算子都给出 $A=I_V+N$，且 $A^p=I_V$，所以确实可逆并定义一个 $C_p$ 表示。

这个对应也保留同构：若 $T:V\to W$ 为线性同构，则

$$T{A}_V=A_{W}T⟺T{N}_V=N_{W}T.$$

因此分类表示就是分类这些幂零算子（nilpotent operators），允许同时换基。

同一个事实的代数写法：映射 $k[t]\to k[C_p]$，$t\mapsto \sigma -1$，是满射，并把 $t^p$ 送到零。它诱导

$$k[t]/(t^p)⟶k[C_p].$$

两边维数均为 $p$，故为同构。于是“$t$ 作用于 $V$”就是“$N$ 作用于 $V$”。这不是形式类比，而是同一套作用规则的改写。

1.2 两种“不能再拆”

对非零表示 $V$，定义：

• 不可约／简单（irreducible / simple）：对每个子空间 $W\le V$，若 $N(W)\subseteq W$，则 $W=0$ 或 $W=V$。
• 不可分解（indecomposable）：不存在非零子空间 $U,W\le V$，同时满足 $N(U)\subseteq U$、$N(W)\subseteq W$ 及 $V=U\oplus W$。

前者禁止真子对象，后者只禁止直和分解；前者蕴含后者，反之未必。

对每个整数 $1\le r\le p$，定义

$$M_r=k[t]/(t^r)$$

作为 $k[t]/(t^p)$-模，即 $t$ 通过乘法作用。换成基 $e_1=t^{r-1},e_2=t^{r-2},\dots ,e_r=1$，就是

$$N{e}_1=0,N{e}_i=e_{i-1}(2\le i\le r).$$

生成元 $\sigma$ 的矩阵为 $I_r+J_r(0)$。这是长度 $r$ 的单条链。

1.3 分类定理：存在性来自一条可分出的最长链

定理（cyclic modular classification / 循环群模表示分类）：设 $p$ 为素数，$k$ 为任意特征 $p$ 的域。对每个有限维 $k[C_p]$-模 $V$，存在唯一的整数族

$$(m_1,\dots ,m_p)\in {\mathbb{Z}}_{\ge 0}^p,V\cong \underset{r=1}{\overset{p}{⨁}}{M}_r^{\oplus m_r}.$$

其中 $M_1,\dots ,M_p$ 恰为全部有限维不可分解表示的同构类；唯一的简单表示是 $M_1$，即一维平凡表示。

这可视为幂零 Jordan 分类在关系 $t^p=0$ 下的截断。教材 [1, Example 1.19] 解释一般单算子与 $k[t]$-模的对应；下面直接证明本期所需情形，避免误把教材的一般代数闭域约定带进来。

存在性证明。若 $V=0$，结论成立。否则令 $r\ge 1$ 为满足 $N^r=0$ 的最小整数，故 $r\le p$。选 $v$ 使 $N^{r-1}v\ne 0$，置

$$e_i=N^{r-i}v(1\le i\le r).$$

这些向量线性无关：若有非零线性关系，取其中下标最大的非零系数 $a_j$，作用 $N^{j-1}$，只剩 $a_j{e}_1=0$，矛盾。因此 $U=\mathrm{span}(e_1,\dots ,e_r)\cong M_r$。

关键不在“找到链”，而在“把它分出来”。扩充这组基，选线性泛函 $\ell :V\to k$，使

$$\ell (e_1)=1,\ell (e_i)=0(2\le i\le r).$$

定义

$$P(x)=\sum _{i=1}^r\ell (N^{i-1}x)e_i.$$

逐项可见 $P(e_j)=e_j$，故 $P{|}_U=I_U$。而

$$P(Nx)=\sum _{i=1}^{r-1}\ell (N^{i}x)e_i=N(Px),$$

这里末项消失正是因为 $N^r=0$ 在整个 $V$ 上成立。所以 $\ker P$ 也是不变子空间，且

$$V=U\oplus \ker P.$$

对后者按维数归纳，就得到所需直和。

RMK：昨天“任意不变子空间都有补”已被反例否定；今天只为特别选择的最长链构造补空间，绝未恢复那条普遍命题。最长链假设正是这个局部修复能够成立的原因。

基本块不可分解。非零向量空间上的每个幂零算子都含非零核：从任意非零向量出发，取其在幂次作用下最后一个非零像即可。若 $M_r=U\oplus W$ 且两项非零、不变，则

$$\ker N=\ker (N{|}_U)\oplus \ker (N{|}_W)$$

至少二维；但在 $M_r$ 上 $\ker N=k{e}_1$，矛盾。不同 $r$ 的维数不同，故两两不同构。

只有一个简单块。对任意非零 $V$，$\ker N\ne 0$，其中任意一条直线都是平凡子表示。因此若 $V$ 简单，它只能是这条直线，即 $M_1$。对 $r>1$，$M_r$ 有真子表示 $k{e}_1$，故可约而不可分解。

1.4 唯一性：逐层测量，不只测量第一层

令

$$d_j={\dim }_k\ker N^j(0\le j\le p),d_0=0,$$

并约定 $d_{p+1}=d_p=\dim V$。在 $M_r$ 上，直接沿链数得

$$\dim \ker N^j=min(j,r).$$

所以任何分解都满足

$$d_j=\sum _{r=1}^p{m}_{r}min(j,r),d_j-d_{j-1}=\sum _{r\ge j}{m}_r(1\le j\le p).$$

右式就是“长度至少为 $j$ 的链数”。再作一次差分便得

$$\boxed{{\displaystyle m_j=2d_j-d_{j-1}-d_{j+1}(1\le j\le p).}}$$

每个 $d_j$ 都是同构不变量，所以重数唯一，分类证明完成。核维数增量必须非负且不增；这也是检查一份声称的 Jordan 数据是否可能的快捷必要条件。

1.5 从组成因子到自同态环：研究生延伸

每个 $M_r$ 有滤过（filtration）：令 $F_0=0$，对每个 $1\le i\le r$ 令 $F_i=\mathrm{span}(e_1,\dots ,e_i)$，则

$$0=F_0\subset F_1\subset \cdots \subset F_r=M_r.$$

相邻商均为 $M_1$。这些商叫组成因子（composition factors）；因而维数为 $n$ 的每个表示都有 $n$ 个平凡组成因子。但组成因子只记录“每层是什么”，并不记录“层怎样接起来”。Jordan–Hölder 的组成因子唯一性和 Krull–Schmidt 的不可分解直和唯一性回答的是不同问题，参见 [1, §§2.7–2.8]。

进一步看一个具体自同态环。任意 $k[t]$-模自同态 $f:M_r\to M_r$ 由 $f(1)$ 唯一决定；任意 $f(1)\in M_r$ 都合法。因此

$${\mathrm{End}}_{k[C_p]}(M_r)\cong k[t]/(t^r).$$

该环中，常数项非零的元素可用有限几何级数求逆；常数项为零的元素均为幂零元。于是非单位恰为理想 $(t)$，这是一个局部环（local ring，意为只有一个极大理想）。

它没有非平凡幂等元：若 $e^2=e$，其常数项为 $0$ 或 $1$。前一种情况下 $e$ 同时幂零和幂等，只能为零；后一种对 $1-e$ 用同一论证，得 $e=1$。而非平凡直和分解必产生投影幂等元。故“不能拆”也可以由自同态环检测。

机制谱系：单算子换基问题 → 多项式模 → 幂零链 → 不可分解直和 → 自同态环中的幂等元。这里给出的是概念依赖谱系，不冒称一份首创年代史。

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

题目

设 $X$ 为非负随机变量，满足 $0<\mathbb{E}X<\mathrm{\infty }$ 及 $\mathbb{E}{X}^2<\mathrm{\infty }$。证明对每个实数 $0\le \theta <1$，

$$\mathbb{P}(X>\theta \mathbb{E}X)\ge (1-\theta {)}^2\frac{(\mathbb{E}X{)}^2}{\mathbb{E}{X}^2}.$$

再令 $B_1,\dots ,B_n$ 为独立同分布的 Bernoulli$(q)$ 随机变量，其中整数 $n\ge 1$、$0<q\le 1$，$S=\sum _{i=1}^n{B}_i$。不用直接计算 $\mathbb{P}(S=0)$，证明

$$\mathbb{P}(S>0)\ge \frac{nq}{1+(n-1)q}.$$

模板识别

目标是非零概率的下界，已知信息却是均值和二阶矩。Markov 不等式的方向不对；应把期望拆到阈上、阈下两块，再对带事件指标的随机变量使用 Cauchy–Schwarz。这是 Paley–Zygmund／二阶矩方法（second-moment method）的典型信号。

分级提示

1. 记 $A=\{X>\theta \mathbb{E}X\}$。先给 $\mathbb{E}[X{\mathbf{1}}_{A^c}]$ 一个不含未知高阶量的上界。
2. 对 $\mathbb{E}[X{\mathbf{1}}_A]$ 使用 Cauchy–Schwarz，保留 $\mathbb{P}(A)$ 这一因子。
3. 应用部分先展开 $S^2$，分清对角项与非对角项；第一部分取哪个 $\theta$ 才是在估计“至少出现一次”？

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

来源语境：Gil Kalai 本人博客 Combinatorics and More 的 “Test Your Human Intuition 60: The Finite and Infinite Borsuk’s Problem”，永久链接日期为 2026-10-11 [2]。本次已打开原文，下面不是从 RSS 标题推测内容。它是一则很短的第一人称数学提问材料，而非访谈；其价值在于精确摆出量词变化，不在篇幅或新闻性。

原文内容转述：固定维数 $d\ge 1$。$f(d)$ 是使每个 ${\mathbb{R}}^d$ 中直径为 $1$ 的集合都能由 $f(d)$ 个较小直径集合覆盖的最小整数；$g(d)$ 对“每个有限集合”作同样定义。显然 $g(d)\le f(d)$。随后 Kalai 问：

Test your intuition: Is g(d)=f(d) ?

中译：检验你的直觉：$g(d)=f(d)$ 吗？

Deve Hermes 的解读：这里最值得保留的不是一个尚未在本文核验的答案，而是问题的设计。把对象从“所有集合”限制为“有限集合”，覆盖条件中的严格不等式并未消失。对每个有限集合得到较小直径，可能伴随依赖该集合的改进余量；不能未经论证就换成一个统一的正余量，再把它传到无限集合。

因此，面对这种问题，应先区分：有限子问题各自可行、可行解能否相容、严格性是否在极限中保留。这只是对潜在证明缺口的分析，不是宣称等式成立或不成立。我们也没有把该问题的当前研究状态包装成已查证事实。

它与今天主线的联系只在方法层面：组成因子逐层相同，并不代表整体相同；有限限制逐个可行，也不自动提供整体构造。两处都要问“局部描述究竟遗失了什么”。这不是两条定理之间的推论，而是一种审计信息损失的习惯。

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

连固定向量数都相同，仍不是同一个表示

取素数 $p\ge 3$，域 $k$ 的特征为 $p$。比较

$$V=M_3\oplus M_1,W=M_2\oplus M_2.$$

这是对“同维数 + 同组成因子 + 同固定空间维数应当足够分类”的反例。逐项检查如下。

1. 都合法。$V$ 上 $N^3=0$，$W$ 上 $N^2=0$；因为 $p\ge 3$，均有 $N^p=0$，所以 $I+N$ 都定义 $C_p$ 表示。若 $p=2$，$M_3$ 不合法，不能省略这个假设。
2. 维数相同。两者均为四维。
3. 组成因子相同。按第 1.5 节的链滤过，两者都是四个一维平凡因子。
4. 固定空间维数相同。一个向量被整个 $C_p$ 固定，当且仅当被生成元固定，即属于 $\ker N$。每个单链贡献一维核，所以 $\dim V^{C_p}=\dim W^{C_p}=2$。
5. 甚至迹函数也相同。对每个 $0\le a<p$，$(I+N{)}^a$ 沿链基为对角线全为 $1$ 的三角矩阵，故两者的迹都为 $4\cdot 1_k$。
6. 但并不同构。在 $M_3$ 的基上，$N^2{e}_3=e_1\ne 0$，因此 $\mathrm{rank}(N_V^2)=1$；而 $N_W^2=0$，秩为零。若存在表示同构 $T$，则 $T{N}_V^2=N_W^{2}T$，必保持秩，矛盾。

两者的核剖面从 $j=0$ 到 $3$ 分别为

$$V:(0,2,3,4),W:(0,2,4,4).$$

此后均稳定为 $4$。所以第一层统计 $d_1$ 只能数出有几条链；再向内探测 $N^2,N^3$，才看见链长的分配。对全部 $d_j$ 使用第 1.4 节公式，就不再遗失分类信息。

以上是直接的符号验算，不声称做过机器穷举。边界不只是“特征标失效”，而是“一组看似丰富的不变量仍未完备”；反例同时指出该补什么，而不止说旧办法不行。

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

今日一问：固定整数 $1\le r,s\le p$。确定向量空间

$${\mathrm{Hom}}_{k[C_p]}(M_r,M_s)$$

的维数，并写出一组具体的映射基。

这里 Hom 的元素是满足 $f(tv)=tf(v)$ 的 $k$-线性映射，而不是任意矩阵。提示仅到：$M_r$ 由 $1$ 生成，故 $f$ 由 $f(1)$ 决定；但这个像必须继承源中的关系 $t^r\cdot 1=0$。请把“哪些像合法”写成目标空间中的明确子空间，再计数，不只猜一个关于 $r,s$ 的对称公式。

数学地图：

• 群表示的生成元关系 → $N^p=0$ → 截断多项式模。
• 最长链回缩 → 不可分解直和 → 核剖面恢复重数。
• 子模链 → 组成因子／根基滤过 → 被分层数据忘掉的粘合。
• 循环生成元的像 → Hom 空间 → 表示之间的映射，而不只是对象清单。
• 非分裂短正合列 → 带端点的扩张等价 → 一阶上同调的障碍解释：下一期的目标。

今天的分类解决“有哪些对象”；今日一问补上“它们怎样互相映射”。后者并不是分类表的一条装饰，而是进入整个模范畴的第一步。

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

展开完整解答

可复用模板：阈值截断期望 → Cauchy–Schwarz 转为事件概率 → 二阶矩展开。

记 $\mu =\mathbb{E}X>0$，固定 $\theta \in [0,1)$，令 $A=\{X>\theta \mu \}$。在 $A^c$ 上 $0\le X\le \theta \mu$，所以

$$\mathbb{E}[X{\mathbf{1}}_{A^c}]\le \theta \mu \mathbb{P}(A^c)\le \theta \mu .$$

因此

$$\mathbb{E}[X{\mathbf{1}}_A]=\mu -\mathbb{E}[X{\mathbf{1}}_{A^c}]\ge (1-\theta )\mu .$$

由 $X\in L^2$ 且 ${\mathbf{1}}_A\in L^2$，Cauchy–Schwarz 给出

$$\mathbb{E}[X{\mathbf{1}}_A]\le (\mathbb{E}{X}^2{)}^{1/2}\mathbb{P}(A{)}^{1/2}.$$

两边非负，平方并合并；又 $\mathbb{E}{X}^2\ge {\mu }^2>0$，故可除得

$$\mathbb{P}(A)\ge (1-\theta {)}^2\frac{{\mu }^2}{\mathbb{E}{X}^2}.$$

这同时解释了非负性、二阶矩有限与正均值各自的用途，且证明直接适用于题目中的严格事件 $X>\theta \mu$。

应用中，$\mathbb{E}S=nq$。由 $B_i^2=B_i$，以及 $i\ne j$ 时独立性给出的 $\mathbb{E}(B_i{B}_j)=q^2$，有

$$\mathbb{E}{S}^2=\sum _{i=1}^n\mathbb{E}{B}_i+2\sum _{1\le i<j\le n}\mathbb{E}(B_i{B}_j)=nq+n(n-1)q^2.$$

取 $\theta =0$，便得

$$\mathbb{P}(S>0)\ge \frac{n^2{q}^2}{nq+n(n-1)q^2}=\frac{nq}{1+(n-1)q}.$$

若只有两两独立，计算也仍然成立；真正使用的是非对角二阶矩的分解，而不是全部联合分布。该模板在随机图中常用于“某类结构的计数以正概率非零”，但实际应用仍需控制相交结构带来的二阶相关项。

资料与来源 (Sources)

访问基准：2026-10-13，Asia/Shanghai。本期为结构性数学专栏，不设发表年龄窗口；同日 RSS 投影成功，包含四个来源的五条线索，其中一条抓取状态失败。这里只采用 Kalai 的相关线索，并另行读取原文；未把发现或检索时间冒充发表时间。

1. Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, Elena Yudovina, Introduction to Representation Theory，作者托管于 MIT 的讲义，所读 PDF 标注 January 10, 2011。Definition 1.15 与 Example 1.19 核验不可分解定义及单算子 Jordan 分类；Example 3.3 核验特征 $p$ 的 $C_p$ 简单表示；§§2.7–2.8 分别讨论 Jordan–Hölder 和 Krull–Schmidt。原书一般约定代数闭域；本期任意特征 $p$ 域的结论由上文直接证明，不借用依赖代数闭性的泛化。学术作者原始教材（L2/author-primary）。 https://math.mit.edu/~etingof/replect.pdf
2. Gil Kalai, “Test Your Human Intuition 60: The Finite and Infinite Borsuk’s Problem”，Combinatorics and More，永久链接日期 2026-10-11。原文正文给出 $f(d),g(d)$ 的定义及提问；标题据发现元数据，正文与短引文已在原始页面核验。本文不据该短文断言此问题已有或没有解答。学者本人数学提问记录（L2/author-primary）。 https://gilkalai.wordpress.com/2026/10/11/test-your-intuition-60-the-finite-and-infinite-borsuks-conjecture

推导归属：最长链回缩、核差分公式、四维反例及习题解答均在本期逐步展开；它们不是从检索摘要拼出的未证断言。Kalai 问题与模表示的联系是 Deve Hermes 的方法评论，不归给原作者。