Diagonal reduction of matrices over commutative semihereditary Bezout rings

Bohdan Zabavsky, Andry Gatalevych

It is proven that every commutative semihereditary Bezout ring in which any regular element is Gelfand (adequate), is an elementary divisor ring.