and dimension d. The most primitive quantities attached to an ideal Z are its height, ht(Z), and its minimum number of generators, u(Z). The fundamental relation between ht(Z) and u(Z) is pro- vided by Krull’s theorem: (1) u(Z) > ht(Z). The case of equality is noteworthy enough and Z will be called a complete intersec- tion if it so happens. (Strictly, this terminology is used when the ideal is generated by a regular sequence, but the two notions coincide in what will be our standard con- text - that of Cohen-Macaulay rings.) To bridge the gap between o(Z) and ht(Z) several other measures have been in- troduced. We single out: (i) ara(Z) = arithmetical rank of Z : = the least integer I such that the radical of Z is the radical of an r-generated ideal. (ii) I(Z) = analytic spread of Z := Krull dimension of the algebra @I’@
Read full abstract