Krull dimension
可換環論において、正則環 (regular ring) は可換ネーター環であって任意の素イデアルにおける局所化が正則局所環であるようなものである。つまり、すべてのそのような局所化は、その極大イデアルの生成元の最小個数がクルル次元と等しいという性質をもつ。