Smith标准形存在性

先证明如下几个引理:

引理1. $\mathbf{A}(\lambda )$ 是 $n$ 阶$\lambda$矩阵, $a_{11}(\lambda )\ne 0$, 且 $\mathbf{A}(\lambda )$ 的第1行或第1列中存在元素无法被 $a_{11}(\lambda )$ 整除, 则存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )$ 整除第 $1$ 行与第 $1$ 列的所有元素且 $\mathrm{deg}{a}_{11}^{\prime }(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$.

证明: 若第 $1$ 列中存在元素无法被 $a_{11}(\lambda )$ 整除: 设 $a_{i1}(\lambda )$ ($2\le i\le n$) 不能被 $a_{11}(\lambda )$ 整除. 存在多项式 $p(\lambda )$, $r(\lambda )$, 使得: $a_{i1}(\lambda )=a_{11}(\lambda )p(\lambda )+r(\lambda )$ 且 $\mathrm{deg}r(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$. 将第 $1$ 行乘以 $-p(\lambda )$ 加到第 $i$ 行, 并交换第 $i$ 行和第 $1$ 行, 此时 $a_{11}(\lambda )=r(\lambda )$. 若此时第 $1$ 列中仍存在元素无法被 $a_{11}(\lambda )$ 整除, 则对 $\mathbf{A}(\lambda )$ 重复上述过程. 这个过程至多进行有限次, 因为每次执行完后 $a_{11}(\lambda )$ 次数都比上次降低至少 $1$, 若无限进行下去, $a_{11}(\lambda )$ 的次数将会是负数, 矛盾.

此时, 若第 $1$ 行中存在元素无法被 $a_{11}(\lambda )$ 整除: 设 $a_{i1}(\lambda )$ ($2\le i\le n$) 不能被 $a_{1i}(\lambda )$ 整除. 存在多项式 $p(\lambda )$, $r(\lambda )$, 使得: $a_{1i}(\lambda )=a_{11}(\lambda )p(\lambda )+r(\lambda )$ 且 $\mathrm{deg}r(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$. 将第 $1$ 列乘以 $-p(\lambda )$ 加到第 $i$ 列, 并交换第 $i$ 列和第 $1$ 列, 此时 $a_{11}(\lambda )=r(\lambda )$. 若此时第 $1$ 行中仍存在元素无法被 $a_{11}(\lambda )$ 整除, 则对 $\mathbf{A}(\lambda )$ 重复上述过程. 这个过程至多进行有限次, 因为每次执行完后 $a_{11}(\lambda )$ 次数都比上次降低至少 $1$, 若无限进行下去, $a_{11}(\lambda )$ 的次数将会是负数, 矛盾. 此时令 ${\mathbf{A}}^{\prime }(\lambda )=\mathbf{A}(\lambda )$ 即可得此命题.

引理2. $\mathbf{A}(\lambda )$ 是 $n$ 阶$\lambda$矩阵, $a_{11}(\lambda )\ne 0$, 且 $\mathbf{A}(\lambda )$ 中存在元素无法被 $a_{11}(\lambda )$ 整除, 则存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )\ne 0$, $\mathrm{deg}{a}_{11}^{\prime }(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$ 且 $a_{11}^{\prime }(\lambda )$ 整除 ${\mathbf{A}}^{\prime }(\lambda )$ 的所有元素.

证明: 由引理1可知, 存在与 $\mathbf{A}(\lambda )$ 相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )$ 整除第1行与第1列的所有元素且 $\mathrm{deg}{a}_{11}^{\prime }(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$. 令 $\mathbf{A}(\lambda )={\mathbf{A}}^{\prime }(\lambda )$. 此时, 若 $a_{11}(\lambda )$ 无法整除所有元素 $\mathbf{A}(\lambda )$: 设 $a_{ij}(\lambda )$, $i,j\ne 1$ 不能被 $a_{11}(\lambda )$ 整除. 令 $p(\lambda )=a_{i1}(\lambda )/a_{11}(\lambda )$. 将第 $1$ 行乘以 $-p(\lambda )$ 加到第 $i$ 行, 记得到的矩阵为 ${\mathbf{A}}^{\prime }(\lambda )$, 则 $a_{i1}^{\prime }(\lambda )=0$, $a_{ij}^{\prime }(\lambda )=a_{ij}(\lambda )-p(\lambda )a_{1j}(\lambda )$, 再将第 $i$ 行加到第 $1$ 行, 记得到的矩阵为 ${\mathbf{A}}^{\prime \prime }(\lambda )$, 此时 $a_{11}^{\prime \prime }(\lambda )=a_{11}(\lambda )$, $a_{1j}^{\prime \prime }(\lambda )=a_{1j}(\lambda )[1-p(\lambda )]+a_{ij}(\lambda )$, $a_{11}(\lambda )\nmid a_{1j}(\lambda )$. 令 $\mathbf{A}(\lambda )={\mathbf{A}}^{\prime \prime }(\lambda )$, 根据引理1, 存在与 $\mathbf{A}(\lambda )$ 相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )$ 整除第1行与第1列的所有元素且 $\mathrm{deg}{a}_{11}^{\prime }(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$. 令 $\mathbf{A}(\lambda )={\mathbf{A}}^{\prime \prime }(\lambda )$. 若此时仍存在无法被 $a_{ij}(\lambda )$ 整除的元素, 则对 $\mathbf{A}(\lambda )$ 重复上述过程. 这个过程至多进行有限次, 若不然, 因为每次执行完后 $a_{11}(\lambda )$ 次数都比上次降低至少 $1$, 因此若无限进行下去, $a_{11}(\lambda )$ 的次数将为负, 矛盾. 此时令 ${\mathbf{A}}^{\prime }(\lambda )=\mathbf{A}(\lambda )$ 即可得此命题.

引理3. $\mathbf{A}(\lambda )$ 是 $n$ 阶$\lambda$矩阵, $a_{11}(\lambda )\ne 0$, 且 $\mathbf{A}(\lambda )$ 中存在元素无法被 $a_{11}(\lambda )$ 整除, 则存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )\ne 0$, $\mathrm{deg}{a}_{11}^{\prime }(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$, $a_{11}^{\prime }(\lambda )$ 整除 ${\mathbf{A}}^{\prime }(\lambda )$ 的所有元素, 且第 $1$ 行和第 $1$ 列除 $a_{11}(\lambda )$ 外都是 $0$.

证明: 根据引理2, 存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )\ne 0$, $\mathrm{deg}{a}_{11}(\lambda )<\mathrm{deg}{a}_{11}(\lambda )$ 且 $a_{11}^{\prime }(\lambda )$ 整除 ${\mathbf{A}}^{\prime }(\lambda )$ 的所有元素. 以 $a_{11}^{\prime }(\lambda )$ 消去第 $1$ 行和第 $1$ 列的其他元素, 此时的 ${\mathbf{A}}^{\prime }(\lambda )$ 第 $1$ 行和第 $1$ 列除 $a_{11}(\lambda )$ 外都是 $0$, 由此可得此命题.

引理4. $\mathbf{A}(\lambda )$ 是 $n$ 阶$\lambda$矩阵, $\mathbf{A}(\lambda )\ne 0$, 则存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )\ne 0$.

证明: 若 $a_{11}(\lambda )=0$, 则 $\mathbf{A}(\lambda )$ 的元素中必然存在 $a_{ij}(\lambda )\ne 0$, 交换第 $i$ 行和第 $1$ 行, 交换第 $j$ 列和第 $1$ 列, 此时 $a_{11}(\lambda )\ne 0$. 此时令 ${\mathbf{A}}^{\prime }(\lambda )=\mathbf{A}(\lambda )$ 即可得此命题.

存在性的证明: 当 $\mathbf{A}(\lambda )=0$ 时结论显然成立, 下面证明当 $\mathbf{A}(\lambda )\ne 0$ 时结论成立. 采用数学归纳法进行证明. 当 $n=1$ 时, $\mathbf{S}(\lambda )=\mathbf{A}(\lambda )$ 即为所求. 若当 $n=k$ 时结论成立. 当 $n=k+1$ 时, 根据引理4, 存在与之相抵的 ${\mathbf{A}}^{\prime }(\lambda )$, 其中 $a_{11}^{\prime }(\lambda )\ne 0$. 由引理3易知: 存在与 ${\mathbf{A}}^{\prime }(\lambda )$ 相抵的 ${\mathbf{A}}^{\prime \prime }(\lambda )$, 其中 $a_{11}^{\prime \prime }(\lambda )\ne 0$, $a_{11}^{\prime \prime }(\lambda )$ 整除 ${\mathbf{A}}^{\prime \prime }(\lambda )$ 的所有元素, 且第1行和第1列除 $a_{11}^{\prime \prime }(\lambda )$ 外都是 $0$. 设

$${\mathbf{A}}^{\prime \prime }(\lambda )=\left[\begin{array}{ccc}{a}_{11}(\lambda )& 0& \\ 0& {\mathbf{A}}_1(\lambda )& \end{array}\right]$$

$\mathrm{rank}{\mathbf{A}}^{\prime \prime }(\lambda )=\mathrm{rank}([a_{11}(\lambda )])+\mathrm{rank}{\mathbf{A}}_1(\lambda )=r$, 因此 $\mathrm{rank}{\mathbf{A}}_1(\lambda )=r-1$. 根据归纳假设, 存在 $k$ 阶 $\lambda$-矩阵 ${\mathbf{S}}_1(\lambda )$ 满足:

S 1 ( λ ) = d i a g { d 1 ( λ ) , . . . , d r − 1 ( λ ) , 0 , . . . , 0 } ≃ A 1 ( λ ) \mathbf{S}_{1}(\lambda)=\mathrm{diag} \{d_1(λ), ..., d_{r-1}(λ), 0, ..., 0\} \simeq \mathbf{A}_{1}(\lambda) S1​(λ)=diag{d1​(λ),...,dr−1​(λ),0,...,0}≃A1​(λ)

其中 $d_i(\lambda )$ 是首项系数为 $1$ 的多项式，且 $d_{i-1}(\lambda )$ 能整除 $d_i(\lambda )$, $i=2,...,r-1$. 由此可知:

$${\mathbf{A}}^{\prime \prime }(\lambda )\simeq \left[\begin{array}{ccc}{a}_{11}(\lambda )& 0& \\ 0& {\mathbf{S}}_1(\lambda )& \end{array}\right]\equiv \mathbf{S}(\lambda )$$

进而有 $\mathbf{A}(\lambda )\simeq \mathbf{S}(\lambda )$, $a_{11}(\lambda )|d_i(\lambda )$, $i=1,...,r-1$. 由此可得此命题.