The Cohen-Macaulay type of an order $S$, is the minimal number of generators (as an $S$-module) of a canonical module of $S$. Note that the trace dual ideal $S^t =\{ a : \mathrm{Tr}(aS) \subseteq \mathbb{Z} \}$ is a canonical module for $S$. In particular, the Cohen-Macaulay type equals $\max \{ \dim_{S/\mathfrak{l}} \frac{S^t}{\mathfrak{l}S^t} \}_\mathfrak{l}$, where $\mathfrak{l}$ runs over the maximal ideals of $S$. The order is called Gorenstein if the Cohen-Macaulay type equals $1$. This is the case precisely when every fractional $S$-ideal $I$ with $(I:I)$ is invertible.
Authors:
Knowl status:
- Review status: beta
- Last edited by Stefano Marseglia on 2023-07-29 11:10:50
Referred to by:
History:
(expand/hide all)
Not referenced anywhere at the moment.
- 2023-07-29 11:10:50 by Stefano Marseglia
- 2023-07-10 14:05:13 by Edgar Costa
- 2023-07-05 14:50:21 by Edgar Costa