"I liked the algebraic way of looking at things.
I’m additionally fascinated when the algebraic method is applied to infinite objects”.

Irwing Kaplansky

# A criterion of elementary divisor domain for distributive domains

Vasylyna Bokhonko

Department of Algebra and Logic

Faculty of Mechanics and Mathematics
Ivan Franko National University of L'viv

Abstract:

Under a ring  we understand an associative ring with 1.

The matrices A and B over a ring R are equivalent if exist invertible matrices P and Q of appropriate sizes such that  B=PAQ.

A ring R is called clean if every element of R is the sum of an idempotent and a unit.

A ring R is called an exchange ring if for every element a∈R there exists an idempotent e∈R such that e∈aR, 1-e∈(1-aR).

A ring R is called right (left) distributive if every lattice right (left) ideal of ring R is distributive.

We say that a duo-ring R has neat range 1 if for every  a,b∈R such that aR+bR=R there exist an element t∈R such that a factor-ring R/(a+br)R is a clean ring.

Theorem 1. Any distributive Bezout domain is an elementary divisor domain if and only if it is a duo-domain of neat range 1.

References

[1]  Zabavsky B.V. Diagonal reduction of matrices over rings. Math. Stud., Monograph Series, v. XVI, Lviv, 2012, 251 p.

### Коментарі (0)

Rated 0 out of 5 based on 0 voters
There are no comments posted here yet

### Залиште свій коментар

Rate this post:
Вкладення (0 / 3)
Bookmaker with best odds http://wbetting.co.uk review site.

B. Zabavsky, 27 Dec, 2013

#### Rings almost clean range 1

B. Zabavsky, 2 Mar, 2018

V. Shchedryk, 17 May, 2013

#### On common properties of Bezout domains and rings of matrices over them II

A. Gatalevych, 16 Mar, 2018