Monoidal extensions of a Cohen-Macaulay unique factorization domain
HTML articles powered by AMS MathViewer
- by William J. Heinzer, Aihua Li, Louis J. Ratliff Jr. and David E. Rush
- Trans. Amer. Math. Soc. 354 (2002), 1811-1835
- DOI: https://doi.org/10.1090/S0002-9947-02-02951-3
- Published electronically: January 9, 2002
- PDF | Request permission
Abstract:
Let $A$ be a Noetherian Cohen-Macaulay domain, $b$, $c_1$, $\dots$, $c_g$ an $A$-sequence, $J$ = $(b,c_1,\dots ,c_g)A$, and $B$ = $A[J/b]$. Then $B$ is Cohen-Macaulay, there is a natural one-to-one correspondence between the sets $\operatorname {Ass}_B(B/bB)$ and $\operatorname {Ass}_A(A/J)$, and each $q$ $\in$ $\operatorname {Ass}_A(A/J)$ has height $g+1$. If $B$ does not have unique factorization, then some height-one prime ideals $P$ of $B$ are not principal. These primes are identified in terms of $J$ and $P \cap A$, and we consider the question of how far from principal they can be. If $A$ is integrally closed, necessary and sufficient conditions are given for $B$ to be integrally closed, and sufficient conditions are given for $B$ to be a UFD or a Krull domain whose class group is torsion, finite, or finite cyclic. It is shown that if $P$ is a height-one prime ideal of $B$, then $P \cap A$ also has height one if and only if $b$ $\notin$ $P$ and thus $P \cap A$ has height one for all but finitely many of the height-one primes $P$ of $B$. If $A$ has unique factorization, a description is given of whether or not such a prime $P$ is a principal prime ideal, or has a principal primary ideal, in terms of properties of $P \cap A$. A similar description is also given for the height-one prime ideals $P$ of $B$ with $P \cap A$ of height greater than one, if the prime factors of $b$ satisfy a mild condition. If $A$ is a UFD and $b$ is a power of a prime element, then $B$ is a Krull domain with torsion class group if and only if $J$ is primary and integrally closed, and if this holds, then $B$ has finite cyclic class group. Also, if $J$ is not primary, then for each height-one prime ideal $p$ contained in at least one, but not all, prime divisors of $J$, it holds that the height-one prime $pA[1/b] \cap B$ has no principal primary ideals. This applies in particular to the Rees ring ${\mathbf R}$ $=$ $A[1/t, tJ]$. As an application of these results, it is shown how to construct for any finitely generated abelian group $G$, a monoidal transform $B$ = $A[J/b]$ such that $A$ is a UFD, $B$ is Cohen-Macaulay and integrally closed, and $G$ $\cong$ $\operatorname {Cl}(B)$, the divisor class group of $B$.References
- Edward D. Davis, Ideals of the principal class, $R$-sequences and a certain monoidal transformation, Pacific J. Math. 20 (1967), 197–205. MR 206035, DOI 10.2140/pjm.1967.20.197
- Edward D. Davis, Remarks on monoidal overrings, Math. Nachr. 78 (1977), 267–274. MR 466132, DOI 10.1002/mana.19770780123
- Andrew J. Duncan, Infinite coverings of ideals by cosets with applications to regular sequences and balanced big Cohen-Macaulay modules, Math. Proc. Cambridge Philos. Soc. 107 (1990), no. 3, 443–460. MR 1041477, DOI 10.1017/S0305004100068730
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- Robert M. Fossum, The divisor class group of a Krull domain, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 74, Springer-Verlag, New York-Heidelberg, 1973. MR 0382254, DOI 10.1007/978-3-642-88405-4
- Shiro Goto, Integral closedness of complete-intersection ideals, J. Algebra 108 (1987), no. 1, 151–160. MR 887198, DOI 10.1016/0021-8693(87)90128-1
- M. Herrmann, S. Ikeda, and U. Orbanz, Equimultiplicity and blowing up, Springer-Verlag, Berlin, 1988. An algebraic study; With an appendix by B. Moonen. MR 954831, DOI 10.1007/978-3-642-61349-4
- Irving Kaplansky, Commutative rings, Revised edition, University of Chicago Press, Chicago, Ill.-London, 1974. MR 0345945
- Aihua Li, Birational extensions of a Noetherian UFD, Comm. Algebra 28 (2000), no. 1, 209–216. MR 1739356, DOI 10.1080/00927870008826837
- Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. MR 879273
- Stephen McAdam, Finite coverings by ideals, Ring theory (Proc. Conf., Univ. Oklahoma, Norman, Okla., 1973) Lecture Notes in Pure and Applied Mathematics, Vol. 7, Dekker, New York, 1974, pp. 163–171. MR 0332749
- 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
- Jack Ohm, Space curves as ideal-theoretic complete intersections, Studies in algebraic geometry, MAA Stud. Math., vol. 20, Math. Assoc. America, Washington, D.C., 1980, pp. 47–115. MR 589409
- Louis J. Ratliff Jr., Two notes on locally Macaulay rings, Trans. Amer. Math. Soc. 119 (1965), 399–406. MR 179200, DOI 10.1090/S0002-9947-1965-0179200-8
- Saunders MacLane and O. F. G. Schilling, Infinite number fields with Noether ideal theories, Amer. J. Math. 61 (1939), 771–782. MR 19, DOI 10.2307/2371335
- Judith Sally, A note on integral closure, Proc. Amer. Math. Soc. 36 (1972), 93–96. MR 311639, DOI 10.1090/S0002-9939-1972-0311639-9
- P. Samuel, Lectures on unique factorization domains, Tata Institute of Fundamental Research Lectures on Mathematics, No. 30, Tata Institute of Fundamental Research, Bombay, 1964. Notes by M. Pavman Murthy. MR 0214579
- V. Merriline Smith, Strongly superficial elements, Pacific J. Math. 58 (1975), no. 2, 643–650. MR 392970, DOI 10.2140/pjm.1975.58.643
- Saunders MacLane and O. F. G. Schilling, Infinite number fields with Noether ideal theories, Amer. J. Math. 61 (1939), 771–782. MR 19, DOI 10.2307/2371335
Bibliographic Information
- William J. Heinzer
- Affiliation: Department of Mathematics, Purdue University, West Lafayette, Indiana 47909-1395
- Email: heinzer@math.purdue.edu
- Aihua Li
- Affiliation: Department of Mathematics and Computer Science, Loyola University, New Orleans, Louisiana 70118
- Email: ali@loyno.edu
- Louis J. Ratliff Jr.
- Affiliation: Department of Mathematics, University of California, Riverside, California 92521-0135
- Email: ratliff@newmath.ucr.edu
- David E. Rush
- Affiliation: Department of Mathematics, University of California, Riverside, California 92521-0135
- Email: rush@newmath.ucr.edu
- Received by editor(s): December 31, 2000
- Published electronically: January 9, 2002
- © Copyright 2002 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 354 (2002), 1811-1835
- MSC (2000): Primary 13A05, 13A30, 13B02, 13B22, 13C20, 13F15, 13H10
- DOI: https://doi.org/10.1090/S0002-9947-02-02951-3
- MathSciNet review: 1881018