Maximal ideals in a PID

Mar 17, 2025 2:26 PM

Suppose R is a PID (principal ideal domain). Prove that an ideal IR is maximal if and only if I=p for a prime pR. (By definition, an element p is prime if whenever pab then pa or pb. If you use the fact that prime implies irreducible, you have to prove it.)