Related papers: When are IG-projective modules projective?

Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where…

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…

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 study coherent $I$-indexed algebras and associated noncommutative projective schemes, where the index set $I$ is a locally finite directed poset. Our main result is a characterisation of such noncommutative projective schemes in terms of…

In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.

In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq…

Let $T_R(M)$ be a tensor ring and $\mathcal{X}$, $\mathcal{Y}$ be two classes of $R$-modules. Under certain conditions, we prove that a $T_R(M)$-module $(A, u)$ is $Ind(\mathcal{X})$-Gorenstein projective if and only if $u$ is monomorphic…

We show that an A-infinity algebra structure can be transferred to a projective resolution of the complex underlying any A-infinity algebra. Under certain connectedness assumptions, this transferred structure is unique up to homotopy. In…

Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the…

We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its…

We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…

We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective…

Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $\Lambda: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic…

Let $\Lambda $ be an artin algebra and $T$ a $\tau$-tilting $\Lambda$-module. We prove that $T$ is a tilting module if and only if ${\rm Ext}_{\Lambda}^{i}(T,\Fac T)=0$ for all $i\geq 1$, where $\Fac T$ is the full subcategory consisting of…

This work presents a simple proof that the moduli space of complete integral Gorenstein curves with a prescribed symmetric Weierstrass semigroup becomes a weighted projective space, even for fields of positive characteristic, when the…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…

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

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…

Let $p\neq 2$, and let $R$ be a smooth affine algebra of dimension $3$ over $\overline{F}_p$ and $P, Q$ be projective $R$-modules of rank $2$, each with trivial determinant. We prove: $P$ is isomorphic to $Q$ if and only if there is an…