Annihilator conditions on modules over commutative rings

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.

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]).


2018 ◽  
Vol 2020 (1) ◽  
pp. 112-166 ◽  
Author(s):  
Matthias Aschenbrenner ◽  
Anatole Khélif ◽  
Eudes Naziazeno ◽  
Thomas Scanlon

AbstractWe characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring A is bi-interpretable with $(\mathbb{N},{+},{\times })$ if and only if the space of non-maximal prime ideals of A is nonempty and connected in the Zariski topology and the nilradical of A has a nontrivial annihilator in $\mathbb{Z}$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb{Z}$ is not bi-interpretable with $\mathbb{N}$.


Author(s):  
R. Y. Sharp

In 5, I provided a method whereby the study of an Artinian module A over a commutative ring R (throughout the paper, R will denote a commutative ring with identity) can, for some purposes at least, be reduced to the study of an Artinian module A' over a complete (Noetherian) local ring; in the latter situation, Matlis' duality 1 (alternatively, see 6, ch. 5) is available, and this means that the investigation can often be converted into a dual one about a finitely generated module over a complete (Noetherian) local ring.


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]


2020 ◽  
Vol 32 (1) ◽  
pp. 235-267 ◽  
Author(s):  
Michal Hrbek ◽  
Jan Šťovíček

AbstractWe classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by Angeleri, Pospíšil, ŠÅ¥ovíček and Trlifaj (2014). We show that the n-tilting classes can equivalently be expressed as classes of all modules vanishing in the first n degrees of one of the following homology theories arising from a finitely generated ideal: {\operatorname{Tor}_{*}(R/I,-)}, Koszul homology, Čech homology, or local homology (even though in general none of those theories coincide). Cofinite-type n-cotilting classes are described by vanishing of the corresponding cohomology theories. For any cotilting class of cofinite type, we also construct a corresponding cotilting module, generalizing the construction of Šťovíček, Trlifaj and Herbera (2014). Finally, we characterize cotilting classes of cofinite type amongst the general ones, and construct new examples of n-cotilting classes not of cofinite type, which are in a sense hard to tell apart from those of cofinite type.


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.


1980 ◽  
Vol 32 (6) ◽  
pp. 1277-1287 ◽  
Author(s):  
B. Sarath

The main object of this paper is to study when infective noetherian modules are artinian. This question was first raised by J. Fisher and an example of an injective noetherian module which is not artinian is given in [9]. However, it is shown in [4] that over commutative rings, and over hereditary noetherian P.I rings, injective noetherian does imply artinian. By combining results of [6] and [4] it can be shown that the above implication is true over any noetherian P.I ring. It is shown in this paper that injective noetherian modules are artinian over rings finitely generated as modules over their centers, and over semiprime rings of Krull dimension 1. It is also shown that every injective noetherian module over a P.I ring contains a simple submodule. Since any noetherian injective module is a finite direct sum of indecomposable injectives it suffices to study when such injectives are artinian. IfQis an injective indecomposable noetherian module, thenQcontains a non-zero submoduleQ0such that the endomorphism rings ofQ0and all its submodules are skewfields. Over a commutative ring, such aQ0is simple. In the non-commutative case very little can be concluded, and many of the difficulties seem to arise here.


2001 ◽  
Vol 43 (1) ◽  
pp. 103-111 ◽  
Author(s):  
Patrick F. Smith

The radical of a module over a commutative ring is the intersection of all prime submodules. It is proved that if R is a commutative domain which is either Noetherian or a UFD then R is one-dimensional if and only if every (finitely generated) primary R-module has prime radical, and this holds precisely when every (finitely generated) R-module satisfies the radical formula for primary submodules.


2009 ◽  
Vol 19 (03) ◽  
pp. 373-382 ◽  
Author(s):  
YVES CORNULIER

The space of marked commutative rings on n given generators is a compact metrizable space. We compute the Cantor–Bendixson rank of any member of this space. For instance, the Cantor–Bendixson rank of the free commutative ring on n generators is ωn, where ω is the smallest infinite ordinal. More generally, we work in the space of finitely generated modules over a given commutative ring.


2019 ◽  
Vol 19 (10) ◽  
pp. 2050199
Author(s):  
Mohammed Issoual ◽  
Najib Mahdou ◽  
Moutu Abdou Salam Moutui

Let [Formula: see text] be a commutative ring with [Formula: see text]. Let [Formula: see text] be a positive integer. A proper ideal [Formula: see text] of [Formula: see text] is called an n-absorbing ideal (respectively, a strongly n-absorbing ideal) of [Formula: see text] as in [D. F. Anderson and A. Badawi, On [Formula: see text]-absorbing ideals of commutative rings, Comm. Algebra 39 (2011) 1646–1672] if [Formula: see text] and [Formula: see text], then there are [Formula: see text] of the [Formula: see text]’s whose product is in [Formula: see text] (respectively, if whenever [Formula: see text] for ideals [Formula: see text] of [Formula: see text], then the product of some [Formula: see text] of the [Formula: see text]s is contained in [Formula: see text]). The concept of [Formula: see text]-absorbing ideals is a generalization of the concept of prime ideals (note that a prime ideal of [Formula: see text] is a 1-absorbing ideal of [Formula: see text]). Let [Formula: see text] be a ring homomorphism and let [Formula: see text] be an ideal of [Formula: see text] This paper investigates the [Formula: see text]-absorbing and strongly [Formula: see text]-absorbing ideals in the amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect [Formula: see text] denoted by [Formula: see text] The obtained results generate new original classes of [Formula: see text]-absorbing and strongly [Formula: see text]-absorbing ideals.


Sign in / Sign up

Export Citation Format

Share Document