Quasiaffine scheme/Affine/Superheight 1 and finitely generated section ring/Fact

From Wikiversity
Jump to navigation Jump to search

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.