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