nLab
affine variety

Contents

Idea

Affine kk-variety is a locus of zeros of a set of polynomials in the affine nn-dimensional space A k n\mathbf{A}^n_k. Usually kk is taken to be a field.

Details

Given a field kk, an affine kk-variety is a maximal spectrum (= set of maximal ideals) of a finitely generated noetherian (commutative unital) kk-commutative algebra without nilpotents, equipped with the Zariski topology; the algebra can be recovered as the coordinate ring of the variety; this correspondence is an equivalence of categories, if the morphisms are properly defined.

Affine varietes can be embedded as closed subvarieties into an affine space (in the sense of algebraic geometry). As topological spaces affine varieties are noetherian.

Revised on November 21, 2013 01:00:10 by Urs Schreiber (82.169.114.243)