線型代数群

数学において、**線型代数群**（せんけいだいすうぐん、）とは、  次正則行列の全体が（行列の積に関して）成す群（すなわち一般線型群）の部分群であって、それが多項式系によって定義されるものを総称して言う。例えば  という関係式で定義される直交群は線型代数群である。（ここで  は行列  の転置。）

多くのリー群は実数体あるいは複素数体上の線型代数群としてみることができる。（例えば、すべてのコンパクトリー群や単純リー群  といった多くの非コンパクト群は  上の線型代数群と見做せる。）単純リー群はヴィルヘルム・キリングとエリー・カルタンによって1880年代から1890年代にかけて分類された。当時は群構造が多項式で定義されている&mdash;&mdash;代数群である&mdash;&mdash;という事実が特別に利用されることはなかった。、シュヴァレー、 などが代数群の理論の創始者である。1950年代にアルマン・ボレルは今日存在する代数群の理論の多くを築いた。

の定義は初期におけるこの理論の用途のひとつであった。

## 例
正の整数  に対して、  次正則行列から成る体  上の一般線型群  は  上の線型代数群である。これは
:\left [ \begin{array}{cccc} 1 & * & \dots & * \\ 0 & 1 & \ddots & \vdots \\ \vdots & \ddots & \ddots & * \\ 0 & \dots & 0 & 1\end{array} \right ]  や \left [ \begin{array}{cccc} * & * & \dots & * \\ 0 & * & \ddots & \vdots \\ \vdots & \ddots & \ddots & * \\ 0 & \dots & 0 & *\end{array} \right ] 
という形の行列から成る部分群
:\mathbf U_n \subset \mathbf B_n \subset \mathbf{GL}_n
を含む。群  は**乗法群**  と呼ばれる。すなわち、群  は体  のゼロでない元が乗法に関して成す群  である。**加法群**  &mdash;&mdash;（加法に関して）&mdash;&mdash;も行列群として表すことができる：例えば  の
:\begin{bmatrix}
 1 & * \\
 0 & 1
\end{bmatrix}
という形の行列から成る部分群  として。

乗法群と加法群という、この二つの基本的な可換線型代数群は（代数群としての）線型表現に関して非常に異なった振る舞いをする。乗法群  のすべての表現は既約表現の直和である。（それらの既約表現はすべて1次元で、ある整数  によって  という形で表される。）対照的に、加法群  の唯一の既約表現は自明表現である。したがって、すべての  の表現は自明表現による拡大の反復であり、（表現が自明なときを除いて）それらの直和ではない。線型代数群の構造定理は線型代数群をこれら二つの基本的な群と（後述する）その一般化であるトーラスとべき単群の観点から分析する。

## 定義
代数的閉体  に関して、 上の代数多様体  に関する構造の多くはその  有理点の集合  にエンコードされていて、それにより線型代数群を初等的に定義することができる。まず、抽象群  から  への関数が**正則**  であるとは、それが  次正方行列  の成分と  の多項式としてかけることをいう。ここで  は行列式である。すると、 が体  上の**線型代数群**  とは、ある自然数  に関する抽象群  の部分群  である。ここで  は適当な正則関数のなす集合の零点として定義される。

任意の体  に関して、 上の代数多様体は  上のスキームの特別な場合として定義される。スキームの言葉では、体  上の**線型代数群**  とは、ある自然数  に関する体  上の  のな閉部分群スキームである。特に  は  上の適当な正則関数のなす集合の零点として定義され、これらの関数は「任意の可換  多元環  に対して  は抽象群  の部分群である」と言う性質を満たさなくてはならない。（したがって、 上の代数群  は単に抽象群  ではなくて、むしろ可換  多元環  に対する群  の族全体である——これが関手的観点からスキームを記述する哲学である。）

