Main Question:

Does ZF (no axiom of choice) prove that every Principal Ideal Domain is a Unique Factorization Domain?

The proofs I've seen all use dependent choice.

Minor Questions:

Does ZF + Countable Choice prove all PIDs are UFDs?

Does ZF prove "If all PIDs are UFDs, then [some choice principle]"?

(If anyone knows how I could force line breaks to put the questions on their own lines, please tell me.)

  • $\begingroup$ Nope, it doesn't. I'm also pretty sure this is a duplicate question. $\endgroup$ Jul 12, 2010 at 6:57
  • 1
    $\begingroup$ mathoverflow.net/questions/24556/… $\endgroup$ Jul 12, 2010 at 7:00
  • $\begingroup$ Gjergji, that's a more nicely put together proof than the others I've seen, but it still uses dependant choice. $\endgroup$
    – user5810
    Jul 12, 2010 at 7:15
  • 2
    $\begingroup$ While this is very similar to the question cited, I don't see it as identical. This question amounts roughly to is "PID => UFD" equivalent in ZF to some choice principle. It's maybe more a question for logicians than algebraists. $\endgroup$ Jul 12, 2010 at 8:41
  • $\begingroup$ Re line breaks, <br /> will force a line break. $\endgroup$
    – PersonX
    Jul 12, 2010 at 14:41

1 Answer 1


ZF alone does not prove that every PID is a UFD, according to this paper: Hodges, Wilfrid. Läuchli's algebraic closure of $Q$. Math. Proc. Cambridge Philos. Soc. 79 (1976), no. 2, 289--297. MR 422022.

One result in this paper is the following:

COROLLARY 10. Neither (a) nor (b) is provable from ZF alone:
(a) Every principal ideal domain is a unique factorization domain.
(b) Every principal ideal domain has a maximal ideal.

By the way, I didn't know the answer to this question until today. To find the answer, I consulted Howard and Rubin's book Consequences of the Axiom of Choice. (Actually, I did a search for "principal ideal domain" of their book using Google Books.)


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.