诺特正规化引理在交换代数中,诺特正规化引理是一个技术性的定理,以德国数学家埃米·诺特命名。其内容如下: 设 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}]} 的整扩张。 它的一个重要几何结论之一是:任一射影簇均可表为仿射空间的分歧覆盖。 文献 H. Matsumura, Commutative algebra. ISBN 0-8053-7026-9