代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 "k" は代数的閉体であると仮定する（体 "k" が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。最も初等的に定義される代数多様体はアフィン代数多様体である。代数的閉体 "k" 上の "n" 次元のアフィン空間 formula_1 をここでは、ベクトル空間 "k" の点全体とする。"k" を係数にもつ有限個の "n" 変数多項式系 f = ("f"("x

出典:wikipedia