MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

consider the following theorem, when $R$ is a commutative ring with a non-zero identity:

A ring $R$ is zero-dimensional if and only if $\mbox{Spec(R)}$ is Hausdorff.

The proof uses the Axiom of Choice. So, I am wondering if this theorem is equivalent to the Axiom of choice or not.

share|cite|improve this question
What is the motivation of this question? – Martin Brandenburg Feb 15 '13 at 13:31
Choice is often used in such situation for the sole purpose of giving the spectrum points. It can very often be avoided. What is "the proof" you are referring to? – Andrej Bauer Feb 15 '13 at 13:39
This depends on precise definitions. How do you define zero-dimensional ring? Every prime ideal is maximal? In terms of lengths of chains of prime ideals? – François G. Dorais Feb 15 '13 at 14:16
@François: By zero-dimensional I mean every prime ideal is maximal. – user30230 Feb 15 '13 at 18:42
@Martin: I am interested in algebraic equivalents of AC. So as an old habit whenever I see an application of AC I ask myself is that necessary to use AC ? In this particular problem, I don't know the answer. – user30230 Feb 15 '13 at 18:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.