どちらの言葉を用いるにせよ、線型代数群に関する**[[準同型]]**  の概念がある。例えば、 が代数的閉体のときは、 から  への準同型は抽象群に関する準同型  であって、 上の正則関数で定義されるものである。これにより  上の線型代数群は圏をなす。特に、これにより線型代数群の同型とは何を意味するのかが定まる。

スキームの言葉を用いると、体  上の線型代数群  は特に  上の***'  である。つまり、 上のスキームであって  有理点  と  上の射
:<math> m \colon G \times_k G \to G, \; i \colon G \to G </math>
を持ち、群の積と逆に関する通常の（結合律・単位元・逆元に関する）公理を満たす。さらに線型代数群は滑らかで  上有限型であり、[[アフィン・スキーム]]である。逆に、どんな体  上の有限型アフィン群スキームもある自然数  に関して  上  への[[忠実表現]]を持つ。例としては上述の加法群  の  への埋め込みがある。その結果、線型代数群を行列群、あるいはより抽象的に体上の滑らかなアフィン群スキームと思うことができる。（「線型代数群」という用語を体上の有限型アフィン群スキームの意味で使う著者もいる。）

線型代数群を十分に理解するためには、より一般の（滑らかでない）群スキームを考える必要がある。例えば、 を[[標数]]  の代数的閉体とする。このとき  で定義される準同型  は抽象群としての同型  を誘導するが、 は代数群としての同型ではない（なぜなら  は正則関数ではないから）。群スキームの言葉を用いると、 が同型でないより明快な理由がある： は全射であるが、非自明な[[核 (代数学)|核]] （1の  乗根からなる群スキーム）を持つ。このような問題は標数ゼロのときには生じなかった。実際、標数ゼロの体  上の有限型群スキームは  上滑らかである。体  上の有限型群スキームが  上滑らかである必要十分条件はそれが'''絶対被約''' 、つまり <math>\bar k</math> を  の[[代数的閉包]]としたとき  <math>G_{\bar k}</math> がであることである。

アフィン・スキーム  はその正則関数のなす環 <math>\mathcal O(X)</math> により決定されるので、体  上のアフィン群スキーム  もその環 <math>\mathcal O(G)</math> と（ の積と逆に由来する）[[ホップ代数]]構造により決定される。これは  上のアフィン群スキームの圏と  上の可換ホップ代数の圏の間の（矢印を反対にする）[[圏同値]]を与える。例えば、乗法群  に対応するホップ代数は[[ローラン多項式]]環  であり、余積は  で与えられる。

===基本的な概念===
体  上の線型代数群  に対して、単位成分  <math>G^\circ</math> （点  を含む[[連結成分]]）は[[部分群の指数|指数]]有限な[[正規部分群]]である。よって[[群の拡大]]
:<math>1 \to G^\circ \to G \to F \to 1</math>
がある。ここで  は有限代数群である。（[[代数的閉体]]  に対して、 は抽象有限群と同一視できる。）このため、代数群の研究の多くは連結群に焦点を合わせている。

[[群論|抽象群論]]における様々な概念は線型代数群へ拡張できる。線型代数群が[[アーベル群|可換]]・・[[可解群|可解]]であるとは何を意味するかを定義するのは、抽象群論における定義の類似から、単純である。例えば、線型代数群が'''可解'''  であるとは、線型代数部分群からなる[[組成列]]であって、その商群が可換となるものを持つことである。同様に、線型代数群  の閉部分群  に対し、その[[正規化群]]・[[群の中心|中心]]・[[中心化群]]は自然に  の閉部分群スキームと見做せる。もしそれらが  上滑らかならば、上で定義した線型代数群である。

