实复有理多项式理论_2010_05_11.pptVIP

例 实数域上的两个 阶矩阵 不相似，将其视为复数域上的矩阵仍然不相似。 采用反证法，假设在复数域上是相似的，那么 于是有 另外注意到 ，这说明 是一个非零的多项式，其在复数域上最多有 个根。于是存在实数 使得 记 ，那么 是一个可逆的实矩阵且满足 例 设 且 ，证明： 有相同的根。 有理数域上的不可约多项式 定义 设 是非零的整系数多项式 若 ，则称 是本原多项式 。? 注记 （1）任一非零的有理系数多项式都与一个本原多项式相伴； （2）两个本原多项式 在 中相伴 当且仅当 ； （3）零次本原多项式只有 1 和 -1。 （4）对于任意的 ，在 中与其相伴的本原多项式只有两个，二者相差一个正负号。 引理(Gauss引理) 两个本原多项式的乘积还是本原多项式。 定理 一个次数大于零的本原多项式 在 上可约的充要条件是 可分解成两个次数都比 的次数低的本原多项式的乘积。 推论 若一个次数大于零的整系数多项式 在 上可约，则 可分解成两个次数都比 的