Injective envelopes and (Gorenstein) flat covers. (Q694574): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
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
    0 references
    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
    0 references

    Identifiers

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