北大高等代数2-21知识点.docVIP

第二学期第二十一次课 9.2.2 内多项式的因式分解 定义9.12 定义。 假设。如果，使得，且，则称在内可约，否则称在内不可约。 定义9.13 设 ， 这里。如果，则称是一个本原多项式。 命题 内一个非零多项式可以表成一个有理数和一个本原多项式的乘积：，而且除了差一个因子外，是被唯一决定的。 证明是很简单的，可取，其中为系数的最大公因子，而为系数的分母的一个公倍数。 定理（高斯引理）两个本原多项式的乘积还是一个本原多项式。 证明 设 是两个本原多项式。为方便记，下面设。又设 ， 如果不是本原多项式，令素数是其系数的一个公因子。 设。而另一方面，，而。该式两个括号内均含有因子，故必有。因为是素数，，此时应有，与假设矛盾。这个矛盾表明乘积是本原多项式。 由高斯定理，我们容易得到 命题 设。命，其中是一个本原多项式。则在内可约的充分必要条件是在内可约。 证明 充分性是显然的。下面来证必要性。 设，其中。命，其中，而为本原多项式。此时。根据高斯引理，为本原多项式，在由前面的命题，有，这样必要性得证。 作为高斯引理的又一应用，我们可得下面的重要结论（实际的证明过程与证明“因式唯一分解定理”相似，都是运用数学归纳法，详细书写见课本） 定理（内多项式的因式分解）设是内一个首项系数为正数的多项式且，则在内可分解为 其中为两两不同的素数，为内两两不同，次数且首项