Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question

3 Answers 3

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|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|improve this answer
1  
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

Hint

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|improve this answer

Your Answer

 
discard

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.