（叠甲：以下默认底层域为代数闭域（例如））我们知道，矩阵乘法一般而言并没有交换律，于是满足交换律的矩阵们就有一定的稀缺性，有时具有一些有趣的性质。

记号：，

我们首先看一个广为人知的命题。

可交换的可对角化的矩阵可以同时对角化

设，且二者可对角化，那么存在，使得同时为对角阵。

法1——爆算

第一步：对齐的特征景观

由于可对角化，存在可逆阵，使得。为了看清结构，我们将中相同的特征值聚集在一起，写成分块形式：

这里互不相同，是阶单位阵（即的重数）。

第二步：交换性带来的“形状限制”

设。由可推导出。

我们将按照的尺寸进行分块：。

带入等式可得，对于每一块都有：

当时，由于，必有。

这说明必须是一个分块对角阵：

第三步：继承对角化性质

这是最关键的一步。因为可对角化，所以它的极小多项式没有重根。

由于是分块对角阵，容易证明每个分块的极小多项式必然能整除。

这意味着每个子块的极小多项式也没有重根。

根据可对角化的充要条件，每一个小块都是可对角化的。

第四步：局部微调实现全域对角化

对于每个，存在可逆阵使得（对角阵）。

构造全空间的变换矩阵。

此时，考虑总变换矩阵：

对于：。由于的分块结构与一致，且与单位阵的倍数交换，所以，保持对角形不变。
对于：，变成了对角阵。

至此，证明完成。

法2：不变子空间分解法

第一步：空间按的特征值进行谱分解

由于在上可对角化，全空间可以分解为的特征子空间的直和：

其中。

第二步：证明是的不变子空间

对于任何，我们考察后的结果。

利用交换性：

这表明依然满足的特征向量定义，其对应的特征值仍为。

因此，，即 是的不变子空间。

第三步：限制算子的可对角化性继承

由于在全空间上可对角化，其极小多项式是互异一次因子的乘积。

考虑在子空间上的限制算子。该限制算子的极小多项式必然能整除。

因此，同样是由互异一次因子构成的。

结论： 在每一个特征子空间上都是可对角化的。

第四步：选取共同基底

既然在上可对角化，我们可以在每个中选出一组的特征向量作为基底，记为。

因为这组基在中，它们天然全是的特征向量（特征值均为）。
因为这组基是按的特征向量选取的，它们也全是的特征向量。

第五步：组合与完成

将这些基底合起来：。

由于全空间是直和关系，构成了全空间的一组基。在这组基下，和同时呈现为对角矩阵。

从中，有一件事具有一定的一般性，如果可交换，那么一方的特征子空间是另一方的不变子空间。类似的，核空间和像空间也一样：

若线性变换可以交换，那么都是不变子空间。

设

考虑则，故。考虑，则。

通过Jordan标准型研究中心化子 C(A)

问题的转化

我们如何研究比较一般的对易性或者说可交换性呢？一个自然的想法是，原来的矩阵很复杂，我们可以看看标准型，如果能通过标准型判定，自然是极好的。那么就想到用标准型来考虑问题。

若（其中可以是 Jordan 标准型或对角阵），则关于的算子性质可以平移到上：

-
中心化子的相似性：这意味着研究的交换矩阵，等价于在的标准型坐标系下研究与交换的矩阵。

Jordan标准型的对易性

K[A]

对于一个若尔当块，其多项式函数的结果是一个上三角托普利茨矩阵 (Upper Triangular Toeplitz Matrix)。其填充逻辑基于在特征值处的泰勒展开 (Taylor Expansion)。

展开式规则：

针对特征值 （阶数为 3）：

其中系数。
针对特征值 （阶数为 2）：

其中系数。

的矩阵表示

假设由两个块（3阶和2阶）及一个块（2阶）组成，那么的形式如下：

关键逻辑：

同步性： 注意到两个不同的块使用了完全相同的系数。这是因为它们是由同一个多项式作用的结果。
结构： 每个子块内部都是由展开系数构成的对角线平移。

代数的性质

根据中国剩余定理 (Chinese Remainder Theorem)，中的矩阵完全由这些独立的泰勒系数决定。

设矩阵的最小多项式为。如果我们可以将其分解为互素的因子：

那么根据 CRT，多项式子代数可以被拆解为：

考虑 CRT 中的一个原子项：。这对应了的一个（或一组）关于的 Jordan 块。

在这个局部空间里，任何多项式都可以绕着特征值做展开：

由于在局部空间里，余项直接消失了。

C(A)

通常，包含，因为自己生成的多项式当然可以和自己交换。

可交换矩阵可同样分块

设矩阵为分块对角矩阵：

其中，是由对角元素均为的 若尔当块(Jordan blocks) 排成的对角分块矩阵。关键前提：特征值 两两互异 ( $互异$ : distinct / mutually different)。

若矩阵与可交换，即满足：

若，则的根子空间 (generalized eigenspace) 也是 -不变子空间。由于各互异，这些子空间直接对应了矩阵的分块结构。

由此可以推导出矩阵必须具有与相同的分块对角结构：

并且满足分块间的交换性：

具体形式的探索

1. 特征值的平移不变性

