论文标题:
Products of Nilpotent and Idempotent Matrices over Finite Local Rings
发表日期: 2026年8月
发表单位: 卢布尔雅那大学（University of Ljubljana），斯洛文尼亚
原文链接: https://arxiv.org/pdf/2608.20934v1.pdf
在数学世界里，矩阵是一群性格各异的“角色”。有的矩阵平方后消失得无影无踪，叫做幂零矩阵（nilpotent matrix），就像武侠小说里的刺客，出手一次便隐于无形；有的矩阵平方后纹丝不动，叫做幂等矩阵（idempotent matrix），宛如定力极高的老僧，任你风吹雨打，我自岿然不动。你可能觉得，这两种极端性格的“人”要是联手组队，肯定能搞出不少新花样。但今天这篇来自卢布尔雅那大学的论文却告诉你：刺客配高僧，折腾了半天，居然全都能归为“本来就会”的结果。是不是有点反直觉？🤔先别急着走，这个看似“无事发生”的结论背后，藏着环论与矩阵分解之间一条相当漂亮的桥梁。论文题目是Products of Nilpotent and Idempotent Matrices over Finite Local Rings，作者David Dolžan来自斯洛文尼亚卢布尔雅那大学数学与物理学院。整篇文章的核心一句话就能概括：在有限交换局部主理想环上的2×2矩阵环里，幂等矩阵和幂零矩阵的任意混合乘积，要么能写成纯幂等矩阵的乘积，要么能写成纯幂零矩阵的乘积，不存在“第三类”矩阵。更进一步的，如果把一个幂等矩阵和一个幂零矩阵按不同顺序相乘，得到的IN-矩阵和NI-矩阵两类集合完全重合，而且它们的数量还能被一个精准的公式算出来。这篇论文本身属于纯数学里非常经典的“矩阵分解”研究脉络。早在上世纪六七十年代，Erdos、Howie等数学家就开始研究矩阵怎么分解成幂等矩阵的乘积；到了近十几年，Jain、Leroy、Călugăreanu等人又陆续把问题扩展到幂零矩阵以及混合分解上。今年的这篇工作，相当于把“有限局部主理想环”这个框架下2×2矩阵的混合乘积问题一口气聊透了：该并的并了，该数的数了，该刻画的也都刻画完了。
幂等与幂零矩阵的乘积之谜
要理解这篇论文的价值，得先搞清楚几个基础概念。所谓幂等矩阵，指的是满足 A² = A 的矩阵。简单说，一个矩阵自己乘自己一次以后还是自己，就好比照镜子，镜子里的内容不会因为多照一次而改变。常见的投影矩阵就是典型的幂等矩阵。所谓幂零矩阵，则是指存在某个正整数 k，使得 Aᵏ = 0 的矩阵。也就是说，一个矩阵不断自乘，乘到某个次数之后，所有元素都变成0。可以想象成一块冰糖放进水里，搅着搅着就完全溶解不见了。这两类矩阵在矩阵分解理论中一直备受关注。你可能会想：既然单独一类矩阵的乘积性质已经被研究得比较透彻了，那两类混在一起用，会不会涌现出一些全新的、既不属于纯幂等乘积也不属于纯幂零乘积的矩阵？这正是这篇论文要回答的问题。作者所在的研究框架也很有讲究。论文讨论的矩阵，元素不是来自普通的实数域或复数域，而是来自一个有限交换局部主理想环 R。这个概念拆开来看：“有限”意味着环里的元素个数是有限的；“交换”意味着乘法满足交换律 ab=ba；“局部”意味着环里只有一个极大理想；“主理想”则意味着每个理想都能由单个元素生成。最常见的例子就是模 p 的整数环 Z₃、Z₄、Z₉ 之类的结构，以及有限域 GF(q)。上面这个公式是论文的核心结论之一：混合乘积生成的矩阵集合，恰好等于纯幂等乘积集合与纯幂零乘积集合的并集。换句话说，把幂等和幂零矩阵任意混搭相乘，得到的矩阵不会超出“纯幂等乘积”和“纯幂零乘积”这两条老路的范围。用大白话讲：数学世界的“跨界组合”在这里并没有创造新物种。😮
核心定理：混合乘积的归约与刻画
这个结论的证明思路其实相当巧妙，核心在于抓住“非平凡幂等因子”的几何作用。论文首先证明了一个关键的引理：在有限交换局部主理想环上，如果 E 是一个非平凡幂等矩阵，那么对任意矩阵 A、B，乘积 AEB 一定共轭于某种特定形式的矩阵 M(a,b)。这个 M(a,b) 是形如其中 a、b 是环 R 里的任意元素。这种矩阵本身结构非常简单：第一行是 (a, b)，第二行全是 0，属于典型的“退化”矩阵（秩至多1）。为什么这个引理这么重要？因为任何包含非平凡幂等因子的乘积 A = BEC，都可以通过这个引理化成一个简洁的标准形式——M(a,b)。而作者之前在另一篇论文中已经证明了：所有 M(a,b) 类型的矩阵都能写成两个幂等矩阵的乘积。于是链条就闭合了：包含非平凡幂等因子的混搭乘积 → 共轭于 M(a,b) → 本身是纯幂等乘积。这个逻辑说穿了就一层纸，但要想捅破这层纸，得对局部环上的幂等矩阵共轭分类有相当深刻的把握。至于完全由幂零因子组成的乘积，那更简单——它们本来就是纯幂零乘积；而全由幂等因子组成的乘积，也本来就是纯幂等乘积。再加上平凡幂等因子（单位矩阵）可以忽略、零矩阵可以直接处理的特殊情况，定理3.3的证明就完整了。
IN-与NI-矩阵的等价性证明
接下来，论文把镜头拉近到“一个幂等矩阵 × 一个幂零矩阵”这个最小规模的混合情况，引入了两个概念：IN-矩阵和NI-矩阵。IN 是指先幂等后幂零，即 A = EN；NI 是指先幂零后幂等，即 A = NE。这里的缩写，I 代表幂等矩阵（Idempotent），N 代表幂零矩阵（Nilpotent）。一个很自然的问题是：IN-矩阵和NI-矩阵是同一类矩阵吗？在一般的环上，答案是否定的。Călugăreanu 和 Pop 在2024年的一篇论文中明确指出了这两个概念在一般环上并不相同。但在这篇论文的框架下——有限交换局部主理想环上的2×2矩阵——情况发生了奇妙的变化：IN-矩阵集合与NI-矩阵集合不仅重合，而且还能写出显式的并集刻画。这个定理3.6的表述非常漂亮：IN-矩阵（也就是NI-矩阵）恰好由两部分组成——一部分是全体幂零矩阵（因为 N = I·N，单位矩阵乘幂零矩阵，天然是IN-矩阵），另一部分是所有 M(a,b) 的共轭轨道。所谓共轭轨道，简单说就是某个矩阵在相似变换下能变成的所有“亲戚”的集合，用记号表示就是 O_{M(a,b)} = { P M(a,b) P⁻¹ : P ∈ GL₂(R) }。这个刻画既干净又完整，把所有可能的IN-矩阵一网打尽。证明的关键步骤在于引理3.4，它宣称每个 M(a,b) 都能找到一个“非平凡”的分解——即既能写成非平凡幂等矩阵和非零幂零矩阵的乘积（IN方向），也能反过来写成非零幂零矩阵和非平凡幂等矩阵的乘积（NI方向）。这里的“非平凡”条件很重要，它保证了分解不是表面功夫，是真的把两种因子的角色都发挥出来了。这个引理的证明展示了相当精巧的构造技巧。对于给定的 a、b，作者利用 Jacobson 根的性质，将元素按其在根中的“深度”分层，然后巧妙地选取系数 c，使得构造出的矩阵 N₁ = [a b; c -a] 满足 N₁² = 0，自然成为幂零矩阵。再配上幂等矩阵 E₁ = [1 0; 0 0]，恰好得到 E₁N₁ = M(a,b)。整个过程环环相扣，堪称教科书级的构造示范。还有一个值得注意的细节：定理3.6的并集刻画中，幂零矩阵这一项是不能省略的。论文特意举了 R = Z₄ 的例子：矩阵 A = [2 0; 0 2] 是幂零矩阵（A² = 0），但它不共轭于任何 M(a,b)。这就像画龙点睛，告诉读者“并集里每一项都有存在的意义，少一个都不行”。
精确计数公式的推导
刻画完IN-/NI-矩阵的结构之后，论文自然要追问一个组合学问题：这样的矩阵到底有多少个？答案是一个简洁的闭式公式。假设环 R 的阶为 qⁿ，且 R 对 Jacobson 根的商环同构于有限域 GF(q)，那么这里的 q 是基域的大小，n 是环 R 的“长度”。举个例子，如果 R = GF(2)（二元域），那么 q=2, n=1，代入公式得到 |IN| = 2^(3-2) × (2 + 4 - 1) = 2 × 5 = 10。也就是说，二元域上的2×2矩阵中恰好有10个既是IN-矩阵也是NI-矩阵。整个计算过程有闭式解，说明这个计数问题的结构非常规整。这个计数公式的推导过程也相当有章法。作者先计算出所有 M(a,b) 的共轭轨道并集的大小——这个结果来自他之前的工作[6, Theorem 3.8]，给出的是一个带分式的表达式|∪ O_{M(a,b)}| = [q^{3n}(q+1)² - q] / (q² + q + 1)。接着利用满射同态把幂零矩阵的计数化归到有限域上的已知结果。有限域 GF(q) 上的2×2幂零矩阵恰好有 q² 个，而每个幂零矩阵在自然投影下的原像个数是 |J(R)|⁴ = q^{4n-4}，于是 R 上的幂零矩阵总数就是 q² × q^{4n-4} = q^{4n-2}。这些准备就绪后，用容斥原理把并集大小和交集大小一减，最终归约出干净漂亮的闭式公式。整个过程体现了典型的“先刻画、再计数”的代数学研究范式。特别值得注意的是，这个公式并不是简单地把两个集合大小相加，中间需要精细地处理交集部分——即那些既是幂零矩阵、又落在某个 M(a,b) 共轭轨道里的矩阵。这部分的处理需要区分 a 是否为0、a 在 Jacobson 根中的深度 l 以及 b 的深度 k 之间的大小关系，分情况讨论后做多重求和。作者在论文里毫不偷懒地把求和过程完整推了一遍，最后惊艳地化简到了上述简洁形式。
理论意义与未来展望
聊完证明，咱们退一步看看这篇论文在整个数学拼图里的位置。首先，从纯粹的理论角度看，这篇论文把“有限交换局部主理想环”上2×2矩阵的混合分解问题彻底查清了：混合乘积的结构、IN/NI等价性、精确计数三大问题都有了完整答案。这种“做到头”的感觉在数学研究中相当难得。更难得的是，论文的方法論提供了很强的新颖视角——把混合乘积的归约通过共轭轨道来分类，绕开了很多繁琐的直接构造，这种思路对后续研究很有借鉴意义。其次，从研究脉络来看，这篇论文填补了一个自然的空白。之前的工作分别研究了纯幂等乘积和纯幂零乘积，Călugăreanu 和 Pop 则在2024年研究了单个幂等与单个幂零的乘积但仅限于域的情况。这篇论文把“域”放宽到“有限交换局部主理想环”，又同时研究了任意长度的混合乘积，还给出了IN-/NI矩阵的完整刻画。相当于在别人的拼图版图上补上了最后几块关键拼图。至于未来方向，论文留下了一个很自然的开放问题：如果从2×2矩阵推广到 n×n 矩阵，混合乘积是否仍然不产生新矩阵？遗憾的是，维度变高之后，幂等矩阵的共轭分类会变得异常复杂，2×2情况下的漂亮结论未必能直接搬过去。这就是数学研究有意思的地方——每解开一个结，总能看到远处还有更复杂的结等着你。整体而言，这篇论文的写作风格干净利落，引理一步步推进，定理环环相扣，证明细节完整但不冗余，一个下午就能读完。对于喜欢“小而美”数学工作的读者来说，这篇论文就像一个精心打磨过的七巧板——零件不多，但拼出来的图案工整漂亮。龙哥读完只想说一句：这种结构清晰、结论干净、证明不拖泥带水的论文，多来几篇不嫌多。😄
Dolžan D. Products of nilpotent and idempotent matrices over finite local rings[J]. arXiv preprint arXiv:2608.20934, 2026.Erdos J A. On products of idempotent matrices[J]. Glasgow Mathematical Journal, 1967, 8(2): 118-122.Călugăreanu G, Pop H F. 2-products of idempotent by nilpotent matrices[J]. Bulletin of Iranian Mathematical Society, 2024, 50(4): Paper No. 61.Jain S K, Leroy A. Decomposition of singular elements of an algebra into product of idempotents, a survey[C]. Contributions in Algebra and Algebraic Geometry, Contemporary Mathematics, 2019, 738: 57-74.Raghavendran R. Finite associative rings[J]. Compositio Mathematica, 1969, 21: 195-229.原文链接：https://arxiv.org/pdf/2608.20934v1.pdf
