This paper is concerned with the factorization and equivalence problems of multivariate polynomial matrices. We present some new criteria for the existence of matrix factorizations for a class of multivariate polynomial matrices, and obtain a necessary and sufficient condition for the equivalence of a square polynomial matrix and a diagonal matrix. Based on the constructive proof of the new criteria, we give a factorization algorithm and prove the uniqueness of the factorization. We implement the algorithm on Maple, and two illustrative examples are given to show the effectiveness of the algorithm.
翻译:本文涉及多变量多元矩阵的乘数和等值问题。我们为存在某类多变量多元矩阵的矩阵乘数提供了一些新的标准,并获得一个必要和充分的条件,使平方多元矩阵和对角矩阵具有等值性。根据新标准的建设性证据,我们给出了一种乘数算法,并证明了系数的独一性。我们在Maple上实施了算法,并举了两个示例来说明算法的有效性。