矩阵多项式与带余除法.docVIP

【标题】矩阵多项式与带余除法 【作者】龚 昌 波 【关键词】一元多项式????多元多项式????矩阵多元多项式???带余除法??可除性 【指导老师】杨 世 辉 【专业】数学与应用数学 【正文】１　引言20世纪数学进入了高维高次时代，因而许多专家正在呼吁“用多元多项式理论来丰富高等代数课题”?。即使在中学数学里，由于多项式一般是多元的，所以要阐明中学数学的科学基础，也必须把多元多项式理论置于高等代数的重要位置。但现行高等代数课程里，都只讲一元多项式的可除性；直到近代数学课程里，才把多元多项式的可除行作为更一般理论的特殊情形加以阐述?。为把多元多项式的可除行的理论放到高等代数课程里作准备，本文将改换一个角度，采用一元多项式平行的方式讨论多元多项式的可除性，由于下面可以看到的原因，这里存在一定的困难，都不是能简单类推的，考虑到一元多项式的有关结论在高等代数里都已推导?，因此在下面的讨论中，本文对这些结果将述而不证明。本文把多元多项式的带余除法推广到矩阵多元多项式中，然后把多元多项式看做主变元的一元多项式时，其系数为可交换的多元多项式环，而把矩阵多元多项式看做主变元的一元多项式时，其系数为可交换的矩阵多元多项式环，在证明多元多项式的带余除法时交换起重要作用，没有交换性就没有现在的多元多项式的带余除法。因此在矩阵多项式中的带余除法不可能得到象多元多项式的带余除法。可是矩阵多元多项式还是一个不同于多元多项式的较好的性质，即存在?，?，使得?，本文充分利用了这个性质，尽可能得到象多项式的带余除法。　2　带余除法的问题我们知道，域P上的多元多项式环?与一元多项式环?一样，都是有单位元且满足消去律的交换环，即是整环。在?里，可以与环?里一样，给出整除、因子、最入公因子、互质、不可约多项式（质式）等慨念。下面关于带余除法的结论是讨论一元多项式可除性的基础。?定理2.1?对于?中的任意两个多项人?，其中?，有?多项式?存在，使???????????????????成立，其中?或?，并且这样的?是唯一的?。下面给出定理2.1的证明：证明：先证：先证定理的前一部分（存在性）令?因为???所以?如果S中含有零个多项式，则存在?，使得?即：?这里???如果S中不含零多项式，由最小原理，S中必含有一个次数最低的多项式即存在?，使得?是s中次数最低的多项式所以?这里?事实上，假使?令?与?的首项系数分别是a和b,我们任取一个首项系数是?的?次多项式?，有?所以?而?又因为? 0，? 0所以?这与?是s中的次数最低的多项式矛盾。综上述，存在?，???，使得?这里或者?，或者?下面证明定理的后一部分（唯一性）假设还存在?，使得?这里或者?，或者?下面证明定理的后一部分（唯一性）假设还存在?，使得?这里或者?或者?由（1）和（2）得：?假设?，那么??，这时等式左边的次数不小于?的次数，而等式右边的次数将小于?的次数，这是不可能的。因此必然有：?又因为?所以?这就是说，?=?，?。即定理1.1的证。但是，多元多项式却没有明显的带余除法。例如，令?若有?，?存在，使?那么在?或?时，?是常数?。?，?是常数?。但?是不可能成立的。把域P上的二元多项式?按?的降幂写成??????????其中?是?的一元多项式。当?时，?也叫做?关于?的次数，记作?。于是，?可以看着整环?上的关于?的一元多项式；二元多项式环?可以看作整环?上的关于?的一元多项式环?。取分式域?????????那么?也可以看作域?上的关于?的一元多项式环?中的多项式。从而根据定理2.1，对于?中的多项式?，?，其中?，有?中关于?的各次项系数为?的分式的多项式?存在，使????其中?或?。用适当非零多项式?乘上式两边，去掉?中的关于?的各次项系数的分母，即得到下面相应于定理2.1的结论。???定理2.2??对于?中的任意两个多项式?，?，其中?，有?中的多项式?，?与?存在，其中?，使???其中?或?。显然，这里?，?与?不是?唯一的，但对下面的讨论并不会产生影响。由于多元多项式环?可以看作整环?上关于?的一元多项式环?，因而不难理解定理2.2可以推广到任意多个元的情形。而且下面的所有结论都能这样推广。所以，以下我们将只对二元多项式进行讨论。至于二元的情形，如果没有特别悦明，这些结论都是成立的，就不再列举了。?3　本原多项式及其性质通过上面的讨论，我们看见?可看作为?上的关于?多项式环，而?不是个域。考虑到整数环?，也是整环，因此我们尝试把讨论整数环?上的一元多项式的若干结论搬过来。与?中的本原多项式一样，如果?中二元多项式???关与?的各次项系数?互