Duality pairs induced by Gorenstein projective modules with respect to semidualizing modules (Q495880)

From MaRDI portal





scientific article; zbMATH DE number 6482446
Language Label Description Also known as
default for all languages
No label defined
    English
    Duality pairs induced by Gorenstein projective modules with respect to semidualizing modules
    scientific article; zbMATH DE number 6482446

      Statements

      Duality pairs induced by Gorenstein projective modules with respect to semidualizing modules (English)
      0 references
      0 references
      0 references
      0 references
      15 September 2015
      0 references
      The authors delve into duality pairs in the context introduced in [\textit{H. Holm} and \textit{P. Jørgensen}, J. Pure Appl. Algebra 205, No. 2, 423--445 (2006; Zbl 1094.13021)], which extends the notions of Gorenstein projective and injective modules. Thus given a commutative Noetherian ring \(R\), a finitely generated \(R\)-module \(C\) is semidualizing if the natural map \(R\to\text{Hom}_R(C,C)\) is an isomorphism and \(\text{Ext}^i_R(C,C)=0\) for all positive integers \(i\). If \(C\) has finite injective dimension, then \(C\) is dualizing. The class of \(C\)-injective (resp \(C\)-projective) \(R\)-modules consists of those \(R\)-modules of the form \(\text{Hom}(C,I)\) (resp. \(R\otimes P\)), where \(I\) is an injective (resp. \(P\) projective) \(R\)-module. This class is denoted \(\mathcal{GI}_C\) (resp. \(\mathcal{GP}_C\)). The article main's result is a list of six equivalent conditions for \(R\) to be artinian, depending on the classes \(\mathcal{GI}_C\) and \(\mathcal{GP}_C\). In particular they show that \(R\) is artinian if and only if \((\mathcal{GP}_C,\mathcal{GI}_C)\) is a duality pair, if and only if \(\mathcal{GP}_C\) is preenveloping. In addition, they give a necessary and sufficient condition for a commutative artinian ring to be virtually Gorenstein. Finally, they apply their findings to obtain criteria for a semidualizing module to be dualizing in the case when \(R\) is (commutative) artinian.
      0 references
      0 references
      duality pairs
      0 references
      \(C\)-Gorenstein projective modules
      0 references
      semidualizing modules
      0 references
      dualizing modules
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references