艾森斯坦整数上有理素数的分解——素数可表为$j^2+3k^2$的条件？

嘿，关于艾森斯坦整数和高斯整数里有理素数的分裂、惯性这块，我刚好啃过不少资料，咱们把这个点拆解明白～

首先得明确，艾森斯坦整数环是$\mathbb{Z}[\omega]$，其中$\omega = e^{2\pi i/3} = -\frac{1}{2} + \frac{\sqrt{-3}}{2}$，它是个欧几里得环，素因子分解是唯一的，这是咱们讨论的基础。这里的有理素数分为三类：

• 分歧素数：3
  3在艾森斯坦整数里会拆成$(1 - \omega)^2$，而且$(1 - \omega)$是一个素元——这就是分歧的意思：有理素数的平方对应一个艾森斯坦素元的幂次，没法拆成不同素元的乘积。
• 分裂素数：模3余1的素数$p \equiv 1 \mod 3$
  这类素数能分解成两个不同且互不相伴的艾森斯坦素元的乘积，比如$7 = (2 + \omega)(2 + \omega^2)$。本质原因是在有限域$\mathbb{F}_p$里，$-3$是二次剩余，所以多项式$x^2 + x + 1$能拆成一次因子，对应到艾森斯坦整数里就是素数分裂成两个不同素元。
• 惯性素数：模3余2的素数$p \equiv 2 \mod 3$
  这类素数在艾森斯坦整数里仍然是素元，没法再分解。因为$\mathbb{F}_p$里$-3$不是二次剩余，$x^2 + x + 1$在$\mathbb{F}_p$上不可约，所以这个素数保持“惯性”，既不分裂也不分歧。

再来看高斯整数环$\mathbb{Z}[i]$，同样是欧几里得环，素因子分解唯一，它的有理素数也分三类：

• 分歧素数：2
  2会拆成$(1+i)^2$，$(1+i)$是高斯素元，这就是分歧的情况。
• 分裂素数：模4余1的素数$p \equiv 1 \mod 4$
  这类素数能拆成两个不同且互不相伴的高斯素元，比如$5=(2+i)(2-i)$。原因是$\mathbb{F}_p$里$-1$是二次剩余，多项式$x^2 + 1$能拆成一次因子，对应素数分裂。
• 惯性素数：模4余3的素数$p \equiv 3 \mod 4$
  这类素数在高斯整数里还是素元，没法分解，因为$\mathbb{F}_p$里$-1$不是二次剩余，$x^2 + 1$不可约，所以保持惯性。

两者的素数行为差异，本质是对应的二次域不同：

• 艾森斯坦整数对应二次域$\mathbb{Q}(\sqrt{-3})$，判别式是$-3$，所以素数的分裂/惯性由$p$模3的结果决定；
• 高斯整数对应二次域$\mathbb{Q}(i)$，判别式是$-4$，所以素数的分裂/惯性由$p$模4的结果决定。

内容的提问来源于stack exchange，提问作者G Tony Jacobs