Abstract
A multiplicative property is proved for invariant factors of module homomorphisms over a Dedekind domainR.IfRis a principal ideal domain, this gives a new proof of the following result for the Smith normal formS(*)of a matrix:S(AB)=S(A)S(B)if detA and det B are relatively prime.

This publication has 2 references indexed in Scilit: