クルル次元
For regular rings, Krull dimension agrees with global homological dimension.