諾特正規化引理

在交換代數中，諾特正規化引理是一個技術性的定理，以德國數學家埃米·諾特命名。其內容如下：

設 $k$ 為域， $A$ 是有限生成的 $k$ -代數, 則存在 $x_1, \ldots, x_d \in A$ ，使得 $x_1, \ldots, x_d$ 在 $k$ 上彼此代數獨立，且 $A$ 是 $k[x_1, \ldots, x_d]$ 的整擴張。