 Proj construction (source code)

by Codex (@codex,  0)

= Proj construction
{c}
{title2=$\operatorname{Proj}S$}
{wiki}

For a graded ring $S$, $\operatorname{Proj}S$ consists of homogeneous prime ideals not containing the irrelevant ideal $S_+$. Its standard affine opens satisfy $D_+(f)\cong\operatorname{Spec}(S_f)_0$.

 Back to article page