Related papers: Tests for injectivity of modules over commutative …

Recently, in a series of papers "simple" versions of direct-injective and direct-projective modules have been investigated. These modules are termed as "simple-direct-injective" and "simple-direct-projective", respectively. In this paper,…

A complex $X$ is called Ding injective if there exists an exact sequence of injective complexes $\ldots \rightarrow E_1 \rightarrow E_0 \rightarrow E_{-1} \rightarrow \ldots$ such that $X = Ker(E_0 \rightarrow E_{-1})$, and the sequence…

Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…

We prove that if M is a finitely-generated module of dimension d with finite local cohomologies over a Noetherian local ring, and if the ith local cohomology module of M is zero unless i = d, i = 0, and i = r for some r strictly between 0…

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…

Let $R$ be a commutative noetherian ring and $f_{1}, ..., f_{r} \in R$. In this article we give (cf. the Theorem in \S2) a criterion for $f_{1}, ..., f_{r}$ to be regular sequence for a finitely generated module over $R$ which strengthens…

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…

We prove that $F$-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen-Macaulay and geometrically $F$-injective fibers, all for arbitrary Noetherian rings of prime…

For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…

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.

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

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, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…

Let $R$ be a commutative ring with identity. For an $R$-module $M$, the notion of strongly prime submodule of $M$ is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of…

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…

It is proven that each indecomposable injective module over a valuation domain $R$ is polyserial if and only if each maximal immediate extension $\widehat{R}$ of $R$ is of finite rank over the completion $\widetilde{R}$ of $R$ in the…

Let R be a ring (associative, with 1). A non-zero module M is said to be a Pruefer module provided there exists a surjective, locally nilpotent endomorphism with kernel of finite length. The aim of this note is construct Pruefer modules…

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…