Bezout恒等式的计算.pdfVIP

Bezout 恒等式的计算 夏慧珠 宁波大学理学院，浙江宁波 (315211) E-mail: huizhuxia@ 摘要：本文研究了多项式理想中的Bezout恒等式，即对多项式 及理想f , , f ，若 g 1 s 属于此理想，则有 关于多项式组f , ,f 的系数为多项式的线性表示： g g 1 s g h =⋅f ++h ⋅f ．这里我们给出了一个求此表示形式的算法． 1 1 s s 关键词：Bezout恒等式，理想，Groebner基，Buchberger算法 中图分类号：O174.14 1.引言 k 对于数域 上的单变元多项式f , g ，存在等式 a ⋅f +b ⋅g gcd( f , g ) ，其中gcd 表 示最大公因式，a,b 为数域k 上的多项式．此等式称为 Bezout 恒等式，由 Euclid 算法即可 得到．更进一步地，我们考虑单变元多项式组(f 1, , f s ) ，记它们的最大公因式为p ，则可 由归纳法通过Euclid 算法找到p 及多项式组(q , , q ) ，使得 1 s p q ⋅f ++q ⋅f ． 1 1 s s 现在考虑多变元多项式的情形．先定义此时的Bezout恒等式如下：多项式 g 关于多项式 组f , ,f 的系数为多项式的线性组合的表示形式，即g h ⋅f ++h ⋅f ．此时 不能 1 s 1 1 s s g 是任意的多项式，实际上，只有当g 属于理想f 1, , f s 时才有可能存在这样的等式．下 面我们给出一个算法用于判断g 是否存在此种线性表示，并且在存在这样的表示时给出具体 的表示形式．在实际中，这种Bezout恒等式有着许多应用，如文献[1]在利用Groebner基求解 [1]时，就是先把FIR 的表示转化成多项式的表示， 多维多通道有限脉冲响应型（FIR ）滤波器 并最终归结为寻找上述多项式理想中的Bezout恒等式的问题． 2．预备知识 定义 1 [2] 设f , , f 是k [x ,, x ] 中的多项式，则由f , , f 生成的理想记为 1 s 1 n 1 s ⎧s ⎫ f , , f ＝⎨∑h f : h ,,h ∈k [x ,, x ] ⎬． 1 s i i 1 s 1 n