Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I'm trying to solve an exercise.

I should prove that if $R$ is a notherian ring and $\operatorname{Spec}(R)$ is discrete then $R$ is artinian.

I think it is enough to show that $\dim R=0$ since I can use that $R$ is artinian if and only if $R$ is noetherian and $\dim R=0$. Can you help me?

Thank you!

share|cite|improve this question

You're on a good track, but try to think more about the discreteness. You want to say that there are no chains of prime ideals of length $1$; suppose that you had such a chain, say $\mathfrak p \subsetneqq \mathfrak q$. If $\operatorname{Spec}$ is discrete, then $\{\mathfrak p\}$ is a closed set. Is this possible? Recall what the closed subsets of $\operatorname{Spec}$ are defined to be in the Zariski topology.

share|cite|improve this answer

See Theorem 293 in $\S 13.3$ of these notes: among other things, it shows that the space $\operatorname{Spec} R$ is Hausdorff iff it is separated ("$T_1$") iff $R$ has dimension zero. Discrete spaces are Hausdorff, so there you go.

Note also that once you show that $R$ is Artinian, you will be able to conclude that $\operatorname{Spec} R$ is not only discrete but finite.

share|cite|improve this answer
those are very nice notes. Next time you upload an updated version of it to your site, could you please also include (in the PDF) the date when the document was last processed, so I know which version I have. – Leon Oct 18 '11 at 16:38


Suppose $\mathfrak{P}$ is prime, show that $\mathfrak{P}$ is maximal (Hint: $\mathfrak{P}$ is closed due to the topology on $\operatorname{Spec}(R)$).

What does that say about $\operatorname{Dim}(R)$?

share|cite|improve this answer

Your Answer


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

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