Monic modules and semi-Gorenstein-projective modules

DOI10.1016/J.JPAA.2022.107181MaRDI QIDQ6407586arXivFDO

Authors Pu Zhang

Publication date 11 August 2022

Mathematics Subject Classification ID

Syzygies, resolutions, complexes in associative algebras (16E05) Representations of associative Artinian rings (16G10) Cohen-Macaulay modules in associative algebras (16G50) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65)

Abstract: The category $mgp(Lambda)$ of Gorenstein-projective modules over tensor algebra $Lambda=Aotime{s}_{k}B$ can be described as the monomorphism category $mmon(B,mgp(A))$ of $B$ over $mgp(A)$. In particular, Gorenstein-projective $Lambda$-modules are monic. In this paper, we find the similar relation between semi-Gorenstein-projective $Lambda$-modules and $A$-modules, via monic modules, namely, $mmon(B{,}^{p}erpA)=mmon(B,A)ca{p}^{p}erpLambda.$ Using this, it is proved that if $A$ is weakly Gorenstein, then $Lambda$ is weakly Gorenstein if and only each semi-Gorenstein-projective $Lambda$-modules are monic; and that if $B=kQ$ with $Q$ a finite acyclic quiver, then $Lambda$ is weakly Gorenstein if and only if $A$ is weakly Gorenstein. However, this relation itself does not answer the question whether there exist double semi-Gorenstein-projective $Lambda$-modules which are not monic. Using the recent discovered examples of double semi-Gorenstein-projective $A$-modules which are not torsionless, we positively answer this question, by explicitly constructing a class of double semi-Gorenstein-projective $T_2(A)$-modules with one parameter such that they are not monic, and hence not torsionless. The corresponding results are obtained also for the monic modules and semi-Gorenstein-projective modules over the triangular matrix algebras given by bimodules.

This page was built for publication: Monic modules and semi-Gorenstein-projective modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407586)