Krull dimension
For a minimal prime ideal formula_27 in a local ring formula_42, in general, it need not be the case that formula_43, the Krull dimension of formula_42.