目录 简介 初等启发 证明过程 几何意义 定理应用 参考资料 简介 在交换代数中有如下定理 Noether正规化引理 令$R$是一个有限生成$k$-代数整环,则存在$t_1,\ldots,t_n\in R$使得$$k\subseteq_{\textrm{纯超越}} k[t_1,\ldots,t_n]\subseteq_{\textrm{整}} R$$其中纯超越指的是$t_1,\ldots,t_n$代数无关,整指的是任何$x\in R$都满足一个$k[t_1,\ldots,t_n]$上的整性方程.…