Let [Formula: see text] be an injectively resolving subcategory of left [Formula: see text]-modules. We introduce and study [Formula: see text]-Gorenstein flat modules as a common generalization of some known modules such as Gorenstein flat modules (Enochs, Jenda and Torrecillas, 1993), Gorenstein AC-flat modules (Bravo, Estrada and Iacob, 2018). Then we define a resolution dimension relative to the [Formula: see text]-Gorensteinflat modules, investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, stability of the category of [Formula: see text]-Gorensteinflat modules is discussed, and some known results are obtained as applications.
AbstractGroup algebras of symmetric groups and their Hecke algebras are in Schur-Weyl duality with classical and quantised Schur algebras, respectively. Two homological dimensions, the dominant dimension and the global dimension, of the indecomposable summands (blocks) of these Schur algebras S(n, r) and $$S_q(n,r)$$
S
q
(
n
,
r
)
with $$n \geqslant r$$
n
⩾
r
are determined explicitly, using a result on derived invariance in Fang, Hu and Koenig (J Reine Angew Math 770:59–85, 2021).
In this paper, we introduce and study left (right) [Formula: see text]-semihereditary rings over any associative ring, and these rings are exactly [Formula: see text]-semihereditary rings defined by Mahdou and Tamekkante provided that [Formula: see text] is a commutative ring. Some new characterizations of left [Formula: see text]-semihereditary rings are given. Applications go in three directions. The first is to give a sufficient condition when a finitely presented right [Formula: see text]-module is Gorenstein flat if and only if it is Gorenstein projective provided that [Formula: see text] is left coherent. The second is to investigate the relationships between Gorenstein flat modules and direct limits of finitely presented Gorenstein projective modules. The third is to obtain some new characterizations of semihereditary rings, [Formula: see text]-[Formula: see text] rings and [Formula: see text] rings.
Let [Formula: see text] be an abelian category, [Formula: see text] an additive, full and self-orthogonal subcategory of [Formula: see text] closed under direct summands, [Formula: see text] the right Gorenstein subcategory of [Formula: see text] relative to [Formula: see text], and [Formula: see text] the left orthogonal class of [Formula: see text]. For an object [Formula: see text] in [Formula: see text], we prove that if [Formula: see text] is in the right 1-orthogonal class of [Formula: see text], then the [Formula: see text]-projective and [Formula: see text]-projective dimensions of [Formula: see text] are identical; if the [Formula: see text]-projective dimension of [Formula: see text] is finite, then the [Formula: see text]-projective and [Formula: see text]-projective dimensions of [Formula: see text] are identical. We also prove that the supremum of the [Formula: see text]-projective dimensions of objects with finite [Formula: see text]-projective dimension and that of the [Formula: see text]-projective dimensions of objects with finite [Formula: see text]-projective dimension coincide. Then we apply these results to the category of modules.
Homological dimensions of smooth crossed products
