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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Duality pairs induced by Gorenstein projective modules with respect to semidualizing modules
scientific article

    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