Related papers: Injective Modules under Faithfully Flat Ring Exten…

We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but…

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 $(R,\fr m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M, N$ two finitely generated $R$-modules. The first result of this paper is to prove a vanishing theorem for generalized local cohomology modules which says that…

We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again injective. We characterize the class of one-dimensional local rings with this property and show…

Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, we are concerned with the tensor and torsion product of $C$-injective modules. Firstly, it is shown that the tensor product of any two $C$-injective…

Let $R$ be a commutative Noetherian local ring with residue field $k$. We show that if a finite direct sum of syzygy modules of $k$ surjects onto `a semidualizing module' or `a non-zero maximal Cohen-Macaulay module of finite injective…

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$…

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…

We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the…

Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$…

Let $R$ be a commutative Noetherian ring and $\alpha$ an automorphism of $R$. This paper addresses the question: when does the skew polynomial ring $S = R[\theta; \alpha]$ satisfy the property $(\diamond)$, that for every simple $S$-module…

Let $R$ be a left noetherian ring, $S$ a right noetherian ring and $_RU$ a generalized tilting module with $S={\rm End}(_RU)$. The injective dimensions of $_RU$ and $U_S$ are identical provided both of them are finite. Under the assumption…

In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…

A right $R$-module $M$ is said to be {\it FI-extending} if any fully invariant submodule of $M$ is essential in a direct summand of $M$. In this short note we prove that if $R$ has ACC on the right annihilators, then $R_R$ is FI-extending…

This is the second in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We give necessary and sufficient conditions in terms of $I$-reduced…

In this paper, we first study $fs$-modules, i.e., modules with finitely many small submodules. We show that every $fs$-module with finite hollow dimension is Noetherian. Also, we prove that an $R$-module $M$ with finite Goldie dimension, is…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the…

Let $\mathcal{S}$ be a class of finitely presented $R$-modules such that $R\in \mathcal{S}$ and $\mathcal{S}$ has a subset $\mathcal{S}^*,$ with the property that for any $U\in \mathcal{S}$ there is a $U^*\in \mathcal{S}^*$ with $U^*\cong…

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

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…