关于域上多项式环Krull维数证明中多项式替换与环同构的疑问

嘿，我来帮你拆解这个证明里的两个核心疑问，一步步理清楚：

一、为什么能假设f是关于xₙ的首一多项式？ #

首先回忆：K[x₁,...,xₙ]是唯一分解整环（UFD），所以高度为1的素理想都是主理想，也就是P₁=(f)，其中f是K[x₁,...,xₙ]里的非零多项式。

这里用到的是类似Noether标准化引理的技巧：我们选足够大的自然数a₁,a₂,...,aₙ₋₁（比如让每个a_i都大于f中x_i的最高次数），然后做变量替换：
$$y_1=x_1-x_n^{{a_1}, y_2=x_2-x_n}{a_2},\ ...,\ y_{n-1}=x_{n-1}-x_n^{a_{n-1}},\ y_n=x_n$$

把f用y变量代入后，得到$f(y_1+y_n^{{a_1},...,y_{n-1}+y_n}{a_{n-1}},y_n)$。为什么这个多项式关于yₙ是首一的？

咱们看f里的任意一项$x_1^{k_1}x_2{k_2}...x_n^{{k_n}$，替换后变成$(y_1+y_n}{a_1})^{{k_1}...(y_{n-1}+y_n}{a_{n-1}})^{k_{n-1}}y_n{k_n}$，它展开后关于yₙ的最高次项是$y_n^{k_1a_1 + k_2a_2 + ... + k_{n-1}a_{n-1} + k_n}$。

因为我们选的a_i足够大，不同的项对应的这个加权指数是唯一的（相当于字典序的加权版本，不会有两个不同的项得到相同的最高次指数），所以整个多项式中yₙ的最高次项只有一个，系数是f中对应项的系数（属于K的非零元）。由于K是域，我们可以把这个多项式乘以系数的逆元变成首一多项式——不过更关键的是，接下来的环同构会帮我们把这个替换后的环和原多项式环等同起来，所以我们完全可以在新环里讨论首一的情况。

二、为什么K[y₁,...,yₙ]是多项式环？（即替换映射是同构） #

你想证明的那个映射确实是环同构，咱们直接构造它的逆映射就能搞定：

定义两个映射：

1. 从原多项式环到新环的映射$\varphi: K[x_1,...,x_n] \to K[y_1,...,y_n]$：
   • $\varphi(x_i) = y_i + y_n^{a_i}$（$i=1,...,n-1$）
   • $\varphi(x_n) = y_n$
2. 从新环到原多项式环的映射$\psi: K[y_1,...,y_n] \to K[x_1,...,x_n]$：
   • $\psi(y_i) = x_i - x_n^{a_i}$（$i=1,...,n-1$）
   • $\psi(y_n) = x_n$

现在验证它们是互逆的：

• 先看$\psi \circ \varphi$：对任意$x_i$（$i=1,...,n-1$），$\psi(\varphi(x_i)) = \psi(y_i + y_n^{a_i}) = (x_i - x_n^{a_i}) + x_n^{a_i} = x_i$；$\psi(\varphi(x_n)) = \psi(y_n) = x_n$。所以$\psi \circ \varphi$是恒等映射。
• 再看$\varphi \circ \psi$：对任意$y_i$（$i=1,...,n-1$），$\varphi(\psi(y_i)) = \varphi(x_i - x_n^{a_i}) = \varphi(x_i) - \varphi(x_n)^{a_i} = (y_i + y_n^{a_i}) - y_n^{a_i} = y_i$；$\varphi(\psi(y_n)) = \varphi(x_n) = y_n$。所以$\varphi \circ \psi$也是恒等映射。

既然$\varphi$有逆映射$\psi$，那它必然是双射，同时它是环同态（因为多项式环的同态由变量的像唯一确定，且保持加法和乘法），所以$\varphi$是环同构。这就意味着$K[x_1,...,x_n]$和$K[y_1,...,y_n]$是完全一样的环（代数结构上），只是变量名字换了，所以我们可以放心地用新变量来讨论问题。

补充：关于你纠结的“单射” #

既然我们找到了逆映射$\psi$，那单射就直接成立了：如果$\varphi(f) = \varphi(g)$，那么$f = \psi(\varphi(f)) = \psi(\varphi(g)) = g$，所以$\varphi$不可能把两个不同的多项式映射到同一个元素，单射性得证。

备注：内容来源于stack exchange，提问作者Blade 0427kp