Skip to main content
2 of 2
edited tags
ashpool
  • 2.9k
  • 2
  • 28
  • 41

Restriction of Proj S to D(f) is isomorphic to Spec S_{(f)}

$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between $D(f)$ and Spec $S_{(f)}$. Here $S_{(f)}$ is the zero-degree part of $S_{f}$ obtained from $S$ by inverting f. I see the bijection from $D(f)$ to the homogeneous primes in $S_{f}$, but is there 1-1 correspondence between primes in $S_{(f)}$ and homogeneous primes in $S_{f}$?

ashpool
  • 2.9k
  • 2
  • 28
  • 41