Relative Ext groups, resolutions, and Schanuel classes.

From MaRDI portal



Abstract: Given a precovering (also called contravariantly finite) class F there are three natural approaches to a homological dimension with respect to F: One based on Ext functors relative to F, one based on F-resolutions, and one based on Schanuel classes relative to F. In general these approaches do not give the same result. In this paper we study relations between the three approaches above, and we give necessary and sufficient conditions for them to agree.


Given a ring \(R\) and an \(R\)-module \(M\), the following conditions are equivalent: (\(E_{M,n}\)) \(\text{Ext}_R^{n+1}(M,-)=0\). (\(R_{M,n}\)) \(M\) has a projective resolution of length \(n\). (\(S_{M,n}\)) Any \(n\)th syzygy module of \(M\) is stably equivalent to the zero module. The natural question arises whether these conditions imply each other in the relative setting. More precisely, one chooses a suitable class of relative projectives, assuming there are enough of them, and defines relative projective resolutions, relative Ext-functors, and relative syzygy modules. It is clear that the second and third conditions still imply the first one. On the other hand, all other implications fail in general. In this well-written paper the author provides various conditions guaranteeing those implications. Similar results hold for the contravariant Ext-functor. The paper also provides a convenient reference diagram of the relevant results.











This page was built for publication: Relative Ext groups, resolutions, and Schanuel classes.

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