高等代数§ 矩的有理标准形.pptVIP

二、矩阵的有理标准形 设 ，而 为它的不变因 子，证明： * * §8.7 矩阵的有理标准形 主讲:向大晶 §7 矩阵的有理标准形 一、多项式的伴侣矩阵 Definition 对数域 上的一个多项式 称矩阵 为多项式 的伴侣阵。 Proposition 一般地: 已知一个矩阵,对于它的每一个非常数不变因子,都能求出其伴侣阵. Remark 以上命题表明，给定一个 次多项式 ,一定有一个 阶矩阵,它的特征 矩阵只有一个非常数的不变因子 . 的伴侣阵 的不变因子为 于是 Method 设 是 阶方阵,其特征矩阵 中非常数 的不变因子有 个: 因而有 令 作 阶矩阵 其中 Theorem 相似于 。 Corollary Definition 称定理中的 为矩阵 的有理 标准形。 矩阵 是数量矩阵的充分必要条件是它的特征矩阵的不变因子都是非常数。 Theorem Theorem 数域 上