Noetherian ring
定理（Serre）：一個局部諾特環 formula_1 是正則局部環的充要條件是 formula_58，此時 formula_59。