scholarly journals Prime avoidance property

Author(s):  
A. Azarang

Let [Formula: see text] be a commutative ring, we say that [Formula: see text] has prime avoidance property, if [Formula: see text] for an ideal [Formula: see text] of [Formula: see text], then there exists [Formula: see text] such that [Formula: see text]. We exactly determine when [Formula: see text] has prime avoidance property. In particular, if [Formula: see text] has prime avoidance property, then [Formula: see text] is compact. For certain classical rings we show the converse holds (such as Bezout rings, [Formula: see text]-domains, zero-dimensional rings and [Formula: see text]). We give an example of a compact set [Formula: see text], where [Formula: see text] is a Prufer domain, which has not prime avoidance property. Finally, we show that if [Formula: see text] are valuation domains for a field [Formula: see text] and [Formula: see text] for some [Formula: see text], then there exists [Formula: see text] such that [Formula: see text].

Author(s):  
A. Yassine ◽  
M. J. Nikmehr ◽  
R. Nikandish

Let [Formula: see text] be a commutative ring with identity. In this paper, we introduce the concept of [Formula: see text]-absorbing prime ideals which is a generalization of prime ideals. A proper ideal [Formula: see text] of [Formula: see text] is called [Formula: see text]-absorbing prime if for all nonunit elements [Formula: see text] such that [Formula: see text], then either [Formula: see text] or [Formula: see text]. Some properties of [Formula: see text]-absorbing prime are studied. For instance, it is shown that if [Formula: see text] admits a [Formula: see text]-absorbing prime ideal that is not a prime ideal, then [Formula: see text] is a quasi–local ring. Among other things, it is proved that a proper ideal [Formula: see text] of [Formula: see text] is [Formula: see text]-absorbing prime if and only if the inclusion [Formula: see text] for some proper ideals [Formula: see text] of [Formula: see text] implies that [Formula: see text] or [Formula: see text]. Also, [Formula: see text]-absorbing prime ideals of PIDs, valuation domains, Prufer domains and idealization of a modules are characterized. Finally, an analogous to the Prime Avoidance Theorem and some applications of this theorem are given.


2018 ◽  
Vol 51 (381) ◽  
pp. FP1-FP6
Author(s):  
R. Strano

Prüfer domains are characterized by various properties regarding ideals and operations between them. In this note we consider six of these properties. The natural generalization of the notion of Prüfer domain to the case of a commutative ring with unit, not necessarily a domain, is the notion of arithmetic ring. We ask if the previous properties characterize arithmetic ring in the case of a general commutative ring with unit. We prove that four of such properties characterize arithmetic rings while the remaining two are weaker and give rise to two different generalizations.


Author(s):  
Rasul Mohammadi ◽  
Ahmad Moussavi ◽  
Masoome Zahiri

Let [Formula: see text] be an associative ring with identity. A right [Formula: see text]-module [Formula: see text] is said to have Property ([Formula: see text]), if each finitely generated ideal [Formula: see text] has a nonzero annihilator in [Formula: see text]. Evans [Zero divisors in Noetherian-like rings, Trans. Amer. Math. Soc. 155(2) (1971) 505–512.] proved that, over a commutative ring, zero-divisor modules have Property ([Formula: see text]). We study and construct various classes of modules with Property ([Formula: see text]). Following Anderson and Chun [McCoy modules and related modules over commutative rings, Comm. Algebra 45(6) (2017) 2593–2601.], we introduce [Formula: see text]-dual McCoy modules and show that, for every strictly totally ordered monoid [Formula: see text], faithful symmetric modules are [Formula: see text]-dual McCoy. We then use this notion to give a characterization for modules with Property ([Formula: see text]). For a faithful symmetric right [Formula: see text]-module [Formula: see text] and a strictly totally ordered monoid [Formula: see text], it is proved that the right [Formula: see text]-module [Formula: see text] is primal if and only if [Formula: see text] is primal with Property ([Formula: see text]).


2008 ◽  
Vol 07 (05) ◽  
pp. 575-591
Author(s):  
HAGEN KNAF

A local ring O is called regular if every finitely generated ideal I ◃ O possesses finite projective dimension. In the article localizations O = Aq, q ∈ Spec A, of a finitely presented, flat algebra A over a Prüfer domain R are investigated with respect to regularity: this property of O is shown to be equivalent to the finiteness of the weak homological dimension wdim O. A formula to compute wdim O is provided. Furthermore regular sequences within the maximal ideal M ◃ O are studied: it is shown that regularity of O implies the existence of a maximal regular sequence of length wdim O. If q ∩ R has finite height, then this sequence can be chosen such that the radical of the ideal generated by its members equals M. As a consequence it is proved that if O is regular, then the factor ring O/(q ∩ R)O, which is noetherian, is Cohen–Macaulay. If in addition (q ∩ R)Rq ∩ R is not finitely generated, then O/(q ∩ R)O itself is regular.


Author(s):  
Peyman Nasehpour

