Reduction of matrices over Bezout domains of stable range 1 with Dubrovin’s condition in which maximal nonprincipal ideals are two-sides

Abstract

It is proved that each matrix over Bezout domain of stable range 1 with Dubrovin's condition, in which every maximal nonprincipal ideals are tho-sides ideals, is equivalent to diagonal one with right total division of diagonal elements.