We define the Krull dimension of formula_2 to be the supremum of the lengths of all chains of prime ideals in formula_2.
Размерность Крулля кольца formula_2 — это максимум длины по множеству всех цепочек простых идеалов formula_2.