Endocoherent modules. (Q1880091): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.2140/pjm.2003.212.1 / rank | |||
Property / author | |||
Property / author: Lidia Angeleri Hügel / rank | |||
Property / reviewed by | |||
Property / reviewed by: Ladislav Bican / 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 | |||
links / mardi / name | links / mardi / name | ||
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