体  上の連結線型代数群  が持つ性質は抽象群  によってどの程度決定されるのかを問うことができる。この方面における有益な結果として、もし体  が[[完全体|完全]]（例えば標数  ）、あるいは  が簡約（[[#半単純群と簡約群|後述]]）ならば、 は  上[[有理多様体|単有理的]]  であるというものがある。加えて  が無限体ならば群  は  において  である。例えば、上述の仮定の下で、 が可換・べき零・可解である必要十分条件は  が対応する性質を持つことである。

連結性の仮定をこれらの結果から除くことはできない。例えば  を有理数  上の  の立方根の成す群  とする。すると  は  なる  上の線型代数群で  においてザリスキー稠密でない。なぜなら <math>G(\bar{\mathbf Q})</math> は位数  の群であるから。

代数的閉体上では、代数群に関して[[代数多様体]]としてより強い結果がある：代数的閉体上のすべての連結線型代数群は[[有理多様体]]である。

==リー代数と代数群==
代数群  の[[リー代数]] <math>\mathfrak g</math> はいくつかの等価な方法で定義される：単位元  における[[ザリスキー接空間|接空間]]  として、あるいは左不変のなす空間として。 が代数的閉体のとき、 の座標環の  上の導分 <math>D \colon \mathcal O(G) \to \mathcal O(G)</math> が'''左不変'''  であるとは
:<math>D \lambda_x = \lambda_x D</math>
がすべての  に対して成り立つことをいう。ここで <math>\lambda_x \colon \mathcal O(G) \to \mathcal O(G)</math> は  の左からの乗法により誘導される。任意の体  に関して、導分の左不変性も類似の線形写像 <math>\mathcal O(G) \to \mathcal O(G) \otimes \mathcal O(G)</math> の等式によって定義される。導分の括弧積は  によって定義される。

よって  から <math>\mathfrak g</math> への移行は a process of differentiation である。元  に対して、[[共役]]写像 ,  の  での導分は <math>\mathfrak g</math> の[[自己同型]]であり、[[随伴表現]]
:<math> \operatorname{Ad} \colon G \to \operatorname{Aut}(\mathfrak g) </math>
を与える。

標数ゼロの体上において、線型代数群  の連結部分群  はリー代数 <math>\mathfrak h \subset \mathfrak g</math> により一意的に定まる。しかし <math>\mathfrak g</math> のリー部分代数すべてが  の代数部分群と対応するわけではない。（ 上のトーラス  がそのような例である。）正標数の場合には、同じリー代数を定める  の連結部分群はいくつも存在し得る。（重ねてトーラス  がそのような例である。）このような理由で、代数群のリー代数は重要ではあるものの、代数群の構造論にはより大域的な道具立てが必要とされる。

==半単純元とべき単元==

代数的閉体  に関して、行列  は[[対角化可能]]であるとき'''半単純'''  と呼ばれ、 が[[べき零行列|べき零]]であるとき'''[[べき単行列|べき単]]'''  と呼ばれる。言い換えると、  がべき単であるのは  のすべての[[固有値]]が  と等しいことである。正則行列の乗法的[[ジョルダン分解]]はすべての行列  が積  として一意的に書けると述べている。ここで  は半単純、  はべき単であり、 と  は互いに可換である。

任意の体  に関して、元  は  の代数的閉包上で対角化可能であるとき半単純という。体  が完全であるとき、元  の半単純成分とべき単成分もまた  に属する。最後に、体  上の任意の線型代数群  に対して、  の  値点は  内の半単純元あるいはべき単元であるとき、半単純あるいはべき単と定める。（これらの性質は  の忠実表現の取り方に依存しない。）体  が完全であるとき、 値点の半単純成分とべき単成分もまた  に属する。すなわち、すべての元  は  において積  として一意的に書ける（'''ジョルダン分解''' ）。ここで  は半単純、  はべき単であり、 と  は互いに可換である。これによって  の[[共役類]]を記述する問題は半単純な場合とべき単の場合に還元される。

==トーラス==

代数的閉体  上の'''トーラス'''  とは  と同型な群を指す。ここで  はある自然数であり、  は  上の乗法群  の  個のコピーの[[群の直積|直積]]である。線型代数群  に対して、  の'''[[極大トーラス]]'''  とは  に含まれるトーラスであって、より大きなトーラスに含まれていないものを指す。例えば、 上の  に含まれる対角行列群は  の極大トーラスで  と同型である。理論における基本的な結果は、代数的閉体  上において  のどんな極大トーラスも適当な  の元によって互いに[[共役]]であるというものである。 の'''階数'''  は極大トーラスの次元を指す。

任意の体  に関して、  上の'''トーラス'''   とは  上の線型代数群であって、 の代数的閉包への底変換  <math>T_{\bar k}</math> がある自然数  に対して <math>\bar k</math> 上  と同型であることを指す。 上'''分裂トーラス'''  とは  はある自然数に対して  上  と同型な群を指す。実数  上分裂しないトーラスの例としては
:<math> \mathbf T = \{\, (x, y) \in \mathbf A^2_{\mathbf R} \mid x^2 + y^2 = 1 \,\} </math>
がある。ただし、群構造は複素数  の積によって与える。ここで  は  上  次元のトーラスである。 は[[円周群]]であり、抽象群としてすら  と同型でないので、これは分裂しない。

体  上のトーラスの任意の元は半単純である。逆に、もし  が連結線型代数群で <math>G(\bar k)</math> のすべての元が半単純であるならば  はトーラスである。

一般の基礎体  上の線型代数群  に対して、すべての極大トーラスが  の元によって互いに共役であるとは限らない。例えば、上述の乗法群  や円周群  は  上  の極大トーラスとして現れる。しかし、  上の  に含まれるどんな'''極大分裂トーラス'''  （これはより大きな分裂トーラスに含まれていないものを指す）も適当な  の元によって互いに[[共役]]である。その結果として、 上の  の  あるいは  を極大分裂トーラスの次元として定義することができる。

体  上の線型代数群  の極大トーラス  に関して、グロタンディークは <math>T_{\bar k}</math> は <math>G_{\bar k}</math> の極大トーラスであることを示した。この結果から体  上の  に含まれる極大トーラスは、同型である必要はないが、同じ次元を持つ。

==べき単群==
 で  上  に含まれる対角成分がすべて  である上三角行列からなる群とする。体  上の群スキーム（例えば線型代数群）は、ある  に対して  のある閉部分群スキームと同型であるとき、'''べき単'''  であるという。 がべき零であることは簡単に確かめられる。よって、任意のべき単群スキームはべき零である。

体  上の線型代数群  がべき単である必要十分条件は <math>G(\bar k)</math> のすべての元がべき単であることである。

 に含まれる上三角行列からなる群  は[[半直積]]
:<math> \mathbf B_n = \mathbf T_n \ltimes \mathbf U_n </math>
である。ここで  は   である。より一般に、連結で可解な線型代数群はトーラスとべき単群の半直積  である。

[[完全体]]（例えば、代数的閉体）  上滑らかで連結なべき単群は、すべての商群が加法群  と同型である組成列を持つ。

==ボレル部分群==
'''ボレル部分群'''  は線型代数群の構造論において重要である。代数的閉体  上の線型代数群  に対して、 のボレル部分群とは滑らかで可解な連結（閉）部分群のなかで極大なものを指す。 上の線型代数群  は必ずボレル部分群を持つ。例えば、 の上三角行列からなる部分群  はボレル部分群である。

理論における基本的な結果のひとつは、代数的閉体  上の連結群  に含まれるどんなボレル部分群も適当な  の元によって互いに共役であるというものである。（標準的な証明は[[ボレルの不動点定理]]——連結可解群  が代数的閉体  上の空でない完備多様体 X に正則に作用するならば、 の作用で固定される  の  有理点が存在する——を使う。） におけるボレル部分群の共役は、に達する： に含まれる滑らかな連結可解部分群は上三角行列群の部分群と  において共役である。

任意の体  に関して、 のボレル部分群  は  の代数的閉包 <math>\bar k</math> 上で <math>B_{\bar k}</math> が <math>G_{\bar k}</math> のボレル部分群である  上の部分群と定義される。したがって  は  上ではボレル部分群を持たないこともある。

 の閉部分群スキーム  に関して、[[商空間]]  は  上滑らかな[[準射影的]]スキームである。連結群  の滑らかな部分群  は  が  上[[射影多様体|射影的]]（あるいは  上固有的）であるとき***'  という。ボレル部分群  の重要な性質として、  は**旗多様体**  と呼ばれる射影多様体になる。つまり、ボレル部分群は放物型部分群である。より精密には、代数的閉体  に関して、ボレル部分群は  の極小放物型部分群に他ならない。逆に、ボレル部分群を含む任意の部分群は放物型である。したがって、固定したボレル群を含む  の線型代数部分群をすべて列挙することで、 の放物型部分群を  共役を除いてすべて列挙することができる。例えば、 上の部分群  で上三角行列からなるボレル部分群  を含むものは
* 
* 
* \left \{ \begin{bmatrix}
 * & * & * \\
 0 & * & * \\
0 & * & *
\end{bmatrix} \right \}
* \left \{ \begin{bmatrix}
 * & * & * \\
 * & * & * \\
0 & 0 & *
\end{bmatrix} \right \}
である。対応する***'   は、それぞれ
* 線型空間の鎖 <math>0\subset V_1\subset V_2\subset \mathbf A^3_k \quad (\dim V_i = i)</math> すべてから成る'''旗多様体'''
* 点
*  に含まれる直線（一次元部分空間）の'''[[射影空間]]''' 
*  に含まれる平面の双対射影空間 
である。

==半単純群と簡約群==

代数的閉体上の連結線型代数群  が'''半単純'''  であるとは、 のどんな滑らかで連結な可解正規部分群も自明であることを指す。より一般に、代数的閉体上の連結線型代数群  が'''[[簡約群|簡約]]'''  であるとは、 のどんな滑らかで連結なべき単正規部分群も自明であることを指す。（簡約群に連結性を要請しない著者もいる。）半単純群は簡約群である。任意の体  上の群  が半単純あるいは簡約であるとは、<math>G_{\bar k}</math> が半単純あるいは簡約であることを指す。例えば、適当な体  上の行列式  の  次行列からなる群  は半単純である一方、非自明なトーラスは簡約であるが半単純ではない。同様に、 も簡約であるが半単純でない（なぜならば中心  が非自明で滑らかな連結可解正規部分群だから）。

任意のコンパクト連結リー群は***'と呼ばれる複素簡約代数群を持つ。その上、この構成はコンパクト連結リー群と複素簡約群の同型類に対して一対一対応を与える。

体  上の線型代数群  は半単純かつ非自明で  上  のどんな滑らかな連結正規部分群も自明であるとき、**単純**  （あるいは ）と呼ばれる。（この性質を  と呼ぶ著者もいる。）この用語は抽象群のものとは僅かに異なっており、単純代数群は非自明な中心を持つことがある（ただし中心は必ず有限になる）。例えば、 以上の整数  と体  に関して、 上の群  は単純で、その中心は  の  乗根の群スキーム  である。

完全体  上の連結線型代数群  は簡約群  の滑らかな連結べき単群  による（一意的な）拡大である：
: 1 \to U \to G \to R \to 1. 
 は  の**べき単根基**  と呼ばれる。もし  の標数がゼロならば、より精密に****  を持つ： 上の線形代数群  は簡約群のべき単群による半直積  である。

## 簡約群の分類

簡約群は実際問題として現れる——, , 直交群 , 斜交群 ——などの重要な線型代数群の多くを含んでいる。一方で、簡約群の定義は極めて「消極的」であり、多くを語ることができるのか明らかではない。驚くべきことに、クロード・シュヴァレーは代数的閉体上の簡約群の完全な分類を与えた：それらはによって決定される。特に、代数的閉体  上の単純群は（有限中心的部分群スキームによる商を除いて）そのディンキン図形によって分類される。特筆すべきことに、この分類は  の標数に依存しない。例えば、例外型リー群 , , , ,  はどんな標数でも（さらに  上の群スキームとしてさえも）定義することができる。有限単純群の分類は多くの有限単純群が有限体  上の単純代数群かその亜種の  有理点のなす群として生じると述べている。

体上の簡約群はトーラスとある単純群との直積の有限中心的部分群スキームによる商である。例えば
:\mathbf{GL}_n\cong (\mathbf G_m \times \mathbf{SL}_n)/\boldsymbol\mu_n
である。

任意の体  に関して、簡約群  は  上の極大分裂トーラス（つまり、 に含まれる分裂トーラスであって、 の代数的閉包上でも極大である）を含むならば**分裂**  するという。例えば、 はどんな体  上でも分裂簡約群である。シュヴァレーは分裂簡約群の分類はどんな体上でも同じであることを示した。それとは対照的に、任意の簡約群の分類は難しいこともあり、基礎体に依存する。例えば、体  上の任意の非退化二次形式  は簡約群  を定め、 上の任意の中心的単純多元環  は簡約群  を定める。その結果、 上の簡約群の分類問題は本質的に  上の二次形式や  上の中心的単純多元環の分類問題を含んでいる。これらの問題は  が代数的閉体のときは易しいし、数体などいくつかの体上では理解されているが、任意の体上では多くの未解決問題がある。

## 応用
### 表現論
簡約群が重要である理由のひとつは表現論に由来する。べき単群が持つ任意の既約表現は自明である。より一般に、線型代数群  をべき単群  の簡約群  による拡大
: 1 \to U \to G \to R \to 1 
として書いたとき、 が持つ任意の既約表現は  を経由  する。この事実は焦点を簡約群の表現論へと絞り込む。（ここで言う表現とは、 の〈代数群としての〉表現である。したがって、体  上の群  に関して、表現とは  ベクトル空間であり、 の作用は正則関数で与えられている。それは重要である一方、実簡約群  に対して群  の連続表現を分類する問題〔あるいは他の体上における類似〕とは異なる。）

シュヴァレーは体  上の分裂簡約群が持つ既約表現は有限次元であり、により径数付けられることを示した。これはコンパクト連結リー群の表現論や複素半単純リー代数の表現論で起きていたことと同様である。標数がゼロである  に関して、これらの理論は本質的には等価である。特に、標数ゼロの体上の簡約群  が持つ任意の表現は既約表現の直和であり、 が分裂しているならば、既約表現の指標はワイルの指標公式により与えられる。ボレル＝ヴェイユの定理は標数ゼロのとき簡約群  が持つ既約表現の幾何学的構成を旗多様体  上の直線束の切断の空間として与える。

正標数  の体上における（トーラスでない）簡約群の表現論はよく理解されているわけではない。この状況では、表現が既約表現の直和であるとは限らない。さらに、既約表現は支配的ウェイトで径数付けられるものの、その次元や指標は限られた場合にしか知られていない。 は群のに対して標数  が十分大きいときに（ルスティック予想を証明することで）これらの指標を決定した。小さな素数  に対しては、未だ明瞭な予想すら存在しない。

### 群作用と幾何学的不変式論
線型代数群  の体  上定義された代数多様体（あるいはスキーム） へのとは射 G \times_k X \to X であって群作用の公理系を満足するものを言う。他の種類の群論と同様、群は幾何学的対象の対称性として自然に生じるものであるから、群作用を調べることは重要である。

群作用の理論の一端として、幾何学的不変式論は線型代数群  の代数多様体  への作用の軌道全体の成す集合を記述する商多様体  を構成することを目的とするものだが、これには様々な困難が生じる。たとえば  がアフィン代数多様体ならば  を   のスペクトル  として構成しようと試みることはできるけれども、永田雅宜は「不変式環は必ずしも -代数として有限生成でない」（したがって、不変式環のスペクトルも一般には代数多様体でないスキームとなる）というに対する否定的解答を示した。肯定的な方向での解答として「 が簡約群ならば対応する不変式環が有限生成である」というが、標数 0 の場合にはヒルベルトと永田により証明されている。

簡約群  が射影代数多様体  に作用するとき、幾何学的不変式論にはさらに微妙な問題が含まれてくる。特に、その理論では  の「固定」点および「半固定」点 ("stable" and "semistable" points) からなる開部分集合を定めるが、そのための商射は半固定点集合上でしか定義されない。

## 関連概念
線型代数群の変種としていくつかの方向性が考えられる。逆写像 i\colon G \to G の存在を落とせば線型代数モノイドの概念が得られる。

### リー群
実数体  上の線型代数群  に対して、その実点全体の群  はリー群である（これは本質的には  上の乗法を記述する実係数多項式が滑らかな函数であることによる）。同様に複素数体  上の線型代数群  に対して  はとなる。線型代数群の理論の多くは、リー群の理論の類似対応物として展開された。

リー群が必ずしも  上の線型代数群の構造を持つわけでないことの理由はいくつかある:
* 成分の群 （ は単位成分）が無限群となるリー群  は線型代数群として実現できない。
*  上の代数群  は、線型代数群として連結であるにもかかわらず付随するリー群  が連結でないということが起こり得る。連結の代わりに単連結群としても同様で、例えば代数群  は任意の体上で単連結だが、対応するリー群  は整数の加法群  に同型な基本群を持つ。 の二重被覆（これをという）は  上の線型代数群と見なすことができないリー群である（より強く、 は忠実な有限次元表現を持たないことが言える）。 
*  は任意の単連結冪零リー群が一意的な仕方で  上の冪単代数群  と見なせることを示した（代数多様体の場合と同じく、 は  上適当な次元のアフィン空間に同型である）。これと対照的に、単連結可解リー群で実代数群と見為せないものが存在する。例えば、半直積群  の普遍被覆  は、その中心が  に同型でこれは線型代数群ではないから、したがって  も  上の線型代数群と見ることはできない。

### アーベル多様体
アフィンでない代数群は非常に異なった振る舞いをする。特に、適当な体上の射影多様体となるような滑らかな連結群スキームをアーベル多様体と呼ぶ。線型代数群とは対照的に、任意のアーベル多様体は可換である。にも拘らず、アーベル多様体は豊かな理論を持つ。一次元アーベル多様体のことである楕円曲線の場合でさえ、その理論は数論において中心的であり、例えばフェルマーの最終定理などを含めた広い応用がある。

### 淡中圏
代数群  の有限次元表現の全体にを考えた圏  は淡中圏を成す。実は、適当な体上の「ファイバー函手」を持つ淡中圏はアフィン群スキームの圏に圏同値になる（体  上の任意のアフィン群スキームは、それが体  上の有限型群スキームの射影極限に書けるという意味で「副代数的」 (*pro-algebraic*) である）。例えば、の全体との全体はこのような方法論を用いて構成される。（副-）代数群  のある種の性質は、その表現全体の成す圏から読み取ることができる。例えば、標数 0 の体上で、 がとなるための必要十分条件は、 の単位成分が副簡約的であることである。

## 関連項目
* : 有限体上の単純代数群から構成される有限単純群
* 
* ・ブリュア分解・BN対・ワイル群・・随伴型の群・
* ・
* アデール代数群・
* ・ラングランズ・プログラム・
* ・・・・・・
* 
* 微分ガロワ理論
* 

## 注

## 参考文献
*
*
*
*
*
*
*
*
*
*
* 庄司俊明：「シュヴァレー群と代数群」 、日本評論社、ISBN 978-4-535-79840-3 (2025年6月)．

## 外部リンク
*