Task: Question Generation
Input (Chinese): Passage: 在代数几何中，一个代数群（或群簇）是一个群是一个代数簇，其簇之乘与逆由正则函数提供。以范畴论描述，一个代数群是一个于代数簇范畴 (数学)中的群对象。在数学中，域formula_1上的代数群有几种等价的描述：可以将代数群设想为李群的代数几何版本，代数群一样有切空间及李代数，却没有指数映射（某些幂零群除外）；李群可以表成formula_9-代数群的覆叠空间。代数群的典型例子包括formula_10及椭圆曲线。仿射代数群必可表为formula_10的子群，因此又称线性群。当formula_1是完美域时，Chevalley定理断言：设formula_5为formula_1-代数群，则存在短正合序列在此formula_16是线性群、formula_17是阿贝尔簇。准此，线性群与阿贝尔簇是代数群的基本构件。既非线性亦非阿贝尔簇的典型例子是带奇点的代数曲线之广义雅可比簇formula_18。
Output (Chinese): 什么是代数群？