Krull dimension
Throughout the article, formula_1 denotes Krull dimension of a ring and formula_2 the height of a prime ideal (i.e., the Krull dimension of the localization at that prime ideal.) Rings are assumed to be commutative except in the last section on dimensions of non-commutative rings.