高等代数(八)-线性变换03：不变因子

§ 3 不变因子
现在来证明, $\lambda$-矩阵的标准形是唯一的. 为此, 我们引人
定义 5 设 $\lambda$-矩阵 $\mathbf{A}(\lambda )$ 的秩为 $r$,
对于正整数 $k(1⩽k⩽r),\mathbf{A}(\lambda )$
中必有非零的 $k$阶子式, $\mathbf{A}(\lambda )$ 中全部 $k$
阶子式的首项系数为 1 的最大公因式 $D_k(\lambda )$ 称为
$\dot{\mathbf{A}}(\lambda )$ 的 $k$ 阶行列式因子.
由定义可知, 对于秩为 $r$ 的 $\lambda$-矩阵, 行列式因子一共有 $r$ 个.
行列式因子的意义就在于,它在初等变换下是不变的.
定理 3 等价的 $\lambda$-矩阵具有相同的秩与相同的各阶行列式因子.
证明 我们只需要证明, $\lambda$-矩阵经过一次初等变换,
秩与行列式因子是不变的.
设 $\lambda$-矩阵 $\mathbf{A}(\lambda )$ 经过一次初等行变换变成
$\mathbf{B}(\lambda ),f(\lambda )$ 与 $g(\lambda )$ 分别是
$\mathbf{A}(\lambda )$ 与 $\mathbf{B}(\lambda )$ 的 $k$
阶行列式因子. 我们证明 $f=g$. 下面分三种情形讨论:
1. $\mathbf{A}(\lambda )$ 经第一种初等行变换变成
$\mathbf{B}(\lambda )$. 这时, $\mathbf{B}(\lambda )$ 的每个 $k$
阶子式或者等于 $\mathbf{A}(\lambda )$ 的某个 $k$ 阶子式, 或者与
$\mathbf{A}(\lambda )$ 的某个 $k$ 阶子式反号, 因此 $f(\lambda )$ 是
$\mathbf{B}(\lambda )$ 的 $k$ 阶子式的公因式, 从而
$f(\lambda )\mid g(\lambda )$.
2. $\mathbf{A}(\lambda )$ 经第二种初等行变换变成
$\mathbf{B}(\lambda )$. 这时, $\mathbf{B}(\lambda )$ 的每个 $k$
阶子式或者等于 $\mathbf{A}(\lambda )$ 的某个 $k$ 阶子式, 或者等于
$\mathbf{A}(\lambda )$ 的某个 $k$ 阶子式的 $c$ 倍. 因此 $f(\lambda )$
是 $\mathbf{B}(\lambda )$ 的 $k$阶子式的公因式, 从而
$f(\lambda )\mid g(\lambda )$.
3. $\mathbf{A}(\lambda )$ 经第三种初等行变换变成