在交换代数中，诺特正规化引理是一个技术性的定理，以德国数学家埃米·诺特命名。其内容如下：设 formula_1 为域，formula_2 是有限生成的 formula_1-代数，且 formula_2 是整环，则存在 formula_5，使得 formula_6 在formula_1 上彼此代数独立，且 formula_2 是 formula_9 的整扩张。它的一个重要几何结论之一是：任一射影簇均可表为仿射空间的分歧覆盖。