Related papers: Monic modules and semi-Gorenstein-projective modul…

An algebra $A$ is left weakly Gorenstein if any semi-Gorenstein-projective left $A$-modules is Gorenstein-projective. The weakly Gorensteinness of two kinds of algebras are answered. Using the method of the monomorphism category, it is…

Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $\Lambda = A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is…

An A-module M will be said to be semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. All Gorenstein-projective modules are semi-Gorenstein-projective and only few and quite complicated examples of…

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…

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category…

For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the…

We prove that a finite dimensional algebra $A$ with representation-finite subcategory consisting of modules that are semi-Gorenstein-projective and $n$-th syzygy modules is left weakly Gorenstein. This generalises a theorem of Ringel and…

Let $\Lambda$ be the path algebra of a finite quiver $Q$ over a finite-dimensional algebra $A$. Then $\Lambda$-modules are identified with representations of $Q$ over $A$. This yields the notion of monic representations of $Q$ over $A$. If…

Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is…

We give characterizations of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over the group algebra for large families of infinite groups and show that every weak Gorenstein projective, weak Gorenstein flat and weak…

Let ($S, \mathfrak{n})$ be a commutative noetherian local ring and let $\omega\in\mathfrak{n}$ be non-zero divisor. This paper is concerned with the category of monomorphisms between finitely generated Gorenstein projective S-modules, such…

Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the…

Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results…

Let A be an artin algebra. An A-module M is semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. If M is Gorenstein-projective, then both M and its A-dual M* are semi-Gorenstein projective. As we have shown recently, the…

For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.

For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence…

We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings.…

For a tensor ring $T_R(M)$, under certain conditions, we characterize the Gorenstein projective modules over $T_R(M)$, and prove that a $T_R(M)$-module $(X,u)$ is Gorenstein projective if and only if $u$ is monomorphic and ${\rm coker}(u)$…

We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either…

Let $(\mathcal{A,B})$ be a complete and hereditary cotorsion pair in the category of left $R$-modules. In this paper, the so-called Gorenstein projective complexes respect to the cotorsion pair $(\mathcal{A}, \mathcal{B})$ are introduced.…