## Journal of Mathematics of Kyoto University

### Equimultiple good ideals

#### Abstract

Let $I$ be an ideal in a Gorenstein local ring A with the maximal ideal $\mathfrak{m}$. Then $I$ is said to be an equimultiple good ideal if I contains a reduction $Q = (a_{1}, a_{2}, \ldots ,a_{s})$ generated by s elements in $A$ and if the associated graded ring $\mathrm{G}(I) = \bigoplus _{n\geq 0} I^{n}/I^{n+1}$ of $I$ is a Gorenstein ring with $\mathrm{a}(\mathrm{G}(I))=1-s$, where $s = \mathrm{ht}_{A}I$ and $\mathrm{a}(\mathrm{G}(I))$ denotes the $a$-invariant of $\mathrm{G}(I)$. The purpose is to explore the structure of the sets $\chi _{A,s}$ $(s\geq 0)$ of equimultiple good ideals I with $\mathrm{ht}_{A}I=s$. Goto, Iai and Watanabe [GIW] already studied $\mathfrak{m}$-primary good ideals $I$, that is the case where $\mathrm{ht}_{A}I = \dim A$. Some of their results are successfully generalized to those of equimultiple case with improvements.

#### Article information

Source
J. Math. Kyoto Univ., Volume 42, Number 1 (2002), 21-32.

Dates
First available in Project Euclid: 14 August 2009

Permanent link to this document
https://projecteuclid.org/euclid.kjm/1250284708

Digital Object Identifier
doi:10.1215/kjm/1250284708

Mathematical Reviews number (MathSciNet)
MR1932734

Zentralblatt MATH identifier
1077.13501

#### Citation

Goto, Shiro; Kim, Mee-Kyoung. Equimultiple good ideals. J. Math. Kyoto Univ. 42 (2002), no. 1, 21--32. doi:10.1215/kjm/1250284708. https://projecteuclid.org/euclid.kjm/1250284708