Elementary matrix reduction over Zabavsky rings (Q2787657)

The authors prove that a Zabavsky ring \(R\) is an elementary divisor ring if and only if \(R\) is a Bézout ring, thus generalizing many known results.NEWLINENEWLINEA \textit{Zabavsky ring}, as defined by the authors, is a commutative ring \(R\) in which for any two comaximal elements \(a,b\in R\), there exists an element \(y\in R\) such that \(a+by\) is feckly adequate. An element \(c\in R\) is \textit{feckly adequate} if for any element \(a\in R\) there exist \(r,s\in R\) such that (1) \(c\equiv rs\pmod{J(R)}\); (2) \(rR+aR = R\); (3) \(s^\prime R+aR\neq R\) for each non-invertible divisor \(s^\prime\) of \(s\).NEWLINENEWLINEOther properties of commutative rings are studied as well. For example, the authors prove that a Bézout ring \(R\) is nearly adequate iff \(R/J(R)\) is regular iff \(R/J(R)\) is \(\pi\)-regular. All the necessary definitions are included in the paper.