Z[√−1]/(p) ≃ Fp[X]/(X2 + 1) | 数学雑感