The defect functor of a homomorphism and direct unions (Q269853)

From MaRDI portal
Revision as of 20:23, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
The defect functor of a homomorphism and direct unions
scientific article

    Statements

    The defect functor of a homomorphism and direct unions (English)
    0 references
    0 references
    0 references
    6 April 2016
    0 references
    Commuting properties of some canonical functors (Hom-covariant functor, \(\mathrm{Ext}^1\)-covariant functor, etc.) with respect to direct limits (direct unions or direct sums) is important from various reasons. For example, we can apply them to characterise finitely presented objects and finitely generated objects in some additive categories, and also these properties appear in the theory of coherent functors. In this article the authors characterise commuting properties with respect to direct limits (in Section 3), direct unions (in Section 4) and direct sums (in Section 5) of the defect functor \(\mathrm{Def}_\beta(-)\) associated to a homomorphism \(\beta:L\rightarrow P\) in a a locally finitely presented abelian category. Recall that \(\beta\) induces a natural transformation \(\mathrm{Hom}(\beta,-):\mathrm{Hom}(P,-)\rightarrow \mathrm{Hom}(L,-)\) and then \(\mathrm{Def}_{\beta}(-):=\mathrm{Coker}(\mathrm{Hom}(\beta,-))\); this is Definition 1. Section 6 is dedicated for studying the commuting properties of the covariant functor \(\mathrm{Ext}_{\mathcal C}^1(M,-)\), where \(\mathcal C\) is an abelian category with a projective strong generator which is a direct sum of finitely presented objects. One of the main results of this article is Theorem 44, proved in Section 6, where for an object \(M\) in the above category \(\mathcal C\) it is shown that \(\mathrm{Ext}^1_{\mathcal C}(M,-)\) commutes with direct sums if and only if \(M\) is \(2\)-almost projective; that is, \(M\) is a direct summand of a direct sum between a projective object and a finitely presented object. Among other important results we mention Theorem 34 and its corollaries, Corollary 35 and 36, where ideas from set theory are used.
    0 references
    direct limit
    0 references
    defect functor
    0 references
    direct union
    0 references
    commuting properties
    0 references
    Ext-functor
    0 references

    Identifiers