在交换代数中，诺特正规化引理是一个技术性的定理，以德国数学家埃米·诺特命名。其内容如下：
设 k {\displaystyle k} 为域， A {\displaystyle A} 是有限生成的 k {\displaystyle k} -代数，且 A {\displaystyle A} 是整环，则存在 x 1 , … , x d ∈ A {\displaystyle x_{1},\ldots ,x_{d}\in A} ，使得 x 1 , … , x d {\displaystyle x_{1},\ldots ,x_{d}} 在 k {\displaystyle k} 上彼此代数独立，且 A {\displaystyle A} 是 k [ x 1 , … , x d ] {\displaystyle k[x_{1},\ldots ,x_{d}]} 的整扩张。
它的一个重要几何结论之一是：任一射影簇均可表为仿射空间的分歧覆盖。
为域，
是有限生成的 -代数，且 是整环，则存在 
，使得 
在 上彼此代数独立，且 是 ![{\displaystyle k[x_{1},\ldots ,x_{d}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22bbab9d6ab284f70158f796800e8962ed5b0dae)
的整扩张。
