Quasi-unmixed ring


In algebra,[] specifically in the theory of commutative rings, a quasi-unmixed ring is a Noetherian ring such that for each prime ideal p, the completion of the localization Ap is equidimensional, i.e. for each minimal prime ideal q in the completion, = the Krull dimension of Ap.

Equivalent conditions

A Noetherian integral domain is quasi-unmixed if and only if it satisfies Nagata's altitude formula.
Precisely, a quasi-unmixed ring is a ring in which the unmixed theorem, which characterizes a Cohen–Macaulay ring, holds for integral closure of an ideal; specifically, for a Noetherian ring, the following are equivalent:
A Noetherian local ring is said to be formally catenary if for every prime ideal, is quasi-unmixed. As it turns out, this notion is redundant: Ratliff has shown that a Noetherian local ring is formally catenary if and only if it is universally catenary.