代数群 Algebraic group
(重定向自Group variety)
在代数几何中,一个代数群(或群簇)是一个群是一个代数簇,其簇之乘与逆由正则函数提供。以范畴论描述,一个代数群是一个于代数簇范畴 (数学)中的群对象。
在数学中,域上的代数群有几种等价的描述:
可以将代数群设想为李群的代数几何版本,代数群一样有切空间及李代数,却没有指数映射(某些幂零群除外);李群可以表成-代数群的覆叠空间。
代数群的典型例子包括及椭圆曲线。仿射代数群必可表为
的子群,因此又称线性群。当
是完美域时,Chevalley定理断言:设
为
-代数群,则存在短正合串行
在此是线性群、
是阿贝尔簇。准此,线性群与阿贝尔簇是代数群的基本构件。既非线性亦非阿贝尔簇的典型例子是带奇点的代数曲线之广义雅可比簇
。