已知满足f(x³)=[f(x)]³等条件的映射f，证明其为环同态

你已经走对路啦！你的推导到3f(x²)=3[f(x)]²这一步完全没问题，接下来正好可以用域特征不为3的条件来推进，完整的论证思路如下：

第一步：从3f(x²)=3[f(x)]²推出f(x²)=[f(x)]² #

回忆域特征的定义：域$K'$的特征不为3，意味着3不是$K'$的零元，换句话说，在$K'$里$3 \neq 0$。而域中的非零元都是可逆的，因此存在元素$3^{-1} \in K'$，使得$3 \times 3^{-1} = 1$。

对等式3f(x²)=3[f(x)]²两边同时乘以$3^{-1}$：

3⁻¹ × 3f(x²) = 3⁻¹ × 3[f(x)]²

左边化简后为$f(x²)$，右边化简后为$[f(x)]²$，由此直接得到：
f(x²) = [f(x)]²

第二步：证明乘法同态性f(xy)=f(x)f(y) #

有了平方的映射性质后，我们可以通过展开$(x+y)^2$来推导乘法的同态性，结合特征不为2的条件：

1. 利用加法同态展开$f((x+y)^2)$：
   f((x+y)²) = f(x² + 2xy + y²) = f(x²) + 2f(xy) + f(y²)
2. 根据平方的映射性质，$f((x+y)^2) = [f(x+y)]²$，再结合加法同态$f(x+y)=f(x)+f(y)$，展开右边：
   [f(x)+f(y)]² = [f(x)]² + 2f(x)f(y) + [f(y)]²
3. 联立两个式子，由于$f(x²)=[f(x)]²$且$f(y²)=[f(y)]²$，两边对应项抵消后得到：
   2f(xy) = 2f(x)f(y)
4. 域$K'$的特征不为2，说明$2 \neq 0$，2在$K'$中可逆，两边同时乘以$2^{-1}$，即可得到：
   f(xy) = f(x)f(y)

第三步：验证环同态的全部条件 #

现在我们已经满足了环同态的所有要求：

• 加法同态：$f(x+y)=f(x)+f(y)$（题目给定）
• 乘法同态：$f(xy)=f(x)f(y)$（第二步证明）
• 单位元映射：$f(1)=1$（题目给定）

因此，映射$f:K \to K'$是环同态。

内容的提问来源于stack exchange，提问作者Student