2-Simple ore domains of stable rank 1
It is known that a simple Bézout domain is a domain of elementary divisors if and only if it is 2-simple. We prove that, over a 2-simple Ore domain of stable rank 1, an arbitrary matrix that is not a divisor of zero is equivalent to a canonical diagonal matrix.
English version (Springer): Ukrainian Mathematical Journal 62 (2010), no. 10, pp 1666-1672.
Citation Example: Domsha O.V., Zabavskii B. V. 2-Simple ore domains of stable rank 1 // Ukr. Mat. Zh. - 2010. - 62, № 10. - pp. 1436–1440.