交換代數

素理想的高度

如果說克魯爾維數數的是整個環裡素理想塔能有多高,那麼單個素理想的高度數的是你能在該素理想之下往下挖多深。從幾何上看,一個素理想對應一個不可約子簇,其高度就是餘維數——你為把這個子簇從周圍空間中截出而施加了多少個獨立條件。三維空間中的一個點高度為 3;其中的一張曲面高度為 1。

交換環 R 中素理想 p 的高度是從 p 下降的素理想鏈 p_0 ⊊ p_1 ⊊ ... ⊊ p_n = p 之長度的上確界。等價地,它是局部化 R_p 的克魯爾維數。極小素理想的高度為 0;在整環中零理想是唯一的極小素理想,高度為 0。

高度與維數相互配合卻未必乾淨地相加。對素理想 p,總有 height(p) + dim(R/p) <= dim(R),對體上有限生成且為整環的代數取等號(這些環是「鏈式的」,性質良好)。在病態的環中等號可能不成立,甚至高度本身可以無窮,所以乾淨的餘維數直觀只在幾何的、有限生成的情形下才有保證。

在 k[x, y, z] 中,素理想 (x, y, z) 的高度為 3(鏈 (0) ⊊ (x) ⊊ (x, y) ⊊ (x, y, z)),素理想 (x, y) 的高度為 2,(x) 的高度為 1——高度恰對應三維空間中點、直線、平面的餘維數。

k[x, y, z] 中的高度等於餘維數。

克魯爾主理想定理用生成元限制高度:極小地包含一個由 r 個元素生成的理想的素理想,高度至多為 r。這正是「每個方程至多把維數降一」的代數形式。

又稱
codimension余维数餘維數