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