Endocoherent modules. (Q1880091): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.2140/pjm.2003.212.1 / rank
Normal rank
 
Property / author
 
Property / author: Lidia Angeleri Hügel / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Ladislav Bican / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4240207214 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2140/PJM.2003.212.1 / rank
 
Normal rank

Latest revision as of 11:19, 16 December 2024

scientific article
Language Label Description Also known as
English
Endocoherent modules.
scientific article

    Statements

    Endocoherent modules. (English)
    0 references
    16 September 2004
    0 references
    Recall that a left module \(M\) over an associative ring \(S\) with identity is coherent if it is finitely presented and every finitely generated submodule of \(M\) is finitely presented. Moreover, the module \(M\) is called \(\pi\)-coherent if it is finitely presented and every finitely generated left \(S\)-module which is cogenerated by \(M\) is finitely presented. Finally, for a right \(R\)-module \(M_R\) the symbol \(\text{Add\,}M\) (\(\text{add\,}M\)) denotes the category of all modules isomorphic to direct summands of (finite) direct sums of copies of \(M\). Let \(M_R\) be a right module over a ring \(R\) with the endomorphism ring \(S\). The following conditions are equivalent: (1) Every finitely generated left \(S\)-module which is cogenerated by \(_SM\) is finitely presented; (2) every finitely \(M\)-generated right \(R\)-module has an \(\text{add\,}M\)-preenvelope; (3) for every natural integer \(n\) and every subset \(X\subseteq M^n\) the annihilator \(\text{ann}_{S^{n\times n}}(X)\) of \(X\) in the matrix ring \(S^{n\times n}\) is a finitely generated left ideal (Theorem~1). If \(_SM\) is \(\pi\)-coherent, then every finitely generated module has an \(\text{add\,}M\)-preenvelope. The converse holds if \(M_R\) is finitely generated. If \(_SM\) is coherent, then every finitely presented module has an \(\text{add\,}M\)-preenvelope. The converse holds if \(M_R\) is finitely presented (Theorem~2).
    0 references
    \(\pi\)-coherent modules
    0 references
    categories of modules
    0 references
    preenvelopes
    0 references
    finitely presented modules
    0 references
    finitely generated modules
    0 references
    endomorphism rings
    0 references

    Identifiers

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