Krull dimension
可換環論において、正則局所環（せいそくきょくしょかん、）とは、ネーター局所環 formula_1 であって、剰余体 formula_2 について formula_3 を満たすような環である。ただし左辺は のクルル次元、右辺は ベクトル空間としての次元である。右辺の数はしばしば埋め込み次元（）と呼ばれ formula_4 と書かれることもある。