Krull dimension
This definition shows that the dimension is a "local property if formula_6is irreducible." If formula_6is irreducible, it turns out that all the local rings at closed points have the same Krull dimension (see ).