高等代数 (77)古今数学思想.pdf

第四章 多项式 4.8 有理系数多项式 4.8.2 高斯引理 二、Gauss 引理及其应用 Gauss 引理. 本原多项式的乘积仍为本原多项式. n m mn i i i f x ax ,g x bx 记乘积 h x f x g x dx . 证明: 设    i    i 本原,        i i 0 i 0 i 0 若 非本原 则存在素数 使得 pd , ,d ,d 反证. h(x) , p nm 1 0 n f x axi  p a 对某k, a , a , ,a 中第一个不被 整除者p .    本原 k 令 是a 0 1 n i i  i 0 , b b , b ,b 同理 令 是j 0 1 m 中第一个不被 整除者p .  考虑乘积的i+ j 次项系数: d ab a b ab a b a b ij 0 ij i1 j1 i j i1 j1 ij 0 p ab p ab pa 或pb , 矛盾！ 整除上式中 外的所有项 i j i j i j 定理1. 0 f  x ℚ-   可分解为两个低次 多项式之积 f ℤ- .  可分解为两个低次 多项式之积 证明: 设f gh , gh,  x , degg, degh deg f   将f, g, h都写成本原多项式的有理倍式的形式: f af ,g bg ,h ch ,