© 2000 by London Mathematical Society
© The London Mathematical Society
CastelnuovoMumford Regularity and Analytic Deviation of Ideals
Institute of Mathematics Box 631, Bò Hô, Hanoi, Vietnam
Received 4 November 1998. Revision received 2 June 1999.
Let (A, m) be a local ring. For convenience we will assume throughout this paper that the residue field of A is infinite.
Let I be an ideal of A. An ideal J
I is called a reduction of I if JIn = In+1 for some integer n. The least number n with this property is denoted by rJ (I). A reduction of I is said to be minimal if it does not contain any other reduction of I. The reduction number r(I) of I is the minimum of rJ(I) for all minimal reductions J of I. A minimal reduction of I usually has better properties than I. It can be viewed as an approximation of I and the reduction number is a measure for how it is different from I. The minimal number of generators of every minimal reduction of I is equal to the dimension of the fibre ring
n
0In/mIn. This invariant is called the analytic spread of I and denoted by l(I). All these notions have played an important role in ideal theory since their introduction by Northcott and Rees [16].