The phantom cover of a module. (Q2381961)

From MaRDI portal
Revision as of 06:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
The phantom cover of a module.
scientific article

    Statements

    The phantom cover of a module. (English)
    0 references
    0 references
    26 September 2007
    0 references
    A morphism \(f\colon M\to N\) of \(R\)-Mod is a `phantom morphism' if for any morphism \(g\colon A\to M\) with \(A\) finitely presented, the composition \(fg\) factors through a projective module. A phantom morphism \(c\colon M\to N\) is a `phantom precover' of \(N\) if for any phantom morphism \(g\colon M'\to N\) there is a morphism \(h\colon M'\to M\) such that \(ch=g\). A phantom precover \(c\colon M\to N\) is a `phantom cover' if every endomorphism \(h\) of \(M\) over \(N\) (\(ch=c\)) is an isomorphism. The main result is the following. Given a left \(R\)-module \(N\), there exists a short exact sequence \(0\to K@>k>>\text{Ph}(N)@>c>>N\to 0\), where the morphism \(c\colon\text{Ph}(N)\to N\) is the phantom cover of \(N\) in \(R\)-Mod and \(K\) is a pure injective \(R\)-module. The phantom cover is used to characterize when the functor determined by the association \(M\mapsto\text{Tor}_1(-,M)\) is faithful or full.
    0 references
    phantom morphisms
    0 references
    phantom covers
    0 references
    pure injective modules
    0 references
    cotorsion modules
    0 references
    equivalences of categories
    0 references
    flat covers
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references