On the exactness of products in the localization of (Ab.\(4^{\ast}\)) Grothendieck categories (Q335589): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2016.08.019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2515170726 / rank | |||
Normal rank |
Revision as of 20:59, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the exactness of products in the localization of (Ab.\(4^{\ast}\)) Grothendieck categories |
scientific article |
Statements
On the exactness of products in the localization of (Ab.\(4^{\ast}\)) Grothendieck categories (English)
0 references
2 November 2016
0 references
Let \(\mathcal G\) be a Grothendieck category satisfying the axiom AB4* (this means that arbitrary direct products do exist in \(\mathcal G\) and any direct product of epimorphisms in \(\mathcal G\) is again an epimorphism). The aim of this paper is to investigate the exactness of direct products in the quotient categories \(\mathcal{G}/\mathcal{T}\) of \(\mathcal G,\) where \(\mathcal T\) is a localizing subcategory (i.e., a hereditary torsion class of \(\mathcal G\)). Recall that a Grothendieck category \(\mathcal G\) is said to be \textit{stable} if \(\mathcal T\) is closed under taking injective envelopes for any localizing subcategory \(\mathcal T\) of \(\mathcal G.\) The author says that a Grothendieck category \(\mathcal G\) is \textit{effective} if it is a locally Noetherian, stable category such that all its prime localizing subcategories are exact. Among others, the author proves that if \(\mathcal G\) is an effective Grothendieck category satisfying the axiom AB4*, then the \((k+1)\)-th derived functor of the product vanishes in case the Gabriel dimension of the quotient category \(\mathcal{G}/\mathcal{T}\) is \(\,k<\infty\); as a corollary, the author shows that, in this case, the derived category \(\mathbb{D}(\mathcal{G}/\mathcal{T})\) is left-complete.
0 references
Grothendieck category
0 references
axiom AB4*
0 references
quotient category
0 references
localizing subcategory
0 references
torsion theory
0 references
local cohomology
0 references
derived category
0 references