We will introduce the notion of Gorenstein category as the convenient setup for doing Gorenstein Homological Algebra in categories of sheaves, or in general in categories without enough projective objects. We will illustrate this notion by showing that the category of Qcoh(X) of quasi-coherent sheaves on a locally Gorenstein projective scheme fits into this setup. Then we will focus on the cate...

let $r$ be a ring and $m$ a right $r$-module with $s=end_r(m)$. a module $m$ is called semi-projective if for any epimorphism $f:mrightarrow n$, where $n$ is a submodule of $m$, and for any homomorphism $g: mrightarrow n$, there exists $h:mrightarrow m$ such that $fh=g$. in this paper, we study sgq-projective and$pi$-semi-projective modules as two generalizations of semi-projective modules. a m...

Several characterizations are given of (Zelmanowitz) regular modules among the torsionless modules, the locally projective modules, the nonsingular modules, and modules where certain submodules are pure. Along the way, a version of the unimodular row lemma for torsionless modules is given, and it is shown that a regular ring is left self-injective if and only if every nonsingular left module is...

an r-module m is called strongly noncosingular if it has no nonzero rad-small (cosingular) homomorphic image in the sense of harada. it is proven that (1) an r-module m is strongly noncosingular if and only if m is coatomic and noncosingular; (2) a right perfect ring r is artinian hereditary serial if and only if the class of injective modules coincides with the class of (strongly) noncosingula...

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let π be a group and let M → N be a homomorphism between projective Z[π]-modules such that Zp⊗Z[π]M → Zp⊗Z[π]N is injective; for which other right Z[π]-modules V is the induced map V ⊗Z[π] M → V ⊗Z[π] N also injective? Our main theorem gives a new criterion which combin...

In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results est...

In 1966, Auslander introduced the notion of the G-dimension of a finitely generated module over a Cohen-Macaulay noetherian ring and found the basic properties of these dimensions. His results were valid over a local Cohen-Macaulay ring admitting a dualizing module (also see Auslander and Bridger (Mem. Amer. Math. Soc., vol. 94, 1969)). Enochs and Jenda attempted to dualize the notion of G-dime...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...