代數群

在代數幾何中，一個代數群（或群簇）是一個擁有群結構的代數簇，其簇之乘與逆由正則函數提供。以範疇論描述，一個代數群是一個於代數簇範疇 (數學)中的群對象。

在數學中，域$k$上的代數群有幾種等價的描述：

• 光滑$k$-代數簇範疇中的群對象。
• $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(k)$上的分離、有限型群概形。
• 一個$k$-代數簇$G$配上$e:\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(k)\to G$（單位元）、$m:G\times G\to G$（群的二元運算）及$i:G\to G$（逆），使之滿足群論所要求的公理。

可以將代數群設想為李群的代數幾何版本，代數群一樣有切空間及李代數，卻沒有指數映射（某些冪零群除外）；李群可以表成$\mathrm{R}$-代數群的覆疊空間。

代數群的典型例子包括$\mathrm{G}\mathrm{L}(n)$及橢圓曲線。仿射代數群必可表為$\mathrm{G}\mathrm{L}(n)$的子群，因此又稱線性群。當$k$是完美域時，Chevalley定理斷言：設$G$為$k$-代數群，則存在短正合序列

$1\to B\to G\to A\to 1$

在此$B$是線性群、$A$是阿貝爾簇。準此，線性群與阿貝爾簇是代數群的基本構件。既非線性亦非阿貝爾簇的典型例子是帶奇點的代數曲線之廣義雅可比簇${\mathrm{P}\mathrm{i}\mathrm{c}}_{X/k}^0$。

參見

• 代數簇

文獻

• Briand Conrad, A Modern Proof of Chevalley's Theorem on Algebraic Groups.
• Humphreys, J.E., Linear algebraic groups, Graduate Texts in Mathematics, No. 21. Springer-Verlag.
• Milne, J. S., Algebraic and Arithmetic Groups.Template:Wayback
• Mumford, D., Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5.
• Springer, T.A., Linear algebraic groups, 2nd. ed., Progress in Mathematics 9. Boston: Birkhäuser.
• Waterhouse, W.C., Introduction to Affine Group Schemes, Graduate Texts in Mathematics, No. 66. Springer-Verlag.
• Andre Weil, Variétés abéliennes et courbes algébriques. Paris: Hermann & Cie.