On the endomorphism ring of the canonical module (Q1068899): Difference between revisions

Let A be a d-dimensional local ring with maximal ideal \({\mathfrak m}\) and canonical module K. Let \(H=End_ A(K)\) with structure homomorphism h. The authors' main result is the following (theorem 1.6): Let R be an A- algebra with structure homomorphism f. The following are equivalent: (a) \(R\cong H\) as A-algebras; (b) R satisfies the following conditions: (i) R is \((S_ 2)\) and finitely generated as an A-module, (ii) For every maximal ideal \({\mathfrak n}\) of R, dim \(R_{{\mathfrak n}}=d\), and (iii) \(\dim_ A\) Coker(f)\(\leq d- 2\) and \(\dim_ AKer(f)\leq d-1.\) The authors then discuss further properties of A, K, and H. For example they prove that K is a Cohen-Macaulay module if and only if H is a Cohen- Macaulay ring, and K is related to the quasi-Gorensteinness of A.