Monomorphism operator and perpendicular operator.

From MaRDI portal
Publication:2876236




Abstract: For a quiver Q, a k-algebra A, and a full subcategory mathcalX of A-mod, the monomorphism category mMon(Q,mathcalX) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0ightarrowTmightarrow...ightarrowT0ightarrowD(AA)ightarrow0 with each Tiinmadd(T), then mMon(Q,perpT)=perp(kQotimeskT); and if T is cotilting, then kQotimeskT is a unique cotilting m-module, up to multiplicities of indecomposable direct summands, such that mMon(Q,perpT)=perp(kQotimeskT). As applications, the category of the Gorenstein-projective (kQotimeskA)-modules is characterized as mMon(Q,mathcalGP(A)) if A is Gorenstein; the contravariantly finiteness of mMon(Q,mathcalX) can be described; and a sufficient and necessary condition for mMon(Q,A) being of finite type is given.









This page was built for publication: Monomorphism operator and perpendicular operator.

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