Three notes on the order of ideals defining hypersurfaces (Q916730)

The order of an ideal I of a regular local ring R is defined as follows: ord\((I)=\max \{n; I\subseteq {\mathfrak m}^ n\}\), where \({\mathfrak m}\) denotes the maximal ideal of R. It is well-known that ord\((I)=e(R/I)\) if I is a principal ideal. This paper studies the problem whether the condition ord\((I)=e(R/I)\) implies \(I=fR\) for some element f of R. It is shown that this is the case in the following situations: (1) \(A=R/I\) is a Buchsbaum ring with depth\((A)\geq 1\) and ord\((I)\geq 3.\) (2) \(I\) is an equimultiple ideal which is generically a complete intersection. (3) R is a polynomial ring over an algebraically closed field and I is a homogeneous ideal of R such that R/I satisfies Serre's condition \(S_ 2\).