Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On long exact \((\bar{\pi},\text{Ext}_\lambda)\)-sequences in module theory - MaRDI portal

On long exact \((\bar{\pi},\text{Ext}_\lambda)\)-sequences in module theory (Q1774753)

From MaRDI portal





scientific article; zbMATH DE number 2168687
Language Label Description Also known as
English
On long exact \((\bar{\pi},\text{Ext}_\lambda)\)-sequences in module theory
scientific article; zbMATH DE number 2168687

    Statements

    On long exact \((\bar{\pi},\text{Ext}_\lambda)\)-sequences in module theory (English)
    0 references
    0 references
    18 May 2005
    0 references
    For any module \(A\) over a ring \(\Lambda\), the right derived functors of \(\text{Hom}_{\Lambda}(A,-)\) produce a natural long exact sequence, which is the usual \(\text{Hom}\)-\(\text{Ext}\) sequence. Similarly, the left derived functors of \(\text{Hom}_{\Lambda}(A,-)\) (the homotopy groups) form an exact sequence. The author combines these two sequences into a large long exact sequence, which is infinite in both directions (Theorem 2.2 and 4.2). The dual statements are also true for \(\text{Hom}_{\Lambda}(-,A)\). The proof uses only elementary homological algebra. The main idea is to form the Yoneda composition of a projective resolution and an injective resolution of \(A\) and then to use this as a ``resolution'' of \(A\).
    0 references
    long exact sequence
    0 references
    homotopy of modules
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references