Related papers: Big pure projective modules over commutative noeth…

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…

Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that…

Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum,…

The quasi-projective dimension and quasi-injective dimension are recently introduced homological invariants that generalize the classical notions of projective dimension and injective dimension, respectively. For a local ring $R$ and…

We show that every finitely generated cohomologically trivial module over $RG$, where $G$ is a finite $p$-group and $R$ is a $p$-adic ring, splits as the direct sum of a finite cohomologically trivial $RG$-module and a free $RG$-module.…

Weak proregularity of an ideal in a commutative ring is a subtle generalization of the noetherian property of the ring. Weak proregularity is of special importance for the study of derived completion, and it occurs quite often in…

One proves that each almost local-global semihereditary ring has the stacked basis property and is almost Bezout. If M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annhilators is…

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

We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…

Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if…

Let $I$ be an ideal of a commutative Noetherian complete local ring $R$. In the present paper, we establish the equality $\dim R/(I+\Ann_R M)=\dim M$ for all $I$-cofinite $R$-modules $M$.

In this paper we study modules coinvariant under automorphisms of their projective covers. We first provide an alternative, and in fact, a more succinct and conceptual proof for the result that a module $M$ is invariant under automorphisms…

We describe the endomorphism rings in an additive category whose objects are right $R$-modules $M$ with a fixed chain of submodules $0=M^{(0)}\leq M^{(1)}\leq M^{(2)} \leq \dots \leq M^{(n)}=M$ and the behaviour of these objects as far as…

In this paper, the projectivity of a finitely generated flat module of a commutative ring is studied through its exterior powers and invariant factors and then various new results are obtained. Specially, the related results of Endo,…

Let $R$ be a commutative ring, $\pi$ be a finite group, $R\pi$ be the group ring of $\pi$ over $R$. Theorem 1. If $R$ is a commutative artinian ring and $\pi$ is a finite group. Then the Cartan map $c:K_0(R\pi)\to G_0(R\pi)$ is injective.…

We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can…

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

We characterize the modules of infinite projective dimension over the endomorphism algebras of Opperman-Thomas cluster tilting objects $X$ in $(n+2)$-angulated categories $(\mathcal C,\Sigma^n,\Theta)$. For an indecomposable object $M$ of…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…