×

Enlarging localized polynomial rings while preserving their prime ideal structure. (English) Zbl 1461.13021

Author’s abstract: Let \(n\) be an integer greater than \(1\) and let \(x_1,\dots, x_n\) be indeterminates over a countable field \(k\). In this paper, we employ techniques of Heitmann and Nagata to show there exists an uncountable regular local ring \(S\) between the localized polynomial ring \(k[x_1,\dots, x_n]_{(x_1,\dots,x_n)}\) and the power series ring \(k[[x_1,\dots, x_n]]\) such that the prime ideal spectrum of \(S\) is homeomorphic to the prime ideal spectrum of \(k[x_1,\dots, x_n]_{(x_1,\dots,x_n)}\) as topological spaces with the Zariski topology (Theorem 3.17). Thus \(S\) is a local \(n\)-dimensional Noetherian domain and the cardinality of the set of prime ideals of \(S\) is strictly less than the cardinality of \(S\). We also show that every Noetherian ring \(A\) with infinitely many prime ideals has a Noetherian subring \(B\) such that the prime ideal spectrum of \(B\) is homeomorphic to the prime ideal spectrum of \(A\) and the cardinality of the set of prime ideals of \(B\) equals the cardinality of \(B\).

MSC:

13E05 Commutative Noetherian rings and modules
13A15 Ideals and multiplicative ideal theory in commutative rings
13C15 Dimension theory, depth, related commutative rings (catenary, etc.)
Full Text: DOI

References:

[1] Atiyah, M.; MacDonald, I., Introduction to Commutative Algebra (1994), Westview Press
[2] Balcerzyk, Stainslaw; Józefiak, Tadeusz, Commutative Noetherian and Krull Rings, Vol. 1 (1989), Ellis Horwood Limited and PWN-Polish Scientific Publishers · Zbl 0685.13001
[3] Heitmann, R., Examples of non-catenary rings, Trans. Am. Math. Soc., 247, 125-136 (1979) · Zbl 0408.13005
[4] Heitmann, R., Characterization of completions of unique factorization domains, Trans. Am. Math. Soc., 337, 1 (1997)
[5] Hochster, M., Prime ideal structure in commutative rings, Trans. Am. Math. Soc., 137, 43-60 (1969) · Zbl 0184.29401
[6] Kearnes, K.; Oman, G., Cardinalities of residue fields of noetherian integral domains, Commun. Algebra, 38, 3580-3588 (2010) · Zbl 1204.13012
[7] McAdam, S., Intersections of height 2 primes, J. Algebra, 40, 315-321 (1977) · Zbl 0372.13011
[8] Nagata, M., On the chain problem of prime ideals, Nagoya Math. J., 10, 51-64 (1956) · Zbl 0074.02503
[9] Ratliff, L. J., Characterizations of catenary rings, Am. J. Math., 93, 4, 1070-1108 (Oct. 1971) · Zbl 0225.13008
[10] Wiegand, R., The prime spectrum of a two-dimensional affine domain, J. Pure Appl. Algebra, 40, 209-214 (1986) · Zbl 0592.13002
[11] Wiegand, R.; Wiegand, S., Prime ideals in noetherian rings: a survey, (Albu, T.; Tercan, A.; Birkenmeier, G.; Erdoǧgan, A., Ring and Module Theory (2010), Springer), 175-193 · Zbl 1197.13017
[12] Wiegand, S., Intersections of prime ideals in noetherian rings, Commun. Algebra, 11, 1853-1876 (1983) · Zbl 0519.13003
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.