Quasiaffine scheme/Affine/Superheight 1 and finitely generated section ring/Fact
Let be a noetherian commutative ring and let be an ideal and . Then the following are equivalent.
- is an affine scheme.
- has superheight and is a finitely generated -algebra.