Matrices and pairs of modules

AbstractIt is proved that each matrix over a principal ideal ring is equivalent to some diagonal matrix. Partial results are obtained on the uniqueness of the diagonal form obtained. These results are obtained by specializing some general properties about simultaneous decompositions of a projective module and a homomorphic image of finite (composition) length over any ring. These general results are also specialized to obtain results about matrices and projective modules over hereditary prime rings