表现矩阵 xI - A

当你用算子 A 把 V 变成 F[x]-模时，你需要一种具体编码这个模的方式，好拿来计算。表现矩阵 xI - A 正是这种编码：多项式环 F[x] 上的一个方阵，它告诉你该模一组选定生成元之间的全部关系。

逻辑如下。取 V 的标准基 e1、…、en 作生成元。关系来自 x 的作用：x . e_j = A e_j = sum_i A_ij e_i，整理成 (x . e_j) - sum_i A_ij e_i = 0。把这 n 条关系打包成列，得到的正是矩阵 xI - A。所以 V 作为 F[x]-模，就是映射 F[x]^n -> F[x]^n（由 xI - A 给出）的余核。

它为何是主力：一旦 V 由 xI - A 表现，结构定理就成了一项计算。你用 F[x] 上的可逆行列变换把 xI - A 对角化——这就是史密斯标准形——其非单位对角元素就是不变因子。表现矩阵是从算子到模再到典范形的桥梁。

需要分清的一点。表现矩阵是多项式矩阵，不是数值矩阵；它的行列式是特征多项式 det(xI - A)。别把这里允许的行列操作（在 F[x] 上可逆，不能除以非单位）与域上普通的数值高斯消元混淆——正是多项式约束让不变因子有意义。