Es sei R = K [ X 0 , X 1 , … , X d ] / a {\displaystyle {}R=K[X_{0},X_{1},\ldots ,X_{d}]/{\mathfrak {a}}} mit einem homogenen Ideal a {\displaystyle {}{\mathfrak {a}}} und sei Y = Proj ( R ) ⊆ P K d {\displaystyle {}Y=\operatorname {Proj} {\left(R\right)}\subseteq {\mathbb {P} }_{K}^{d}} . Zeige i ∗ O Y = R ^ {\displaystyle {}i_{*}{\mathcal {O}}_{Y}={\widehat {R}}} auf dem P K d {\displaystyle {}{\mathbb {P} }_{K}^{d}} .
![{\displaystyle {}R=K[X_{0},X_{1},\ldots ,X_{d}]/{\mathfrak {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c47863808be8f4bdf41ccc0a1aeea494c71de42)
