A characterization of Gorenstein orders (Q1115509)

Let R be a d-dimensional local Gorenstein ring. An R-order \(\Lambda\) is an R-algebra, which is a finitely generated maximal Cohen-Macaulay module over R. This definition includes classical Gorenstein orders and QF- algebras over a field. The category Latt(\(\Lambda)\) of \(\Lambda\)-lattices consists of the finitely generated \(\Lambda\)-modules M which are maximal Cohen-Macaulay over R, such that \(M_{{\mathfrak p}}\) is a projective \(\Lambda_{{\mathfrak p}}\)-module for every nonmaximal prime ideal \({\mathfrak p}\) of R. The author characterizes Gorenstein orders \(\Lambda\) over R by each of the following properties: (i) \(inj.\dim.\Lambda =d\), (ii) sup\(\{\) \(j\geq 0\), \(Ext^ j_{\Lambda}(S,\Lambda)\neq 0\}=d\) for every simple \(\Lambda\)-module S. If R is complete then each of these conditions is equivalent to (iii) \(Hom_ R(\Lambda,R)=t\cdot \Lambda =\Lambda \cdot t\), for some \(t\in Hom_ R(\Lambda,R)\). (It is interesting to note, that \(\Lambda\) is symmetric iff in addition \(t\cdot \lambda =\lambda \cdot t\) for all \(\lambda\in \Lambda.)\) The category Latt(\(\Lambda)\) for a Gorenstein order \(\Lambda\) is characterized as consisting of those \(\Lambda\)-modules M with \(Ext^ i_{\Lambda}(M,\Lambda)=0\) (i\(\geq 1)\) and \(M_{{\mathfrak p}}\) is \(\Lambda_{{\mathfrak p}}\)-projective for all nonmaximal prime ideals \({\mathfrak p}\) of R. The paper contains also an interesting list of examples; to name one: An order \(\Lambda\) with \(inj.\dim.(\Lambda)=gl.\dim.(\Lambda)<\infty\), but \(\Lambda\) is not Gorenstein. Contrary to this, the author shows that if \(\Lambda\) /rad(\(\Lambda)\) is simple, then \(\Lambda\) is Gorenstein iff \(inj.\dim.(\Lambda)<\infty\).