Offenes Unterschema/Affin und Erweiterungsideal/Endlich erzeugt/Fakt/en

Let be a noetherian ring and an open subset.

Then the following hold.

  1. is an affine scheme if and only if .
  2. If this holds, and with and , then . In particular, the ring of global sections over is finitely generated over .