Injective envelopes and (Gorenstein) flat covers. (Q694574): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2120655632 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0909.2415 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the ubiquity of Gorenstein rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ALL MODULES HAVE FLAT COVERS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4935949 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Direct Products of Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective hulls of flat modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flat and Projective Character Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective and flat covers, envelopes and resolvents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein injective and projective modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative homological algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The existence of Gorenstein flat covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4271869 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Character modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein homological dimensions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4240318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Absolutely Pure Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noetherian $\mathrm{QF}-3$ rings and two-sided quasi-Frobenius maximal quotient rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Absolutely Pure Covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flat covers of modules / rank | |||
Normal rank |
Revision as of 23:18, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Injective envelopes and (Gorenstein) flat covers. |
scientific article |
Statements
Injective envelopes and (Gorenstein) flat covers. (English)
0 references
13 December 2012
0 references
If \(R\) is an associative ring with identity and \(n\) is a positive integer, a module \(M\in\text{Mod\,}R\) is called \(n\)-cotorsion (resp. \(n\)-Gorenstein cotorsion) if \(\text{Ext}_R^1(X,M)=0\) for all \(X\in\text{Mod\,}R\) with flat dimension (resp. Gorenstein flat dimension) \(\leq n\). If \(M\) is \(n\)-Gorenstein cotorsion \(\forall n\), it is said to be strongly Gorenstein cotorsion. A module \(N\) in \(\text{Mod\,}R\) is called \(n\)-torsionfree (resp. \(n\)-Gorenstein torsionfree) if \(\text{Tor}_1^R(N,X)=0\) for all \(X\in\text{Mod\,}R\) with flat dimension (resp. Gorenstein flat dimension) \(\leq n\); \(N\) is called strongly Gorenstein torsionfree if it is \(n\)-Gorenstein torsion free \(\forall n\). Let \(\mathbb Z\) denote the set of integers and \(\mathbb Q\) the set of rationals. The notation \((-)^+\) is used for \(\Hom_{\mathbb Z}(-,\mathbb{Q/Z})\) and if \(_SU_R\) is a given \((S,R)\)-bimodule, \((-)^*\) is used for \(\Hom(-,{_SU_R})\). For a subcategory \(\mathcal X\) of \(\text{Mod\,}S\) (or \(\text{Mod\,}R^{op}\)), the notation \(\mathcal X^*\) means \(\{X^*\mid X\in\mathcal X\}\). For a subcategory \(C\) of \(\text{Mod\,}S\) and \(D\) of \(\text{Mod\,}R^{op}\) such that \(C^*\subseteq D\) and \(D^*\subseteq C\), the following duality is found: If \(f\colon A\to C\) is a pre-envelope of a module \(A\) in \(\text{Mod\,}S\), then \(f^*\colon C^*\to A\) is a \(D\)-precover of \(A^*\) in \(\text{Mod\,}R^{op}\). This result is used to establish a similar duality between a pre-envelope \(f\colon A\to C\) in \(\text{Mod\,}R\) and a \(D\)-precover \(f^+\colon C^+\to A^+\) in \(\text{Mod\,}R^{op}\), for the case where \(C^+\subseteq D\) and \(D^+\subseteq C\). Left coherent rings are characterized as those for which a monomorphism \(f\colon A\to E\) in \(\text{Mod\,}R\) being an absolutely pure (or injective) pre-envelope of \(A\), will imply the epimorphism \(f^+\colon E\to A^+\) being a flat precover of \(A^+\) in \(\text{Mod\,}R^{op}\). Left Noetherian rings are characterized as those where the converse implication is valid, too. Let \(R\) be a left and right Noetherian ring and denote the injective envelope (resp. flat cover) of \(M\in\text{Mod\,}R\) by \(E^0(M)\) and \(F_0(M)\), respectively; let \(\text{id}_RM\) be the injective dimension of \(M\) and \(\text{fd}_RM\) the flat dimension. The equality \[ \begin{aligned}\text{fd}_RE^0(_RR)&=\sup\{\text{fd}_RE^0(F)\mid F\in\text{Mod\,}R\text{ is flat}\}\\&=\sup\{\text{fd}_R E^0(G)\mid G\in\text{Mod\,}R\text{ is Gorenstein flat}\}\end{aligned} \] is proved and utilized to find several equivalences for \(E^0(_RR)\) to be Gorenstein flat (resp. flat). These equivalences include: \(E^0(_RR)\) is (Gorenstein) flat if and only if the injective envelope of every flat left \(R\)-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left \(R\)-module is injective, if and only if the opposite versions of these conditions are satisfied.
0 references
flat covers
0 references
flat precovers
0 references
Gorenstein flat precovers
0 references
Gorenstein flat covers
0 references
injective envelopes
0 references
injective pre-envelopes
0 references
Gorenstein flat modules
0 references
flat dimension
0 references
injective modules
0 references
injective dimension
0 references
left Noetherian rings
0 references
dualities
0 references