The elementary divisor theory over the Hurwitz order of integral quaternions

There exists a diagonal form with certain divisibility conditions for matrices over the Hurwitz order of integral quaternions under unimodular equivalence. The diagonal entries are uniquely determined up to similarity. Given two such diagonal forms, where the diagonal entries are similar by pairs, the matrices prove to be ummodularly equivalent, whenever the rank of the matrices is creater than one.