Krull dimension
唯一の極大イデアル "m" を持つ局所環 "R" が正則であるとは、"R" のクルル次元が余接空間 "m" / "m"2 の（体 "R"/"m" 上のベクトル空間としての）次元と一致するときに言う。