Krull dimension
この記事を通して、formula_1 は環のクルル次元を表し、formula_2 は素イデアルのクルル次元（すなわちその素イデアルにおける局所化のクルル次元）を表す。