Rings which are almost polynomial rings
HTML articles powered by AMS MathViewer
- by Paul Eakin and James Silver
- Trans. Amer. Math. Soc. 174 (1972), 425-449
- DOI: https://doi.org/10.1090/S0002-9947-1972-0309924-4
- PDF | Request permission
Abstract:
If A is a commutative ring with identity and B is a unitary A-algebra, B is locally polynomial over A provided that for every prime p of A, ${B_p} = B{ \otimes _A}{A_p}$ is a polynomial ring over ${A_p}$. For example, the ring $Z[\{ X/{p_i}\} _{i = 1}^\infty ]$, where $\{ {p_i}\} _{i = 1}^\infty$ is the set of all primes of Z, is locally polynomial over Z, but is not a polynomial ring over Z. If B is locally polynomial over A, the following results are obtained, B is faithfully flat over A. If A is an integral domain, so is B. If $\mathfrak {a}$ is any ideal of A, then $B/\mathfrak {a}B$ is locally polynomial over $A/\mathfrak {a}$. If p is any prime of A, then pB is a prime of B. If B is a Krull ring, so is A and the class group of B is isomorphic to the class group of A . If A is a Krull ring and B is contained in an affine domain over A, then B is a Krull ring. If A is a noetherian normal domain and B is contained in an affine ring over A, then B is a normal affine ring over A. If M is a module over a ring A, the content of an element x of M over A is defined to be the smallest ideal ${A_x}$ of A such that x is in ${A_x}M$. A module is said to be a content module over A if ${A_x}$ exists for every x in M. M is a content module over A if and only if arbitrary intersections of ideals of A extend to M. Projective modules are content modules. If B is locally polynomial over a Dedekind domain A, then B is a content module over A if and only if B is Krull.References
- Shreeram S. Abhyankar, William Heinzer, and Paul Eakin, On the uniqueness of the coefficient ring in a polynomial ring, J. Algebra 23 (1972), 310–342. MR 306173, DOI 10.1016/0021-8693(72)90134-2 N. Bourbaki, Élements de mathématique. Fasc. XXVII. Algèbre commutative, chaps. 1, 2, Actualités Sci. Indust., no. 1290, Hermann, Paris, 1961. MR 36 #146.
- Stephen U. Chase, Direct products of modules, Trans. Amer. Math. Soc. 97 (1960), 457–473. MR 120260, DOI 10.1090/S0002-9947-1960-0120260-3
- Luther Claborn, Every abelian group is a class group, Pacific J. Math. 18 (1966), 219–222. MR 195889
- P. M. Cohn, Bezout rings and their subrings, Proc. Cambridge Philos. Soc. 64 (1968), 251–264. MR 222065, DOI 10.1017/s0305004100042791
- D. B. Coleman and E. E. Enochs, Isomorphic polynomial rings, Proc. Amer. Math. Soc. 27 (1971), 247–252. MR 272805, DOI 10.1090/S0002-9939-1971-0272805-3
- Paul Eakin and K. K. Kubota, A note on the uniqueness of rings of coefficients in polynomial rings, Proc. Amer. Math. Soc. 32 (1972), 333–341. MR 297763, DOI 10.1090/S0002-9939-1972-0297763-8
- Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0116199
- Robert W. Gilmer, Multiplicative ideal theory, Queen’s Papers in Pure and Applied Mathematics, No. 12, Queen’s University, Kingston, Ont., 1968. MR 0229624
- William Heinzer, On Krull overrings of a Noetherian domain, Proc. Amer. Math. Soc. 22 (1969), 217–222. MR 254022, DOI 10.1090/S0002-9939-1969-0254022-7
- Paul Jaffard, Théorie de la dimension dans les anneaux de polynomes, Mémor. Sci. Math., Fasc. 146, Gauthier-Villars, Paris, 1960 (French). MR 0117256
- Chr. U. Jensen, A remark on flat and projective modules, Canadian J. Math. 18 (1966), 943–949. MR 199226, DOI 10.4153/CJM-1966-093-7
- Irving Kaplansky, Commutative rings, Allyn and Bacon, Inc., Boston, Mass., 1970. MR 0254021
- 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
- Masayoshi Nagata, A theorem on finite generation of a ring, Nagoya Math. J. 27 (1966), 193–205. MR 194460
- Jack Ohm and David E. Rush, The finiteness of $I$ when $\textit {R}[\textit {X}]/\textit {I}$ is flat, Trans. Amer. Math. Soc. 171 (1972), 377–408. MR 306176, DOI 10.1090/S0002-9947-1972-0306176-6 —, Content modules and algebras (to appear).
- 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
- Wolmer V. Vasconcelos, On finitely generated flat modules, Trans. Amer. Math. Soc. 138 (1969), 505–512. MR 238839, DOI 10.1090/S0002-9947-1969-0238839-5
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249
Bibliographic Information
- © Copyright 1972 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 174 (1972), 425-449
- MSC: Primary 13F20
- DOI: https://doi.org/10.1090/S0002-9947-1972-0309924-4
- MathSciNet review: 0309924