Related papers: A change of rings result for Matlis reflexivity

Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…

We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the…

Let A be a commutative Noetherian ring of dimension d and let P be a projective R=A[X_1,\ldots,X_l,Y_1,\ldots,Y_m,\frac {1}{f_1\ldots f_m}]-module of rank r\geq max {2,dim A+1, where f_i\in A[Y_i]. Then (i) \EL^1(R\op P) acts transitively…

The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{{\cal{P}}M}:M)={\cal{P}}$" for…

We say that a commutative ring R satisfies the restricted minimum (RM) condition if for all essential ideals I in R, factor R/I is an Artinian ring. We will focus on Noetherian reduced rings because in this setting known results for RM…

Let $(R,\mathfrak{m})$ denote a local ring with $E = E_R(R/\mathfrak{m})$ the injective hull of the residue field. Let $\mathfrak{p} \in \Spec R$ denote a prime ideal with $\dim R/\mathfrak{p} = 1$, and let $E_R(R/\mathfrak{p})$ be the…

Let $R$ be a commutative ring with non-zero identity and $M$ be a unitary $R$-module. The goal of this paper is to extend the concept of 1-absorbing primary ideals to 1-absorbing primary submodules. A proper submodule $N$ of $M$ is said to…

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$, $N$ two finitely generated $R$-modules. The aim of this paper is to investigate the $I$-cofiniteness of generalized local cohomology modules $\displaystyle…

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M$ an $R$-module with Cosupport in $\mathrm{V}(\mathfrak{a})$. We show that $M$ is $\mathfrak{a}$-coartinian if and only if $\mathrm{Ext}_{R}^{i}(R/\mathfrak{a},M)$ is…

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…

In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish…

Let $S$ be a semiring. An $S$-semimodule $M$ is called a multiplication semimodule if for each subsemimodule $N$ of $M$ there exists an ideal $I$ of $S$ such that $N=IM$. In this paper we investigate some properties of multiplication…

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…

For a standard graded Cohen-Macaulay ring $S$, if the quotient $S/(\underline{x})$ admits non-free totally reflexive modules, where $\underline{x}$ is a system of parameters consisting of elements of degree one, then so does the ring $S$.…

Let $R$ be a ring and $T$ be a good Wakamatsu-tilting module with $S$ the endomorphism ring. We prove that $T$ induces an equivalence between stable categories of repetitive algebras of $R$ and $S$.

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…

Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be…

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 $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1,…

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…