We investigate the algebraic structure on the set of closure operations of a ring. We show the set of closure operations is not a monoid under composition for a discrete valuation ring. Even the set of semiprime operations over a DVR is not a monoid; however, it is the union of two monoids, one being the left but not right act of the other. We also determine all semiprime operations over the ring $K[[t^2, t^3]]$.
This article is a survey of closure operations on ideals in commutative rings, with an emphasis on structural properties and on using tools from one part of the field to analyze structures in another part. The survey is broad enough to encompass the radical, tight closure, integral closure, basically full closure, saturation with respect to a fixed ideal, and the v-operation, among others.
We define a closure operation for rings of mixed characteristic and verify that the closure is a ring. We then show that this closure produces a ring with good properties with respect to its Fontaine ring and give an example to show that rings that are not closed in this sense do not satisfy these properties.
Absolute integral closures of general commutative unital rings are explored. All rings admit absolute integral closures, but in general they are not unique. Among the reduced rings with finitely many minimal prime ideals, finite products of domains are the only rings for which they are unique. Arguments using model theory suggest that the same holds for all infinite rings that are finite products of connected rings. Universal absolute integral closures, which contain every aic of a given ring, are shown to exist for certain subrings of products of domains.
We establish basic results on subrings of finite commutative rings and closely related rings. Among other applications we calculate the number of maximal subrings of a finite commutative local ring.
An equidimensional local ring is F-rational if and only if one ideal generated by a system of parameters is tightly closed. The question of whether a non-equidimensional local ring can have a tightly closed ideal generated by a system of parameters has been a long-standing open problem, and for certain classes of non-equidimensional rings we prove that this is not possible. A key point is that tight closure has a colon capturing property in equidimensional rings that it does not have in non-equidimensional rings. We define a new closure operation, one that rectifies the absence of the colon ca…
It is shown that tight closure commutes with localization in any two dimensional ring $R$ of prime characteristic if either $R$ is a Nagata ring or $R$ possesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic.
When $E$ is an $R$-module over a commutative unital ring $R$, the Zariski closure of its support is of the form $\mathrm V(\mathcal O(E))$ where $\mathcal O(E)$ is a unique radical ideal. We give an explicit form of $\mathcal O(E)$ and study its behavior under various operations of algebra. Applications are given, in particular for ring extensions of commutative unital rings whose supports are closed. We provide some applications to crucial and critical ideals of ring extensions.
In this paper, we introduce and study the $S$-weak global dimension $S$-w.gl.dim$(R)$ of a commutative ring $R$ for some multiplicative subset $S$ of $R$. Moreover, commutative rings with $S$-weak global dimension at most $1$ are studied. Finally, we investigated the $S$-weak global dimension of factor rings and polynomial rings.
Let $R$ be a commutative ring with identity and $T(R)$ its total quotient ring. We extend the notion of well-centered overring of an integral domain to an arbitrary commutative ring and we investigate the transfer of this property to different extensions of commutative rings in both integral and non-integral cases. Namely in pullbacks and trivial extensions. Our aim is to provide new classes of commutative rings satisfying this property and to shed light on some open questions raised by Heinzer and Roitman in \cite{HR}.
In 1971, J. Lipman introduced the notion of strict closure of a ring in another, and established the underlying theory in connection with a conjecture of O. Zariski. In this paper, for further developments of the theory, we investigate three different topics related to strict closure of rings. The first one concerns construction of the closure, and the second one is the study regarding the question of whether the strict closedness is inherited under flat homomorphisms. We finally handle the question of when the Arf closure coincides with the strict closure. Examples are explored to illustrate …
A famous result due to I. M. Isaacs states that if a commutative ring $R$ has the property that every prime ideal is principal, then every ideal of $R$ is principal. This motivates ring theorists to study commutative rings for which every ideal is a direct sum of cyclically presented modules. In this paper, we study commutative rings whose ideals are direct sum of cyclically presented modules.
We prove that dagger closure is trivial in regular domains containing a field and that graded dagger closure is trivial in polynomial rings over a field. We also prove that Heitmann's full rank one closure coincides with tight closure in positive characteristic under some mild finiteness conditions. Furthermore, we prove that dagger closure is always contained in solid closure and that the forcing algebra for an element contained in dagger closure is parasolid.
In this study, we introduce the concept of "uniformly 2-absorbing primary ideals" of commutative rings, which imposes a certain boundedness condition on the usual notion of 2-absorbing primary ideals of commutative rings. Then we investigate some properties of uniformly 2-absorbing primary ideals of commutative rings with examples. Also, we investigate a specific kind of uniformly 2-absorbing primary ideals by the name of "special 2-absorbing primary ideals".
Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. Under various hypotheses, it is proved that the center of $\mbox{End}_R(M)$ coincides with the endomorphism ring of the trace ideal of $M$. These results are exploited to establish results for balanced and rigid modules, and to settle certain cases of a conjecture of Huneke and Wiegand.
It is proved that tight closure commutes with localization in any domain which has a module finite extension in which tight closure is known to commute with localization. It follows that tight closure commutes with localization in binomial rings, in particular in semigroup or toric rings.
We use the concept of 2-absorbing ideal introduced by Badawi to study those commutative rings in which every proper ideal is a product of 2-absorbing ideals (we call them TAF-rings). Any TAF-ring has dimension at most one and the local TAF-domains are the atomic pseudo-valuation domains.
Let $A\subseteq B$ be a ring extension and $\mathcal{G}$ be a set of $A$-submodules of $B$. We introduce a class of closure operations on $\mathcal{G}$ (which we call \emph{multiplicative operations on $(A,B,\mathcal{G})$}) that generalizes the classes of star, semistar and semiprime operations. We study how the set $\mathrm{Mult}(A,B,\mathcal{G})$ of these closure operations vary when $A$, $B$ or $\mathcal{G}$ vary, and how $\mathrm{Mult}(A,B,\mathcal{G})$ behave under ring homomorphisms. As an application, we show how to reduce the study of star operations on analytically unramified one-dime…
Let $R$ be a commutative ring and let $I$ be an ideal of $R$. In this paper, we introduce the cozero-divisor graph $\acuteΓ_I(R)$ of $R$ and obtain some related results.
In this work, the set of quasi-primary ideals of a commutative ring with identity is equipped with a topology and is called quasi-primary spectrum. Some topological properties of this space are examined. Further, a sheaf of rings on the quasi-primary spectrum is constructed and it is shown that this sheaf is the direct image sheaf with respect to the inclusion map from the prime spectrum of a ring to the quasi-primary spectrum of the same ring.
The strong global dimension of a ring is the supremum of the length of perfect complexes that are indecomposable in the derived category. In this note we characterize the noetherian commutative rings that have finite strong global dimension. We also give a similar characterization for arbitrary noetherian schemes.
Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. First, we introduce and study the $S$-projective dimensions and $S$-injective dimensions of $R$-modules, and then explore the $S$-global dimension $S$-gl.dim$(R)$ of a commutative ring $R$ which is defined to be the supremum of $S$-projective dimensions of all $R$-modules. Finally, we investigated the $S$-global dimension of factor rings and polynomial rings.
This paper deals with the graded commutative rings in which every homogeneous prime ideal is contained in a unique homogeneous maximal ideal called Gelfand graded ring. The purpose is to establish some topological and algebraic characterizations of these rings, one of which is the algebraic analogue of the Urysohn's lemma. Finally we look at a special class of those graded rings called pm$^+$ graded rings which can be viewed as graded ring with a Gelfand strong property.
In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us find the tight Hilbert polynomial in these diagonal hypersurfaces. We determine the tight Hilbert polynomial in the following cases: (1) F-pure diagonal hypersurfaces where number of variables is equal to the degree of defining equation, (2) diagonal hypersurface rings where characteristic of the ring is one less than the degree of defining equation and (3) qu…
We define a duality operation connecting closure operations, interior operations, and test ideals, and describe how the duality acts on common constructions such as trace, torsion, tight and integral closures, and divisible submodules. This generalizes the relationship between tight closure and tight interior given in [Epstein-Schwede 2014] and allows us to extend commonly used results on tight closure test ideals to operations such as those above.
We count the number of submodules of an arbitrary module over a countable noetherian commutative ring. We give, along the way, a structural description of meager modules, which are defined as those that do not have the square of a simple module as subquotient. We deduce in particular a characterization of uniserial modules over commutative noetherian rings.
Let A be a Noetherian ring and B be a finitely generated A-algebra. Denote by A' the integral closure of A in B. We give necessary and sufficient conditions for prime ideals to be in Ass_{A}(B/A') and Ass_{A'}(B/A') generalizing and strengthening classical results for rings of special type.
It is proven that each commutative arithmetical ring $R$ has a finitistic weak dimension $\leq 2$. More precisely, this dimension is 0 if $R$ is locally IF, 1 if $R$ is locally semicoherent and not IF, and 2 in the other cases.
Much work has been done on generalized factorization techniques in integral domains, namely $τ$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. This paper seeks to synthesize work done in these two areas and extend the notion of $τ$-factorization to commutative rings that need not be domains. In addition, we look into particular types of $τ$ relations, which are interesting when there are zero-divisors present. We then proceed to classify commutative rings that satisfy the finite factorization properties given…
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Finally, we give an example showing that the cosupport of a finitely generated module need not be a closed subset of $\operatorname{Spec}(R)$, providing a negative answer to a question of Sathe…
We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for this class of rings, and it is studied its relation with other finiteness conditions on the quotients of a ring over its prime ideals.
Let $R$ be a commutative chain ring. We use a variation of Gröbner bases to study the lattice of ideals of $R[x]$. Let $I$ be a proper ideal of $R[x]$. We are interested in the following two questions: When is $R[x]/I$ Frobenius? When is $R[x]/I$ Frobenius and local? We develop algorithms for answering both questions. When the nilpotency of $\text{rad}\,R$ is small, the algorithms provide explicit answers to the questions.
We look at how the equivalence of tight closure and plus closure (or Frobenius closure) in the homogeneous m-coprimary case implies the same closure equivalence in the non-homogeneous m-coprimary case in standard graded rings. Although our result does not depend upon dimension, the primary application is based on results known in dimension 2 due to the recent results of H. Brenner. We also show that unlike the Noetherian case, the injective hull of the residue field over $R^+$ or $R^\infty$ contains elements that are not killed by any power of the maximal ideal of R.
The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting André's perfectoid algebra techniques that, for complete local rings that have F-finite residue fields, this closure has the colon-capturing property. In fact, more generally, if $R$ is a (possibly ramified) complete regular local ring of mixed characteristic that have F-finite residue fields, $I$ and $J$ are ideals of $R$, and the local domain $S$ is a finite $R$-module, then $(IS:J)\subseteq (I:J)S^{epf}$. A consequence is that all ideals in regular lo…
In commutative ring theory, there is a theorem of Cohen which states that if in a commutative ring all prime ideals are finitely generated then every ideal is finitely generated. However, it is known that having only maximal ideals finitely generated doesn't imply all ideals be finitely generated. In his article we ask the question that what happens if we assume all non-maximal ideals are finitely generated, and we answer the question by showing that indeed then all maximal ideals are also finitely generated i.e. the ring becomes Noetherian.
Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded classical and graded strongly classical 2-absorbing second submodules of graded modules over a graded commutative rings. A number of results concerning these classes of graded submodules and their homogeneous components are given.
We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of (co)finite type. In many cases the bounded silting property descends along faithfully flat ring extensions. In particular, the notion of bounded silting complex is Zariski local.
Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof, a version of the linear Artin approximation theorem is proved.
We present a systematic study for the limit closure $(\underline{x})^{\lim}$ of a sequence of elements $\underline{x}$ (eg. a system of of parameters) in a local ring. Firstly, we answer the question which elements are always contained in the limit closure of a system of parameters. Then we apply this result to give a characterization of systems of parameters which is a generalization of previous results of Dutta and Roberts in \cite{DR} and of Fouli and Huneke in \cite{FH}. We also prove a topological characterization of unmixed local rings. In two dimensional case, we compute explicitly the …
All rings are commutative with $1\neq0$. The purpose of this paper is to investigate the concept of weakly $n$-absorbing ideals generalizing weakly 2-absorbing ideals. We prove that over a $u$-ring $R$ the Anderson-Badawi's conjectures about $n$-absorbing ideals and the Badawi-Yousefian's question about weakly 2-absorbing ideals hold.
Let R be a commutative Noetherian ring. Recently, Dibaei and Sadeghi have studied the reduced grade of a horizontally linked R-module M of finite GC-dimension, where C is a semidualizing R-module. In this paper, we highly refine their results. In particular, our main result removes the assumptions that M is holizontally linked and M has finite GC -dimension.
In this article we extend the notion of expansivity from topological dynamics to automorphisms of commutative rings with identity. We show that a ring admits a 0-expansive automorphism if and only if it is a finite product of local rings. Generalizing a well known result of compact metric spaces, we prove that if a ring admits a positively expansive automorphism then it admits finitely many maximal ideals. We prove its converse for principal ideal domains. We also consider the topological expansivity induced, in the spectrum of the ring with the Zariski topology, by an automorphism and some co…
Assume that $R$ is a commutative ring with nonzero identity. In this paper, we introduce and investigate zero-annihilator graph of $R$ denoted by $\mathtt{ZA}(R)$. It is the graph whose vertex set is the set of all nonzero nonunit elements of $R$ and two distinct vertices $x$ and $y$ are adjacent whenever ${\rm Ann}_R(x)\cap {\rm Ann}_R(y)=\{0\}$.
Examples are given to show that the support of a complex of modules over a commutative noetherian ring may not be read off the minimal semi-injective resolution of the complex. The same examples also show that a localization of a semi-injective complex need not be semi-injective.
The ring of integer-valued polynomials on an arbitrary integral domain is well-studied. In this paper we initiate and provide motivation for the study of integer-valued polynomials on commutative rings and modules. Several examples are computed, including the integer-valued polynomials over the ring $R[T_1,\ldots, T_n]/(T_1(T_1-r_1), \ldots, T_n(T_n-r_n))$ for any commutative ring $R$ and any elements $r_1, \ldots, r_n$ of $R$, as well as the integer-valued polynomials over the Nagata idealization $R(+)M$ of $M$ over $R$, where $M$ is an $R$-module such that every non-zerodivisor on $M$ is a n…
It was pointed out in my last paper that there are rings whose real closure * are not unique. In [4] we also discussed some example of rings by which there is a unique real closure * (mainly the real closed rings). Now we want to determine more classes of rings by which real closure * is unique. The main results involve characterisations of domains and Baer regular rings having unique real closure *, and an example showing that regular rings need not be f-rings in order to have a unique real closure *. The main objective here is to find characterisation for uniqueness of real closure * for rea…
We determine the metric dimension of the annihilating-ideal graph of a local finite commutative principal ring and a finite commutative principal ring with two maximal ideals. We also find the bounds for the metric dimension of the annihilating-ideal graph of an arbitrary finite commutative principal ring.
Let $A$ be a commutative augmented ring and $I$ be its augmentation ideal. This paper shows that the sequence $\{I^n/I^{n+1}\}$ becomes stationary up to isomorphism. The result yields stability in the associated graded ring of $A$ along $I$.
