0
$\begingroup$

Let $A$ be a $\mathbb{Z}_{\geq 0}$-graded ring, $f \in A$ - homogenious, and $I \subset A$ - homogenious ideal. Let $A_f$ be its localization, and $A_{(f)}$ - subring of elements of degree 0. How to show, that

$ (A/I)_{(f)} = A_{(f)}/(I A_f \cap A_{(f)})? $

It is used in Hartshorne, Algebraic geometry, section 1.3, proposition 3.4

  • 0
    Yes, you are right.2012-11-11

1 Answers 1

4

From the canonical surjection $A\to A/I$ you get a canonical surjection $A_f\to (A/I)_f$. In degree $0$ this is a surjection from $A_{(f)}$ to $(A/I)_{(f)}$. Now find its kernel.

  • 0
    Then all the problem is trivial, if you want to say so. If you know that two graded rings are (graded) isomorphic, then their degree zero parts are also isomorphic.2012-11-11