设为对角元均为的若尔当形矩阵（Jordan Form）。根据交换性定义：

由此可知，求的交换代数等价于求其平移后的矩阵：因此，以下进一步假设的对角元均为。

2. 循环基（Cyclic Basis）的应用演示

通过循环基可以更直观地处理交换代数问题。 设为如下分块矩阵：

即由一个和一个的若尔当块组成的矩阵。

定义循环基向量：

第一组： 设 第二组： 设

于是，构成了的一组基。

3. 交换矩阵 B 的性质推导

任取，将作用在基向量上。 设为基向量的线性组合：

利用进行约束：

对于：

(注：且 )

对于：

设为基向量的线性组合：

利用进行约束推导：

对于：

(注：且 )

利用的性质：

由于，由此推导出核心约束：

中矩阵的一般形状

综合所有基向量在作用下的表现：

其中，在循环基下矩阵的表示矩阵为：

我们可以看到，相当于第一列不断下移。一般地我们可以证明：命题：若与可交换，则必为上三角 Toeplitz 矩阵。证明：设。由可知，比较第元：（的列左移）（的行上移）故，这意味着沿主对角线平行的元素全部相等。

小结

若矩阵取以上形状，其中参数任取，则：

因为就是从推出来的。这说明该基底中的每一个向量都被映射为零向量。由于这组向量构成空间的基，因此：

一般情形下的分块结构

设为由多个上三角若尔当块组成的矩阵，特征值均为。例如图中示例，当由阶数为的三个块组成时：

与之可交换的矩阵具有如下分块形状：

或者打出具体系数：

对角块与交叉块：每个分块内部都呈现 Toeplitz 结构（主对角线及其平行线上元素相等）。
阶数限制：对于的交叉分块，其独立变量的个数由决定。

维数的一般性推导

设是对角元均为的若尔当形矩阵，各对角块阶数满足：

的总维数等于所有分块独立变量数之和。根据的原则，维数分布呈现如下阶梯状矩阵模式：

第 1 行贡献：（由于最大，各，但由于对称性及结构，此处统计逻辑为各列对第块的贡献）
通过对所有求和：

将上述表格按行或按规律求和，可提炼出交换代数维数的最终计算公式： **

结构总结

我们可以把这种结构形象地理解为“大分块”嵌套“小分块”：

第一层：按“特征值”进行的大分块（外部结构）

由于特征值互异，不同特征值对应的根子空间之间是“绝缘”的。
形态：整个矩阵呈现严格的分块对角（Block Diagonal）形状。
这意味着在矩阵中，如果横向和纵向对应的特征值不同，那个位置的整个子块必须全是。

第二层：按“若尔当块”进行的小分块（内部结构）

在同一个特征值对应的大对角块内部，可能存在多个小的若尔当块。
形态：这个大对角块内部是“全通”的，即每一对小块之间都可以有非零的交叉块。
约束：为了满足交换性，这些对角小块和交叉小块都必须是 Toeplitz 结构。

总结模型

如果矩阵有两个特征值（对应个若尔当块）和（对应个若尔当块），那么的形状如下：

蓝色区域：对应特征值的“大块”，内部因为有多个若尔当块，所以填满了交叉 Toeplitz 块。
绿色区域：对应特征值的“大块”，因为只有一个若尔当块，所以它只是一个简单的对角线 Toeplitz 块。
区域：因为特征值，所以大块之间必须为零，形成了分块对角的宏观结构。

这种分层结构完美解释了为什么当一个特征值对应多个块时，交换代数会因为内部的“跨块耦合”而失去交换性（即不再是交换环）。

矩阵 A 的二次中心化子

1. 二次中心化子的定义

二次中心化子定义为所有与中每一个元素都交换的矩阵组成的集合：

2. 实例推导

**以为示例.

在中选两个矩阵若，则，于是再由 (比较右上角的二阶块) 是的多项式

3. 核心结论——双重中心化子定理

通过以上约束推导得出： **

** 即：只有当是矩阵的多项式（的多项式环）时，它才能与中的所有矩阵交换。

4. 关于交换环的深度观察

非交换性：特别地，在上述例子中。
判别准则：只要矩阵的某一个特征值对应了两个或两个以上的若尔当块，那么它的交换代数就不是交换环。

一些杂题

我们会发现一些类似对易的样式的条件会满足的一些共性。例如之前提到的特征子空间是另一方的不变子空间。还有一个性质：

这能得到

只需要归纳即可

虽然不知道有什么用，但是还挺有意思。此外，由于特征子空间是另一方的不变子空间，那么会想到拿循环子空间去给人家作用会得到一些有趣的结果，例如[[#3. 交换矩阵 B 的性质推导]]。

我们可以看一道期中考试的压轴，虽然不是对易的，但是可以类似地操作。

复 数 域 上 考 虑 ， ， ， ， 证 明 可 以 对 角 化

由于，只有一条链，我们就知道这对应一个强循环子空间，我们考虑的作用：

设

那么我们带入这个条件

就得到

规律已经昭然，我们可以再算一项

以此类推，最后一项就是

那么在这一组基下对应的矩阵就是一个下三角的矩阵，对角元是，其中，所以他有个互异特征值，从而可以对角化。