## Noetherian rings of infinite Krull dimension?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Since Noetherian rings satisfy the ascending chain condition, every such ring must contain infinitely many chains of prime ideals s.t. the heights of these chains are unbounded.

The only example I know of is the one due to Nagata [1962]: we take a polynomial ring in infinitely many variables over a field, and consider the infinite collection of prime ideals formed by disjoint subsets of the variables. Then we localise the ring by the complement of the union of these prime ideals. With a little work, we can show that by appropriate choice of the subsets, the localised ring will be Noetherian and of infinite Krull dimension. Eisenbud (ex. 9.6) provides a good walkthrough.

The question is: what are other examples of Noetherian rings of infinite Krull dimension?

-
The fact that Nagata had to come up with a fairly involved construction means that they probably don't come up in practice, so would you like us to look up other artificial examples? – Harry Gindi Apr 12 2010 at 5:05
Such Noetherian rings are pathological by nature, so artificial examples are probably the way to go... working first from geometry, then to the related algebraic treatment? – moby Apr 12 2010 at 5:23

4
The question could be improved by giving it more focus: one could presumably modify Nagata's construction in various small ways -- e.g. by starting with $\mathbb{Z}$ instead of a field -- but you are probably not interested in such examples. So, what kind of features are you looking for in other examples? E.g. "Does there exist a Noetherian ring of infinite Krull dimension such that...X?" By filling in X, you ask a binary question, which all of a sudden mathematicians are interested in answering. Just asking "What's out there?" doesn't have the same appeal. – Pete L. Clark Apr 12 2010 at 7:20

1
The entire point of coming up with pathological examples is to show that certain conditions are necessary. Presumably the only motivation to come up with more pathological examples to illustrate necessity of a specific condition is if they are simpler to construct, or if you've come up with some sort of "construction scheme" that gives you a whole class of pathological examples. – Harry Gindi Apr 12 2010 at 9:14

4
@Harry: Oftentimes one wants to prove a result for all noetherian rings and the infinite dimensional case is a sticking point. For example Lemma 3.1.5 in Brian Conrad's notes on Grothendieck duality has a very nice (and fairly involved) proof due to Gabber. The lemma is almost trivial when the ring has finite Krull dimension. So having examples at hand could be very helpful. – Jesse Burke Apr 12 2010 at 23:33

## 2 Answers

As you did not ask your ring to be commutative, you can probably take differential operators on your Nagata's example. You may want to look at the 1982 paper by Goodearl and Warfield where they construct a commutative ring and its differential operator ring, both of which have infinite Krull dimensions.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

If you check the book "Krull Dimension" Memoirs of the American Mathematical Society 133 1973, you will find examples of commutative Noetherian integral domains of arbitrary infinite ordinal Krull dimension

-

1
The complete reference: R. Gordon and J. C. Robson, Krull dimension, Memoirs Amer. Math. Soc, No. 133 (1973). – Yves Cornulier Jan 12 at 20:17
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9234371185302734, "perplexity_flag": "head"}