$\mathbb Z[\sqrt[3]2]$与$\mathbb C$是否同构？相关推导存疑求解

首先直接给结论：$\mathbb Z[\sqrt[3]2] \cong \mathbb C$绝对不成立，你的推导里有一个关键错误，我们一步步拆解：

1. 第一同构定理的正确应用 #

你提到的代入同态$\phi: \mathbb Z[x] \to \mathbb C$（定义为$\phi(x)=\sqrt[3]2$），它的核确实是主理想$(x^{3-2)$——这部分是对的，因为$x}3-2$在$\mathbb Z[x]$中不可约（用艾森斯坦判别法，取素数2即可验证），且任何被$\phi$映射到0的多项式都能被$x^3-2$整除。

但第一同构定理的结论是：
$$\mathbb Z[x]/\ker\phi \cong \text{Im}\phi$$
这里的$\text{Im}\phi$（同态的像）不是整个$\mathbb C$，而是$\mathbb Z[\sqrt[3]2]$本身！也就是说，这个同构只是告诉你$\mathbb Z[x]/(x^3-2) \cong \mathbb Z[\sqrt[3]2]$，这部分是对的，但你错误地把像替换成了$\mathbb C$，这是核心错误。

2. 为什么$\mathbb Z[\sqrt[3]2]$和$\mathbb C$不可能同构？ #

从几个简单的角度就能看出来：

• 基数差异：$\mathbb Z[\sqrt[3]2]$中的元素都是$a+b\sqrt[3]2+c(\sqrt[3]2)^2$（$a,b,c\in\mathbb Z$）。整数集$\mathbb Z$是可数的，三个可数集的笛卡尔积$\mathbb Z\times\mathbb Z\times\mathbb Z$也是可数的，所以$\mathbb Z[\sqrt[3]2]$是可数集；而$\mathbb C$和实数集$\mathbb R$等势，是不可数集。可数集和不可数集不可能存在双射，自然不可能同构。
• 代数结构差异：$\mathbb Z[\sqrt[3]2]$是一个整环，但不是域——比如元素2在其中没有乘法逆元（假设存在$a+b\sqrt[3]2+c(\sqrt[3]2)^{2$使得$2(a+b\sqrt[3]2+c(\sqrt[3]2)}2)=1$，展开后会得到矛盾的整数方程）；而$\mathbb C$是代数闭域，每个非零元素都有逆元，且每个多项式都能在其中分解为一次因式。这两种结构的代数性质完全不同，不可能同构。

总结一下：你的推导错误在于误将同态的像当成了整个$\mathbb C$，实际上代入同态只能映射到$\mathbb C$的一个可数子环$\mathbb Z[\sqrt[3]2]$，而不是全部。

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