代数几何是研究多项式方程组在仿射或射影空间里的公共零点集合的几何特性的数学分支学科。换言之，它是研究代数簇的。代数几何与许多其他数学分支有着密切的联系。包络代数(enveloping algebra)是代数几何中的重要概念，是指由给定代数与其反代数构造的张量代数。