$r$-ideals in commutative rings

In this article we introduce the concept of $r$-ideals in commutative rings (note: an ideal $I$ of a ring $R$ is called $r$-ideal, if $ab\in I$ and ${\rm Ann}(a)=(0)$ imply that $b\in I$ for each $a,b\in R$). We study and investigate the behavior of $r$-ideals and compare them with other classical ideals, such as prime and maximal ideals. We also show that some known ideals such as $z^\circ$-ideals are $r$-ideals. It is observed that if $I$ is an $r$-ideal, then so too is a minimal prime ideal of $I$. We naturally extend the celebrated results such as Cohen's theorem for prime ideals and the Prime Avoidance Lemma to $r$-ideals. Consequently, we obtain interesting new facts related to the Prime Avoidance Lemma. It is also shown that $R$ satisfies property $A$ (note: a ring $R$ satisfies property $A$ if each finitely generated ideal consisting entirely of zerodivisors has a nonzero annihilator) if and only if for every $r$-ideal $I$ of $R$, $I[x]$ is an $r$-ideal in $R[x]$. Using this concept in the context of $C(X)$, we show that every $r$-ideal is a $z^\circ$-ideal if and only if $X$ is a $\partial$-space (a space in which the boundary of any zeroset is contained in a zeroset with empty interior). Finally, we observe that, although the socle of $C(X)$ is never a prime ideal in $C(X)$, the socle of any reduced ring is always an $r$-ideal.

Anahtar Kelimeler:

$r$-ideal, $pr$-ideal, annihilator, property $A$, zerodivisor, $uz$-ring, $z^\circ$-ideal, $r$-multiplicatively closed, almost $P$-space, $\partial$-space, socle

$r$-ideals in commutative rings

Keywords:

$r$-ideal, $pr$-ideal, annihilator, property $A$, zerodivisor, $uz$-ring, $z^\circ$-ideal, $r$-multiplicatively closed, almost $P$-space, $\partial$-space, socle,

PDF

___

Abu Osba EA, Al-Ezeh H. The pure part of the ideals in C(X) . Math J Okayama Univ 2003; 45: 73–82.
Aliabad AR, Mohamadian R. sz-ideals in polynomial rings. Comm Algebra 2011; 39: 701–717. ◦
Atiyah MF, Macdonald IG. Introduction to Commutative Algebra. Reading, MA, USA: Addison-Wesley, 1969.
Azarpanah F. Algebraic properties of some compact spaces. Real Analysis Exchange 1999/2000; 25: 317–328.
Azarpanah F. On almost P -spaces. Far East J Math Sci (Special Volume) 2000; 121–132.
Azarpanah F, Karamzadeh OAS. Algebraic characterization of some disconnected spaces. Ital J Pure Appl Math ; 12: 155–168. Azarpanah F, Karamzadeh OAS, Rezaei Aliabad A. On z-ideal in C(X) . Fund Math 1999; 160: 15–25. ◦
Azarpanah F, Karamzadeh OAS, Rezaei Aliabad A. On ideals consisting entirely of zero divisors. Comm Algebra ; 28: 1061–1073.
Azarpanah F, Karavan M. On nonregular ideals and z-ideal in C(X) . ˇCech Math 2005; 55: 397–407. ◦
Azarpanah F, Mohamadian R. √ z -ideals and z◦-ideals in C(X) . Acta Math Sinica English Series 2007; 23: –996.
Birkenmeier GF, Ghirati M, Taherifar A. When is a sum of annihilator ideals an annihilator ideal? Comm Algebra ; 43: 2690–2702.
De Marco G. On the countably generated z -ideals of C(X) . P Am Math Soc 1972; 31: 574–576.
De Pagter B. On z -ideals and d -ideals in Riesz spaces III. Indag Math 1981; 43: 409–422.
Engelking R. General Topology. Warsaw, Poland: PWN-Polish Science Publishers, 1977.
Estaji AA, Karamzadeh OAS. On C(X) modulo its socle. Comm Algebra 2003; 31: 1561–1571.
Gillman L, Jerison M. Rings of Continuous Functions. Berlin, Germany: Springer-Verlag, 1976.
Gilmer R. Multiplicative Ideal Theory. New York, NY, USA: Marcel Dekker, 1972.
Huckabo JA. Commutative Ring with Zero divisors. New York, NY, USA: Marcel Dekker, 1988.
Kaplansky I. Commutative Rings. Boston, MA, USA: Allyn and Bacon, 1970.
Karamzadeh OAS. Module whose countably generated submodules are epimorphic images. Colloq Math 1982; 46: –146.
Karamzadeh OAS. The Prime Avoidance Lemma revisited. Kyungpook Math J 2012; 52: 149–153.
Karamzadeh OAS, Rostami M. On the intrinsic topology and some related ideals of C(X). P Am Math Soc 1985; : 179–184.
Lam TY. Lecture on Modules and Rings. Berlin, Germany: Springer, 1999.
Levy R. Almost P -spaces. Canad J Math 1977; 2: 284–288.
Lucas T. Two annihilator conditions: property (A) and (A.C.). Comm Algebra 1986; 14: 557–580.
Mason G. z -ideals and prime ideals. J Algebra 1973; 26: 280–297.