クルル次元
"A" を体 "k" 上有限生成な整域とするとき、"A" のクルル次元はその商体の "k" 上の超越次数と等しい。とくに、"A" の極大イデアル "m" をとると、体 "A" / "m" は "k" の代数拡大体である。