諾特正規化引理 在交換代數中諾特正規化引理是一個技術性的定理以德國數學家埃米諾特命名其內容如下 設 k displaystyle k 為域 A displaystyle A 是有限生成的 k displaystyle k 代數且 A displaystyle A 是整環則存在 x     x d  A displaystyle xldots xdin A 使得 x     x d displaystyle xldots xd 在 k displaystyle k 上彼此代數獨立且 A displaystyle A 是 k  x     x d  displaystyle kxldots xd 的整擴張 它的一個重要幾何結論之一是任一射影簇均可表為仿射空間的分歧覆蓋