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.

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

What are stalks of (structure sheaf of) affine scheme Spec $\mathbb{Z}/(60)=\{(2),(3),(5)\}$? What are its global sections?

share|cite|improve this question
Schemes don't have stalks; sheaves have. – Georges Elencwajg Nov 16 '12 at 8:53
?? I mean the structure sheaf of the affine scheme. – Tom Nov 16 '12 at 9:08
and what have you tried? – user27126 Nov 16 '12 at 9:34
up vote 7 down vote accepted

Hint: By the Chinese Remainder Theorem, we have an isomorphism $\mathbb{Z}/60 \cong \mathbb{Z}/4 \times \mathbb{Z}/3 \times \mathbb{Z}/5$. The prime ideals are generated by $(2,1,1),(1,0,1)$ and $(1,1,0)$, so localization is easy.

I leave to you how to localize the leftmost factor (hint: since the prime ideal annihilates some the ring, the localization map should not be injective).

To find the stalk at $(2)$, that is, the local ring $(\mathbb{Z}/4 \times \mathbb{Z}/3 \times \mathbb{Z}/5)_{(2,1,1)}$, we are allowed to divide by anything of the form $(1,a,b)$ and $(3,a,b)$. This annihilates the second and third factor and leaves the first factor unchanged. So we are left with $\mathbb{Z}/4$. (the two last factors perish because we are allowed to divide by zero inside them)

share|cite|improve this answer
Thank you. In Vakil's FOAG notes (5.4.11,p131,line18), they are $Z/4,Z/3,Z/5$. It is wrong, isn't it? – Tom Nov 16 '12 at 13:30
Second question(though it is minor): The prime ideals should be generated by $(2,1,1), (1,0,1),(1,1,0)$, shouldn't they? – Tom Nov 16 '12 at 14:01
@Tom: Thanks, I was of course mistaken. I've edited my post. No, Vakil's right, see my edited answer. – Fredrik Meyer Nov 16 '12 at 14:20
+1 for a good answer and for using the word "perish." – Derek Allums Nov 16 '12 at 14:54
Thank you, I have understood! And the global sections are $\mathbb{Z}/(60)$, aren't they? – Tom Nov 17 '12 at 12:08

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.