Is Z i a principal ideal domain?
Christopher Davis
Updated on May 23, 2026
16, we know that in a principal ideal domain R, two ideals (a) and (b) are coprime if and only if a and b are relatively prime. R/I → R/I1 × ... × R/Ik x + I → (x + I1,...,x + Ik). Z[i] is a principal ideal domain and thus inherits the unique prime factorization property.