Quasiaffines Schema/Affin/Superhöhe 1 und endlich erzeugter Schnittring/en/Fakt

Aus Wikiversity

Let be a noetherian commutative ring and let be an ideal and . Then the following are equivalent.

  1. is an affine scheme.
  2. has superheight and is a finitely generated -algebra.