推广了两个多项式的子结式矩阵这一经典结果.在有单位元交换环上,引进了一般多项式系的一类子结式矩阵.并在唯一分解环上,利用多项式系的这类子结式矩阵,给出了多项式系公因子存在性的分次判别准则.
This paper generalizes the sub-resultant matrices from two polynomials to several ones,introduces the sub-resultant matrices of a polynomial system on the commutative ring with identity.And using the kinds of sub-resultant matrices,it gives the graded criterion for the existence of common divisors under given degree for a polynomial system on the unique factorization domain.