A commutative Bezout domain in which every maximal ideal is
principal is an elementary divisor ring

arXiv:1210.8104v1 [math.RA] 30 Oct 2012

Zabavsky Bogdan
Department of Algebra and Logic, Ivan Franko National University of L’viv, Ukraine
October, 2012
Abstract: In this article we revisit a problem regarding Bezout domains, namely, whether
every Bezout domain is an elementary divisor domain. We prove that a Bezout domain
in which every maximal ideal is principal is an elementary divisor ring.

All rings considered will be commutative and have the identity. A ring is
a Bezout ring if every its finitely generated ideal is a principal.
Kaplansky [1] defined the class of elementary divisor rings as those rings
R for which every matrix M over R admits a diagonal reduction, that is there
exist invertible (unimodular) matrices P and Q such that P MQ is a diagonal
matrix D = (dii ), which the property that every dii is a divisor of di+1,i+1 .
He showed that if R is an elementary divisor domain, then every finitely
presented module over R is a direct sum of cyclic modules. It was later
shown in [2] that the converse is true answering a question of Warfield [3].
A ring R is fractionaly regular if for every non-zero element a from R
the classical quotient ring Qcl (R/rad(aR) ) is regular [4]. We say the ring R has
stable range 2 if whenever aR + bR + cR = R, then there are x, y ∈ R such
that (a + cx)R + (b + cy)R = R [4].
We say R is a reduced ring if it has no nilpotent elements other than 0.
Of course, this is equivalent to saying that the intersection of the minimal
prime ideals of R is 0.
For every ideal I in R we define the annihilator of I by I ⊥ = {x ∈ R |
ix = 0, ∀i ∈ I}. The nilradical of R is denoted by rad(R) and we denote by
Qcl (R) the classical ring of quotients of R.
Following Faith [5] a ring R is zip if I is an ideal and if I ⊥ = 0 then
I1⊥ = 0 for a finitely generated ideal I1 ⊆ I. We introduce the concept of
mzip ring as a ring with the property: if M is a maximal ideal and M ⊥ = 0
then M1⊥ = 0 for a finitely generated ideal M1 ⊆ M. Every zip ring is a mzip
ring and if every maximal ideal of Bezout ring is finitely generated, then ring
is a mzip ring.

An ideal I of a ring R is dense if it is an annihilator is zero. Thus I is a
dense is and only if it is a faithfull R-module. If every dense maximal ideal
of R contains a regular element then R is evidently mzip.
Actually every dense maximal ideal R contains a regular element if for
every maximal ideal of Qcl (R) the classical quotient ring is an annulet. The
rings with the property that maximal ideals are annulets are called Kasch
rings [6]. A ring R is McCoy if every finitely generated dense ideal contains
a regular element (In [7] this is called "Property A").
Using the triviality that I is an ideal of Qcl (R) and I = I0 Qcl (R), where
I0 is annulet of R (and in this case I0 = I ∩ R), one sees that R is McCoy if
Qcl (R) is McCoy.
If I is a finitely generated dense ideal of a Bezout ring R, then I = aR
for a ∈ R, so a ∈ I is a regular element. Then a Bezout ring is a McCoy ring
and we obtain the following result:
Proposition 1. Let R be a mzip Bezout ring, then every dense maximal
ideal contains a regular element and Qcl (R) is a Bezout Kasch ring.
Proposition 2. Let R be a reduced Bezout ring in which every maximal ideal
is projective. Then R is an mzip if and only if every maximal ideal of R is
principal.
Proof. If M is a dense maximal ideal of R and R is mzip, then exists a
principal ideal M1 = mR such that M1⊥ = 0 and M1 ⊂ M. Obviously, m
is a regular element. Since m ∈ M this is possible when M is a principal
ideal [10]. The proposition is proved.
Theorem 1. Let R be a Bezout domain and for every non-zero element
a ∈ R the factor-ring R/rad(aR) is mzip. Then R is an elementary divisor
ring.
Proof. Denote R/aR = R and K = R/rad(R) . Obviously, K is a reduced ring.
By [8], K is a ring with projective socle. Then for every maximal ideal M of
K, we have M ⊥ = 0 or M = eK, where e2 = e ∈ K. By Proposition 1, every
dense maximal ideal contains a regular element. Obviously Qcl (K) is a Kasch
reduced ring and by [7], Qcl (K) is a regular ring. Then R is a fractionaly
regular ring of stable range 2. By [4] and [11], R is an elementary divisor
ring. The theorem is proved.
Is obviously the following theorem:

Theorem 2. Let R be a Bezout domain in which every maximal ideal is
principal. Then R is an elementary divisor ring.
Remark 1. It is easy to deduce that a reduced ring R has Kasch Qcl (R) iff
Qcl (R) is semisimple, i.e. it is a finite product of fields. Thus, a reduced R
with Kasch Qcl (R) has a finite number of minimal prime ideals.
By proposition 1 and theorem 2 we have.
Theorem 3. Let R be a Bezout domain in which every maximal ideal is
principal. Then for every nonzero element a ∈ R there are only finitely
many prime ideals minimal over a.
By [12] we have
Theorem 4. Let R be a Bezout domain in which every maximal ideal is
principal. Then each nonzero principal ideal aR of R can be written in the
form aR = P1 P2 . . . Pn , where each Pi has prime radical and the Pi are
pairwise comaximal.

References
[1] Kaplansky I. Elementary divisors and modules // Trans. Amer. Math. Soc. 1949. - 66. - P.464-491.
[2] Larsen M.D., Levis W.J., Shores T.S. Elementary divisor rings and finitely
presented modules // Trans. Amer. Math. Soc. - 1974. -v.187. - P.231-248.
[3] Warﬁeld R.B. Decomposability of finitely presented modules // Proc. Amer.
Math. Soc. - 1970. - 25. - P.167-172.
[4] Zabavsky B.V. Fractionaly regular Bezout rings // Math. Stud. - 2009. - 32.
- P.76-80.
[5] Faith C. Annihilator ideals associated primes and Kasch-McCoy commutative
rings // Commun. in Algebra. -1991. - 19(7). - P. 1867-1892.
[6] Faith C. Rings with zero intersection property on annitilators: zip rings //
Publ. Math., 1989. - v.33. - P.329-338.
[7] Huckaba J. Commutative rings with zero divisors // Monograph in Pure and
Applied. Math. Marcel Dekker, Basel and New York. - 1988.

[8] Nicholsow W.K.,Watter J.F. Rings with projective socle // Proc. Amer. Math.
Soc. - 1988. - v.102. - ќ3. - P.443-450.
[9] Nicholson W.K. Yousif M.F. Quasi-Frobenius rings // Cambridge Universitet
Press. - 2003.
[10] Bourbaki N. Algebra. Chapt. 2 // Hermann, Paris. - 1961.
[11] Couchot F. The λ-dimension of commutative arithmetic rings // Comm. Algebra. - 2003. - 31. - P.3143-3158.
[12] Brewer J.V., Heinzer W.J. On decomposing ideals into products of comaximal
ideals // Comm. Algebra. - 2002. - 30. - P.5999-6010.

