A bracket power characterization of analytic spread one ideals
HTML articles powered by AMS MathViewer
- by L. J. Ratliff Jr. and D. E. Rush PDF
- Trans. Amer. Math. Soc. 352 (2000), 1647-1674 Request permission
Abstract:
The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let $b_{1},\dots ,b_{g},x$ be regular nonunits in a local (Noetherian) ring $(R,M)$ and assume that $I$ $\subseteq$ $(xR)_{a}$, the integral closure of $xR$, where $I$ $=$ $(b_{1},\dots ,b_{g},x)R$. Then the main result shows that for all but finitely many units $u_{1},\dots ,u_{g}$ in $R$ that are non-congruent modulo $M$ and for all large integers $n$ and $k$ it holds that $I^{jn}$ $=$ $I^{[j]n}$ for $j$ $=$ $1,\dots ,k$ and $j$ not divisible by $char(R/M)$, where $I^{[j]}$ is the $j$-th bracket power $((b_{1}+u_{1}x)^{j}, \dots ,(b_{g}+u_{g}x)^{j},x^{j})R$ of $I$ $=$ $(b_{1}+u_{1}x, \dots ,b_{g}+u_{g}x,x)R$. And, conversely, if there exist positive integers $g$, $n$, and $k$ $\ge$ ${\binom {{n+g} }{{g}}}$ such that $I$ has a basis $\beta _{1},\dots ,\beta _{g} ,x$ such that $I^{kn}$ $=$ $({\beta _{1}}^{k},\dots ,{\beta _{g}}^{k},x^{k})^{n}R$, then $I$ has analytic spread one.References
- Paul Eakin and Avinash Sathaye, Prestable ideals, J. Algebra 41 (1976), no. 2, 439–454. MR 419428, DOI 10.1016/0021-8693(76)90192-7
- William Heinzer, Bernard Johnston, David Lantz, and Kishor Shah, The Ratliff-Rush ideals in a Noetherian ring: a survey, Methods in module theory (Colorado Springs, CO, 1991) Lecture Notes in Pure and Appl. Math., vol. 140, Dekker, New York, 1993, pp. 149–159. MR 1203805
- D. Katz, S. McAdam, J. S. Okon, and L. J. Ratliff Jr., Essential prime divisors and projectively equivalent ideals, J. Algebra 109 (1987), no. 2, 468–478. MR 902964, DOI 10.1016/0021-8693(87)90151-7
- Daniel Katz and Louis J. Ratliff Jr., $u$-essential prime divisors and sequences over an ideal, Nagoya Math. J. 103 (1986), 39–66. MR 858471, DOI 10.1017/S002776300000057X
- Stephen McAdam, Asymptotic prime divisors, Lecture Notes in Mathematics, vol. 1023, Springer-Verlag, Berlin, 1983. MR 722609, DOI 10.1007/BFb0071575
- S. McAdam and L. J. Ratliff Jr., Persistent primes and projective extensions of ideals, Comm. Algebra 16 (1988), no. 6, 1141–1185. MR 939036, DOI 10.1080/00927878808823624
- Masayoshi Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR 0155856
- Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
- L. J. Ratliff Jr. and David E. Rush, Two notes on reductions of ideals, Indiana Univ. Math. J. 27 (1978), no. 6, 929–934. MR 506202, DOI 10.1512/iumj.1978.27.27062
- L. J. Ratliff, Jr. and David E. Rush, Triangular powers of integers from determinants of binomial coefficient matrices, Linear Algebra and Appl. (to appear).
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. 1, Graduate Texts in Mathematics, No. 28, Springer-Verlag, New York-Heidelberg-Berlin, 1975. With the cooperation of I. S. Cohen; Corrected reprinting of the 1958 edition. MR 0384768
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, Graduate Texts in Mathematics, Vol. 29, Springer-Verlag, New York-Heidelberg, 1975. Reprint of the 1960 edition. MR 0389876
Additional Information
- L. J. Ratliff Jr.
- Affiliation: Department of Mathematics, University of California, Riverside, California 92521
- Email: ratliff@math.ucr.edu
- D. E. Rush
- Affiliation: Department of Mathematics, University of California, Riverside, California 92521
- Email: rush@math.ucr.edu
- Received by editor(s): December 20, 1997
- Published electronically: July 26, 1999
- © Copyright 2000 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 352 (2000), 1647-1674
- MSC (1991): Primary 13A15, 13B20, 13C10; Secondary 13H99
- DOI: https://doi.org/10.1090/S0002-9947-99-02434-4
- MathSciNet review: 1641107