代数群
以下のような群と代数群のいくつかの重要なクラスがある:
有限群
GL(n, C), C 上の可逆行列全体のなす一般線型群
ジェット群(英語版)
楕円曲線
重要な代数群のクラスが2つあり,ほとんどの部分は別々に研究される.アーベル多様体(「射影的な」理論)と線型代数群(「アファインの」理論)である.もちろんどちらでもない例もあり,例えばワイエルシュトラスのゼータ関数(英語版)のような第二・第三種の積分(英語版)の現代理論や一般ヤコビ多様体(英語版)の理論において現れる.しかしシュバレーの構造定理(英語版)によると,任意の代数群はアーベル多様体の線型代数群による拡大である.これはクロード・シュバレーによる結果である.K が完全体で G が K 上の代数群であるとき,次のような G の閉正規部分群 H が一意的に存在する.H は線型群であり,G/H はアーベル多様体である.
別の基本的な定理によると,アファイン多様体の圏の任意の群は忠実な有限次元の線型表現をもつ.
それを K 上の多項式によって定義された,行列の乗法を群演算としてもつ,K 上の行列群と考えることができる.そのためアファイン代数群の概念は体上冗長である.とても具体的な定義を使うことができるのである.実数体上で考えるときこれは代数群がリー群よりも狭いクラスであることを意味することに注意する.2次特殊線型群の普遍被覆のように,リー群であるが忠実な線型表現を持たない例が存在するのである.2つの概念のより明らかな違いは,アファイン代数群 G の単位元成分は G において指数が有限でなければならないことである.
(可換)環 R 上で考えたいときには,群スキームの概念がある.つまり,R 上のスキームの圏における群対象(英語版)である.アファイン群スキームはホップ代数のタイプに双対な概念である.群スキームの極めて精密な理論があり,例えばアーベル多様体の当今の理論において用いられている.