~Rewrite~

摘要： 设 𝑎 + 𝑏𝑖 ∈ ℤ[𝑖]，且 𝑎 ^ 2 + 𝑏 ^ 2 = 𝑝，𝑝 为素数，则 ℤ[𝑖]/(𝑎 + 𝑏𝑖) ≅ ℤp 分析: 这种证同构的关键是要构造同构映射 普通想法肯定是想利用模长来构造0~p-1 |-> 0~p-1 但是实际尝试会发现不能保证每个模长都有双射关系 阅读全文