×

On \({\mathfrak m}\)-full powers of parameter ideals. (English) Zbl 1121.13023

Let \((A,\mathfrak m)\) be a local ring of dimension \(d\). Let \(I\) be an ideal of \(A\). Then \(I\) is said to be \(\mathfrak m\)-full if \(\mathfrak m I\colon x=I\), for some \(x\in \mathfrak m\). This notion was introduced by Rees and studied by other authors, like S. Goto [J. Algebra 108, 151–160 (1987; Zbl 0629.13004)] and M. Morales, Ngô Viêt Trung and O. Villamayor [J. Algebra 129, No. 1, 96–102 (1990; Zbl 0701.13004)], regarding the structure of integrally closed ideals.
The main result of the article under review is that, if \(Q\) is a parameter ideal of a noetherian local ring \((A,\mathfrak m)\) such that depth\(A>0\) and \(Q^n\) is \(\mathfrak m\)-full for some integer \(n\geq 1\), then \(A\) is regular and \(\mathfrak m/Q\) is cyclic. As a corollary it follows that, if \((A,\mathfrak m)\) is a noetherian local ring and \(Q\) is a parameter ideal, then the following conditions are equivalent:
(1) \(A\) is a regular local ring and \(\mathfrak m/Q\) is cyclic;
(2) \(Q\) is integrally closed in \(A\);
(3) \(Q^n\) is integrally closed in \(A\), for some \(n\geq 1\);
(4) \(Q^n\) is integrally closed in \(A\), for all \(n\geq 1\).
The contribution of the author to the proof of this corollary is implication \((3)\Rightarrow (2)\). The equivalence of (1) and (2) is due to S. Goto [loc. cit.]. The proof of the main result is preceded by preliminary results on Ratliff-Rush closures, generalized Cohen-Macaulay rings and \(\mathfrak m\)-full ideals.

MSC:

13H05 Regular local rings
13H15 Multiplicity theory and related topics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. Goto, Noetherian local rings with Buchsbaum associated graded rings, J. Alg. 86 (1984), 336-384. · Zbl 0532.13011 · doi:10.1016/0021-8693(84)90037-1
[2] S. Goto, Integral closedness of complete-intersection ideals, J. Alg. 108 (1987), 151-160. · Zbl 0629.13004 · doi:10.1016/0021-8693(87)90128-1
[3] S. Goto and F. Hayasaka, Finite homological dimension and primes associated to integrally closed ideals, Proc. Amer. Math. Soc. 130 (2002), 3159-3164. · Zbl 0995.13009 · doi:10.1090/S0002-9939-02-06436-5
[4] S. Goto and F. Hayasaka, Finite homological dimension and primes associated to integrally closed ideals II, J. Math. Kyoto Univ. 42 -4 (2002), 631-639. · Zbl 1041.13018
[5] S. Goto, F. Hayasaka and S. Kasuga, Towards a theory of Gorenstein m-primary integrally closed ideals, J. Herzog and V. Vuletescu (eds.): Commutative Algebra, Singularities and Computer Algebra , The Proceedings of NATO Advanced Research Workshop: Sinaia (Romania) (2002), 159-177. · Zbl 1054.13004 · doi:10.1007/978-94-007-1092-4_9
[6] S. C. Huneke, B. Ulrich and W. V. Vasconcelos, On the structure of certain normal ideals, Compositio Mathematica 84 (1992) 25-42. · Zbl 0760.13007
[7] S. McAdam, Asymptotic Prime Divisors , Lecture Notes in Math. vol. 1023, Springer-Verlag, Berlin\({\cdot}\)Heidelberg\({\cdot}\)New York\({\cdot}\)Tokyo (1983). · Zbl 0529.13001
[8] M. Morales, N. V. Trung and O. Villamayor, Sur la fonction de Hilbert-Samuel des clôtures intégrales des puissances d’idèaux engendrés par un système de paramètres, J. Alg. 129 (1990), 96-102. · Zbl 0701.13004 · doi:10.1016/0021-8693(90)90240-O
[9] M. Nagata, Local Rings , Interscience (1962). · Zbl 0123.03402
[10] J. Stückrad and W. Vogel, Buchsbaum Rings and Applications , Springer-Verlag (1986). · Zbl 0606.13017
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.