Related papers: Some results on pure ideals and trace ideals of pr…

Given a commutative Noetherian ring $R$ with total ring of fractions $Q(R)$, and a finitely generated $R$-submodule $M$ of $Q(R)$, we prove an equality between trace ideal, and certain annihilator of Ext and Tor of $M$. As a consequence, we…

A *-ring $R$ is called a strongly nil-*-clean ring if every element of $R$ is the sum of a projection and a nilpotent element that commute with each other. In this article, we show that $R$ is a strongly nil-*-clean ring if and only if…

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is a simple undirected graph whose vertex set is the set of nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if…

Let R be a commutative ring with identity and M be an R-module. A proper ideal I of R is said to be a $z^\circ$-ideal if for each $a \in I$ the intersection of all minimal prime ideals containing a is contained in I. The purpose of this…

Let $R$ be a commutative Noetherian ring and $M$ be a finitely generated $R$-module. Considering the new concept of linkage of ideals over a module, we study associated prime ideals, cofiniteness and Artinianness of local cohomology modules…

We study prime ideals, prime modules, and associated primes of graded modules over rings $S$ graded by a unique product monoid. We consider two situations in detail: (a) the case where $S$ is strongly group-graded and (b) the case where $S$…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

In this paper we introduce and study a graph on the set of ideals of a commutative ring $R$. The vertices of this graph are non-trivial ideals of $R$ and two distinct ideals $I$ and $J$ are adjacent if and only $IJ=I\cap J$. We obtain some…

We describe rings over which every right module is almost injective. We give a description of rings over which every simple module is a almost projective.

A ring is clean (almost clean) if each of its elements is the sum of a unit (regular element) and an idempotent. A module is clean (almost clean) if its endomorphism ring is clean (almost clean). We show that every quasi-continuous and…

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…

Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which…

In this article, we define the concept of an $S$-$k$-irreducible ideal and $S$-$k$-maximal ideal in a commutative semiring. We also establish several results concerning $S$-$k$-primary ideals and prove the existence theorem and the…

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$, $J$ are adjacent if and only…

An $R$-module $M$ is Hopfian (co-Hopfian) if any epic (monic) endomorphism of $M$ is an automorphism. If $R$ is commutative Noetherian, we characterize the co-Hopfian injective $R$-modules, and the Hopfian injectives in the case that $R$ is…

Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and…

Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…

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…

In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are…

As an alternative perspective on the injectivity of a pure-injective module, a pure-injective module M is said to be pi-indigent if its subinjectivity domain is smallest possible, namely, consisting of exactly the absolutely pure modules. A…