查看“︁諾特正規化引理”︁的源代码

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

設 <math>k</math> 為[[体 (数学)|域]]，<math>A</math> 是有限生成的 <math>k</math>-[[交換環上的代數|代數]]，且 <math>A</math> 是[[整環]]，則存在 <math>x_1, \ldots, x_d \in A</math>，使得 <math>x_1, \ldots, x_d</math> 在<math>k</math> 上彼此代數獨立，且 <math>A</math> 是 <math>k[x_1, \ldots, x_d]</math> 的[[整性|整擴張]]。

它的一個重要幾何結論之一是：任一[[代數簇|射影簇]]均可表為仿射空間的[[分歧覆蓋]]。

==文獻==
* H. Matsumura, ''Commutative algebra''. ISBN 0-8053-7026-9

[[Category:交換代數|R]]
[[Category:引理]]