Equivalence of a matrix over<i>R [s,z]</i>with its Smith form

Abstract

Conditions under which a matrix over R[s, z] is equivalent, to its Smith form are investigated. These conditions involve the concept of zeros of a matrix over R[s, z] which has not been previously encountered in this context.