On the finiteness of Gorenstein homological dimensions

complete projective resolution Gorenstein global dimension Gorenstein projective, injective and flat modules Pontryagin duality relative derived functors sfli slip spli strict Mittag-Leffler condition strict Mittag-Leffler module

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05)

Review text

There is no full analogy of Gorenstein homological constructs with ordinary homological constructions, such as dimensions. In this paper, the author examines constructions such as Gorenstein projective, injective, flat and global dimensions. Some of the results are as follows: Theorem 2.2. Let \(R\) be a ring. Then the following conditions are equivalent: (i) Every Gorenstein projective left \(R\)-module is Gorenstein flat. (ii) Every Gorenstein projective left \(R\)-module is strict Mittag-Leffler over \(R\). (iii) Every complete projective resolution is a complete flat resolution. (iv) For every Gorenstein projective left \(R\)-module \(M\), its Pontryagin dual \(\Hom(M,\mathbb Q/\mathbb Z)\) is Gorenstein injective. If these conditions are satisfied, then the Gorenstein flat dimension of a module is not greater than the Gorenstein projective dimension. Theorem 4.1. The following conditions are equivalent for a ring \(R\): (i) Every left \(R\)-module admits a complete projective resolution. (ii) Gorenstein projective dimension of a module is finite, for every left \(R\)-module. (iii) The invariants \(\mathrm{spli}R\) and \(\mathrm{slip}R\) are finite. (iv) \(\mathrm{spli}R=\mathrm{fin.dim}R=\mathrm{slip}R<\infty\). (v) Every left \(R\) module admits a complete injective resolution. (vi) Gorenstein injective dimension of every left \(R\)-module is finite. If these conditions are satisfied, then \(\sup\{\mathrm{Gpd}_RM: M\) is left \(R\)-module\(\}= \sup\{\mathrm{Gid}_RN: N\) is a left \(R\)-module\(\}=\mathrm{spli}R=\mathrm{slip}R\). In this case, the common value of these four numbers is defined to be the (finite) Gorenstein global dimension of \(R\). The author obtains an analogous result for the finite Gorenstein weak dimension, which is defined to be \(\mathrm{sfli}R=\mathrm{sfli}R^{\mathrm{op}}\), when the latter quantities are finite.In the final section of the paper, the author provides examples of rings of finite Gorenstein global or weak dimension. Reviewer's note: The paper would be more readable if the notions defined in the paper were italicised (or if other distinguishing font were used).

Recommendations

Cites work

Cited in

(83)

This page was built for publication: On the finiteness of Gorenstein homological dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376702)