5
$\begingroup$

It is well known that the axiom of choice can be used to prove Krull's theorem which states that every ring has a maximal ideal. However, i heard once that Krull's theorem is equivalent to the AC (or to Zorn's lemma). Is that true? So, we suggest each ring (perhaps, each commutative ring) has a maximal ideal and now we need to build some ring to prove the AC (Zorn's lemma, Zermelo theorem etc). Could anybody explain how to do that?

$\endgroup$
  • $\begingroup$ Have you tried searching the site before asking? $\endgroup$ – Asaf Karagila Apr 24 '13 at 8:39
  • $\begingroup$ mathoverflow.net/questions/27163/… (Also a google search for "axiom of choice"+krull returns that link in the third place, and the paper by Hodges from that answer as the second result). $\endgroup$ – Asaf Karagila Apr 24 '13 at 8:44
  • $\begingroup$ Yes, i have, but a bit sluggishly. Thank you! $\endgroup$ – Nikita Apr 24 '13 at 10:01
  • $\begingroup$ Nikita, welcome to MathOverflow. Asaf, since the question to which you link to is not the same as this question, why not just answer this question with a link to Hodge's paper? Indeed, I was say that that answer over there is more an answer to this question here than that one (although of course they are closely related). $\endgroup$ – Joel David Hamkins Apr 24 '13 at 12:20
  • $\begingroup$ To be honest, after i had asked my question, i found the Hodge's paper at the Journal of London mathematical society, but couldn't subscribe for the Journal (there was something like 'such page doesn't exists'). Also i hope it's not necessary to pay for it. If it's not a problem, can anybody give the link to the Hodge's paper or send it me to the email? $\endgroup$ – Nikita Apr 24 '13 at 12:53
5
$\begingroup$

Originally the proof was given by Hodges, from 1979 [1].

Banaschewski gave a new proof of the theorem in 1994 [2].


Bibliography:

  1. Hodges, W., Krull implies Zorn. Journal of the London Mathematical Society 2 (1979), 285-287.

  2. Banaschewski, B., A New Proof that “Krull implies Zorn”. Mathematical Logic Quarterly 40 (1994), 478-480.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.