The finiteness of when is -flat. II

Authors:
William Heinzer and Jack Ohm

Journal:
Proc. Amer. Math. Soc. **35** (1972), 1-8

MSC:
Primary 13C05

DOI:
https://doi.org/10.1090/S0002-9939-1972-0306177-3

MathSciNet review:
0306177

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: This paper supplements work of Ohm-Rush. A question which was raised by them is whether is a flat *R*-module implies *I* is locally finitely generated at primes of . Here *R* is a commutative ring with identity, *X* is an indeterminate, and *I* is an ideal of . It is shown that this is indeed the case, and it then follows easily that *I* is even locally principal at primes of .

Ohm-Rush have also observed that a ring *R* with the property `` is *R*-flat implies *I* is finitely generated'' is necessarily an ring, i.e. a ring such that finitely generated flat modules are projective; and they have asked whether conversely any ring has this property. An example is given to show that this conjecture needs some tightening. Finally, a theorem of Ohm-Rush is applied to prove that any *R* with only finitely many minimal primes has the property that is *R*-flat implies *I* is finitely generated.

**[B]**N. Bourbaki,*Éléments de mathématique*. Fasc. XXVII.*Algèbre commutative*. Chaps. 1, 2, Actualités Sci. Indust., no. 1290, Hermann, Paris, 1961. MR**36**#146.**[CP]**S. H. Cox, Jr. and R. L. Pendleton,*Rings for which certain flat modules are projective*, Trans. Amer. Math. Soc.**150**(1970), 139-156. MR**41**#6906. MR**0262296 (41:6906)****[G]**R. Gilmer,*Multiplicative ideal theory*, Queen's Papers in Pure and Appl. Math., no. 12, Queen's University, Kingston, Ont., 1968. MR**37**#5198. MR**0229624 (37:5198)****[K]**I. Kaplansky,*Commutative rings*, Allyn and Bacon, Boston, Mass., 1970. MR**40**#7234. MR**0254021 (40:7234)****[N]**M. Nagata,*Local rings*, Interscience Tracts in Pure and Appl. Math., no. 13, Interscience, New York, 1962. MR**27**#5790. MR**0155856 (27:5790)****[OR]**J. Ohm and D. Rush,*The finiteness of I when**is flat*, Trans. Amer. Math. Soc. (to appear); Announcement in Bull. Amer. Math. Soc.**77**(1971), 793-796. MR**0279091 (43:4817)****[V]**W. V. Vasconcelos,*Simple flat extensions*, J. Algebra**16**(1970), 105-107. MR**42**#252. MR**0265342 (42:252)**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
13C05

Retrieve articles in all journals with MSC: 13C05

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1972-0306177-3

Keywords:
Polynomial ring,
flat module,
finitely generated ideal,
prime ideal

Article copyright:
© Copyright 1972
American Mathematical Society