On the finiteness of Gorenstein homological dimensions (Q2376702)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the finiteness of Gorenstein homological dimensions |
scientific article |
Statements
On the finiteness of Gorenstein homological dimensions (English)
0 references
24 June 2013
0 references
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).
0 references
Gorenstein projective, injective and flat modules
0 references
relative derived functors
0 references
Gorenstein global dimension
0 references
Pontryagin duality
0 references
strict Mittag-Leffler condition
0 references
strict Mittag-Leffler module
0 references
spli
0 references
slip
0 references
sfli
0 references
complete projective resolution
0 references