在数学中,代数变种(也称变种)是代数几何学的核心研究对象之一。代数变种的第一个定义将其定义为实数或复数上的多项式方程系统的解的集合。现代代数变量的定义将这一概念进行了概括,同时他们试图保留原始定义背后的几何直观。
关于代数变种的定义的约定各不相同。有些作者要求"代数种类"根据定义是不可还原的(这意味着它不是在Zariski拓扑中封闭的两个较小集合的结合),而另一些作者则不这样做。当使用前一种惯例时,不可还原的代数变种被称为代数集。
种类的概念与歧管的概念相似。种类和歧管的一个区别是种类可以有奇点,而歧管则没有。代数基本定理大约在1800年被证明,它通过证明在一个变量中具有复系数的一元多项式(一个代数对象)由其根的集合(一个几何对象)决定,建立了代数和几何之间的联系。归纳这一结果,希尔伯特的Nullstellensatz提供了多项式环的理想和代数集之间的基本对应关系。利用Nullstellensatz和相关的结果,数学家们在代数集的问题和环论的问题之间建立了一种强烈的对应关系。这种对应关系是代数几何学在几何学其他子领域中的具体体现。

