  This paper investigates equivalence of square multivariate polynomial
matrices with the determinant being some power of a univariate irreducible
polynomial. We first generalized a global-local theorem of Vaserstein. Then we
proved these matrices are equivalent to their Smith forms by the generalized
global-local theorem.
