ネーター環
In a Noetherian ring, every prime ideal has finite height. Nonetheless, Nagata gave an example of a Noetherian ring of infinite Krull dimension. A ring is called catenary if any inclusion formula_11 of prime ideals can be extended to a maximal chain of prime ideals between formula_4 and formula_13, and any two maximal chains between formula_4