诺特正规化引理
在交换代数中,诺特正规化引理是一个技术性的定理,以德国数学家埃米·诺特命名.其内容如下:
设 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 {\dis