Diagonal reduction of matrices over commutative semihereditary Bezout rings
It is proven that every commutative semihereditary Bezout ring in which any regular element is Gelfand (adequate), is an elementary divisor ring.
math.RA↗
arXiv subjects
Publications and source records attributed to Andry Gatalevych.
It is proven that every commutative semihereditary Bezout ring in which any regular element is Gelfand (adequate), is an elementary divisor ring.