Minimal Generators and Injective Modules (Q4801401)

For a contravariant functor \({\mathbf F}\colon{\mathcal C}\to\text{Set}\) the pair \((X,x)\), where \(X\in{\mathcal C}\) and \(x\in{\mathbf F}(X)\), is called generator of \({\mathbf F}({\mathcal C})\) if for any \(Y\in{\mathcal C}\) and any \(y\in{\mathbf F}(Y)\) there exists \(f\colon Y\to X\) such that \({\mathbf F}(f)(x)=y\). A minimal generator of \({\mathbf F}({\mathcal C})\) is a generator \((X,x)\) such that in the case \(Y=X\) and \(y=x\) any \(f\colon X\to X\) with \({\mathbf F}(f)(x)=x\) is an automorphism. The main rsult: if the ring \(R\) is left Noetherian, then there exists a minimal generator for the functor \(\text{Ext}(-,M)\colon{\mathcal E}\to\text{Sets}\), for any \(R\)-module \(M\), where \({\mathcal E}\) is a class of injective left \(R\)-modules. This theorem is generalized for the category of complexes in \(R\)-Mod.