線型代数群
(線形代数群 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/11/12 07:05 UTC 版)
| 代数的構造 → 群論 群論 |
|---|
 |
数学において、線型代数群（せんけいだいすうぐん、英: linear algebraic group）とは、 n 次正則行列の全体が（行列の積に関して）成す群（すなわち一般線型群）の部分群であって、それが多項式系によって定義されるものを総称して言う。例えば M′M = 1 という関係式で定義される直交群は線型代数群である。（ここで M′ は行列 M の転置。）
多くのリー群は実数体あるいは複素数体上の線型代数群としてみることができる。（例えば、すべてのコンパクトリー群や単純リー群 SLn(R) といった多くの非コンパクト群は R 上の線型代数群と見做せる。）単純リー群はヴィルヘルム・キリングとエリー・カルタンによって1880年代から1890年代にかけて分類された。当時は群構造が多項式で定義されている——代数群である——という事実が特別に利用されることはなかった。マウラー、シュヴァレー、コルチン[1] などが代数群の理論の創始者である。1950年代にアルマン・ボレルは今日存在する代数群の理論の多くを築いた。
シュヴァレー群の定義は初期におけるこの理論の用途のひとつであった。
例
正の整数 n に対して、 n 次正則行列から成る体 k 上の一般線型群 GLn は k 上の線型代数群である。これは
- 線形代数群のページへのリンク
