代数簇（英语：algebraic variety），设k是一个代数闭域，则有限或无限个代数方程：
- f λ( x 1,…, x n)＝ 0
在 kn中的解的全体，称为一个 仿射代数簇。而有限或无限个齐次代数方程 g μ( x 0, x 1,…, x n)＝0 在 k 上射影空间中的解的全体称为一个射影代数簇。不能分解为两个真正的更小的仿射或射影代数簇的并集的代数簇，称为不可约代数簇。在有的文献中，称不可约代数簇为代数簇，而把代数簇称之为代数集。在A.格罗森迪克的概型理论中，上述的代数簇概念被推广了。
参见
