Presentations of rings with non-trivial semidualizing modules (Q692057): Difference between revisions

Let \(R\) be a commutative Noetherian local ring. A well-known result says that \(R\) admits a dualizing module if and only if \(R\) is Cohen-Macaulay and a homomorphic image of a local Gorenstein ring. In the paper under review, the authors expand this result by showing that a Cohen-Macaulay ring \(R\) with dualizing module \(D\) admits a semidualizing module \(C\) satisfying \(R\ncong C\ncong D\) if and only if there is an isomorphism \(R=Q/I\), where \(Q\) is a Gorenstein ring and \(I=I_1+I_2\), where \(I_1,I_2\) are ideals of \(Q\), such that the quotients \(Q/I_1\) and \(Q/I_2\) are Cohen-Macaulay but not Gorenstein and the ideals satisfy \(I_1\cap I_2=I_1I_2\) and some extra conditions.