In this paper, as a generalization to content algebras, we introduce amount algebras. Similar to the Anderson–Badawi [Formula: see text] conjecture, we prove that under some conditions, the formula [Formula: see text] holds for some amount [Formula: see text]-algebras [Formula: see text] and some ideals [Formula: see text] of [Formula: see text], where [Formula: see text] is the smallest positive integer [Formula: see text] that the ideal [Formula: see text] of [Formula: see text] is [Formula: see text]-absorbing. A corollary to the mentioned formula is that if, for example, [Formula: see text] is a Prüfer domain or a torsion-free valuation ring and [Formula: see text] is a radical ideal of [Formula: see text], then [Formula: see text].


2019 ◽  
Vol 19 (06) ◽  
pp. 2050111 ◽  
Author(s):  
Ayman Badawi ◽  
Ece Yetkin Celikel

Let [Formula: see text] be a commutative ring with nonzero identity. In this paper, we introduce the concept of 1-absorbing primary ideals in commutative rings. A proper ideal [Formula: see text] of [Formula: see text] is called a [Formula: see text]-absorbing primary ideal of [Formula: see text] if whenever nonunit elements [Formula: see text] and [Formula: see text], then [Formula: see text] or [Formula: see text] Some properties of 1-absorbing primary ideals are investigated. For example, we show that if [Formula: see text] admits a 1-absorbing primary ideal that is not a primary ideal, then [Formula: see text] is a quasilocal ring. We give an example of a 1-absorbing primary ideal of [Formula: see text] that is not a primary ideal of [Formula: see text]. We show that if [Formula: see text] is a Noetherian domain, then [Formula: see text] is a Dedekind domain if and only if every nonzero proper 1-absorbing primary ideal of [Formula: see text] is of the form [Formula: see text] for some nonzero prime ideal [Formula: see text] of [Formula: see text] and a positive integer [Formula: see text]. We show that a proper ideal [Formula: see text] of [Formula: see text] is a 1-absorbing primary ideal of [Formula: see text] if and only if whenever [Formula: see text] for some proper ideals [Formula: see text] of [Formula: see text], then [Formula: see text] or [Formula: see text]


Author(s):  
Esmaeil Rostami ◽  
Sina Hedayat ◽  
Reza Nekooei ◽  
Somayeh Karimzadeh

A proper ideal [Formula: see text] of a commutative ring [Formula: see text] is called lifting whenever idempotents of [Formula: see text] lift to idempotents of [Formula: see text]. In this paper, many of the basic properties of lifting ideals are studied and we prove and extend some well-known results concerning lifting ideals and lifting idempotents by a new approach. Furthermore, we give a necessary and sufficient condition for every proper ideal of a commutative ring to be a product of pairwise comaximal lifting ideals.


2016 ◽  
Vol 08 (03) ◽  
pp. 1650043 ◽  
Author(s):  
S. Visweswaran ◽  
Patat Sarman

The rings considered in this paper are commutative with identity which are not integral domains. Recall that an ideal [Formula: see text] of a ring [Formula: see text] is called an annihilating ideal if there exists [Formula: see text] such that [Formula: see text]. As in [M. Behboodi and Z. Rakeei, The annihilating-ideal graph of commutative rings I, J. Algebra Appl. 10(4) (2011) 727–739], for any ring [Formula: see text], we denote by [Formula: see text] the set of all annihilating ideals of [Formula: see text] and by [Formula: see text] the set of all nonzero annihilating ideals of [Formula: see text]. Let [Formula: see text] be a ring. In [S. Visweswaran and H. D. Patel, A graph associated with the set of all nonzero annihilating ideals of a commutative ring, Discrete Math. Algorithm Appl. 6(4) (2014), Article ID: 1450047, 22pp], we introduced and studied the properties of a graph, denoted by [Formula: see text], which is an undirected simple graph whose vertex set is [Formula: see text] and distinct elements [Formula: see text] are joined by an edge in this graph if and only if [Formula: see text]. The aim of this paper is to study the interplay between the ring theoretic properties of a ring [Formula: see text] and the graph theoretic properties of [Formula: see text], where [Formula: see text] is the complement of [Formula: see text]. In this paper, we first determine when [Formula: see text] is connected and also determine its diameter when it is connected. We next discuss the girth of [Formula: see text] and study regarding the cliques of [Formula: see text]. Moreover, it is shown that [Formula: see text] is complemented if and only if [Formula: see text] is reduced.


1988 ◽  
Vol 38 (3) ◽  
pp. 373-375
Author(s):  
Frederick W. Call

The generic closure of the set of primes contracted from the complete ring of quotients of a reduced commutative ring is shown to be just the set of those primes not containing a finitely generated dense ideal. It is also the smallest generically closed, quasi-compact set containing the minimal primes.


2016 ◽  
Vol 16 (08) ◽  
pp. 1750143 ◽  
Author(s):  
D. D. Anderson ◽  
Sangmin Chun

Let [Formula: see text] be a commutative ring and [Formula: see text] an [Formula: see text]-module. Let [Formula: see text] and [Formula: see text]. [Formula: see text] satisfies Property [Formula: see text] (respectively, Property [Formula: see text]) if for each finitely generated ideal [Formula: see text] (respectively, finitely generated submodule [Formula: see text]) ann[Formula: see text] (respectively, ann[Formula: see text]). The ring [Formula: see text] satisfies Property [Formula: see text] if [Formula: see text] does. We study rings and modules satisfying Property [Formula: see text] or Property [Formula: see text]. A number of examples are given, many using the method of idealization.


Sign in / Sign up

Export Citation Format

Share Document