Related papers: A note on Matlis localizations

We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring…

A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…

A commutative ring R is locally stable provided that for any $a,b\in R$ such that $aR+bR=R$, there exist some $y\in R$ such that $R/(a+by)R$ has stable range 1.For a Bezout ring $R$, we prove that $R$ is an elementary divisor ring if and…

We define and give some properties and characterizations of S-rings of Krull type. We also determine, in the case of an independent S-ring of Krull type A, the injective dimension of the quotient category Mod(A)/\mathcal{M}_{0}, where…

A commutative ring $R$ is J-stable provided that for any $a\not\in J(R)$, $R/aR$ has stable range one. A ring $R$ is called an elementary divisor ring if every $m\times n$ matrix over $R$ admits diagonal reduction. We prove that a J-stabe…

Let $R$ be a commutative ring. If the nilpotent radical $Nil(R)$ of $R$ is a divided prime ideal, then $R$ is called a $\phi$-ring. In this paper, we first distinguish the classes of nonnil-coherent rings and $\phi$-coherent rings…

Let $R$ be a commutative ring with identity and $S$ a multiplicatively closed subset of $R$. This paper aims to introduce the concept of $S$-$n$-ideals as a generalization of $n$-ideals. An ideal $I$ of $R$ disjoint with $S$ is called an…

In this work, we introduce the notion of $S$-1-absorbing primary submodule as an extension of 1-absorbing primary submodule. Let $S$ be a multiplicatively closed subset of a ring $R$ and $M$ be an $R$-module. A submodule $N$ of $M$ with…

Let $\varphi: R\rightarrow S$ be a flat local homomorphism between commutative Noetherian local rings. In this paper, the ascent and descent of Artinian module structures between $R$ and $S$ are investigated. For an Artinian $R$-module $A$,…

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$…

Let $R$ be an arbitrary ring with identity and $M$ a right $R$-module with $S =$ End$_R(M)$. In this paper we introduce dual $\pi$-Rickart modules as a generalization of $\pi$-regular rings as well as that of dual Rickart modules. The…

A unimodular $2\times 2$ matrix with entries in a commutative $R$ is called extendable (resp.\ simply extendable) if it extends to an invertible $3\times 3$ matrix (resp.\ invertible $3\times 3$ matrix whose $(3,3)$ entry is $0$). We obtain…

A commutative ring $R$ is projective free provided that every finitely generated $R$-module is free. An element in a ring is strongly clean provided that it is the sum of an idempotent and a unit that commutates. Let $R$ be a…

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…

Given a ring R and S one of its proper ideals, we obtain a compactification of the prime spectrum of S through a mainly algebraic process. We name it the R-nilcompactification of SpecS. We study some categorical properties of this…

Given two rings $R \subseteq S$, $S$ is said to be a minimal ring extension of $R$ if $R$ is a maximal subring of $S$. In this article, we study minimal extensions of an arbitrary ring $R$, with particular focus on those possessing nonzero…

Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of…

In this paper, we investigate a non-commutative version of strongly flat modules, which is based on the concept of universal localization introduced by Cohn. We consider a set $\sigma$ consisting of maps of finitely generated projective…

Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduced the dual notion of z-submodules of M and some of extensions. Moreover, we investigate some properties of these classes of modules…

For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in…