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
    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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references