arXiv subjects
Publications and source records attributed to Bohdan Zabavsky.
We introduce noncommutative rings with $DK$-property (Dubrovin-Komarnytsky's property) and investigate elementary divisor rings with such property. Mostly we pay attention to these kinds of noncommutative rings which have stable range $1$. A theory of reduction matrices over such rings is constructed. As a consequence, new families of non-commutative rings of elementary divisor rings are constructed.
We introduce a concept of rings of right (left) almost stable range $1$ and we construct a theory of a canonical diagonal reduction of matrices over such rings. A description of new classes of noncommutative elementary divisor rings is done as well. In particular, for Bézout $D$-domain we introduced the notions of $D$-adequate element and $D$-adequate ring. We proved that every $D$-adequate Bézout domain has almost stable range $1$. For Hermite $D$-ring we proved the necessary and sufficient conditions to be an elementary divisor ring. A ring $R$ is called an $L$-ring if the condition $RaR = R$ for some $a\in R$ implies that $a$ is a unit of $R$. We proved that every $L$-ring of almost stable range $1$ is a ring of right almost stable range $1$.
We introduce the concept of rings of simple range 2. Based on this concept, we build a theory diagonal reduction of matrices over Bezout domain. In particular we show that invariant Bezout domain is an elementary divisor ring if and only if it is a rings of simple range 2.
An element in a ring $R$ is called clear if it is the sum of unit-regular element and unit. An associative ring is clear if every its element is clear. In this paper we defined clear rings and extended many results to wider class. Finally, we proved that a commutative Bézout domain is an elementary divisor ring if and only if every full matrix order 2 over it is nontrivial clear.
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.
We constuct the theory of diagonalizability for matrices over Bezout rings of stable range 1 with the Kazimirsky condition. It is shown that a ring of stable range 1 with the right (left) Kazimirsky condition is an elementary divisor ring if and only if it is a duo ring.
J. Zelmanowitz introduced the concept of ring, which we call zip rings. In this paper we characterize a commutative Bezout domain whose finite homomorphic images are zip rings modulo its nilradical.
We proved that in J-Noetherian Bezout domain which is not a ring of stable range 1 exists a nonunit adequate element (element of almost stable range 1
In this paper we introduced the concept of a ring of stable range 2 which has square stable range 1. We proved that a Hermitian ring $R$ which has (right) square stable range 1 is an elementary divisor ring if and only if $R$ is a duo ring of neat range 1. And we proved that a commutative Hermitian ring $R$ is a Toeplitz ring if and only if $R$ is a ring of (right) square range 1.
It is proven that every commutative semihereditary Bezout ring in which any regular element is Gelfand (adequate), is an elementary divisor ring.
Using the concept of ring diadic range 1 we proved that a commutative Bezout ring is an elementary divisor ring iff it is a ring diadic range 1.
This article deals mostly with the following question: when is the classical ring of quotients of a commutative ring a ring of stable range 1? We introduce the concepts of a ring of (von Neumann) regular range 1, a ring of semihereditary range 1, a ring of regular range 1, a semihereditary local ring, a regular local ring. We find relationships between the introduced classes of rings and known ones, in particular, it is established that a commutative indecomposable almost clean ring is a regular local ring. A commutative any ring of idempotent regular range 1 is an almost clean ring. It is shown that any commutative indecomposable almost clean Bezout ring is an Hermite ring, any commutative semihereditary ring is a ring of idempotent regular range 1. The classical ring of quotients of a commutative Bezout ring is a (von Neumann) regular local ring if and only if R is a commutative semihereditary local ring.