  We study the theory of diagonal reductions of matrices over simple Ore
domains of finite stable range. We cover the cases of 2-simple rings of stable
range 1, Ore domains and certain cases of Bezout domains.
