![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Rubik%2527s_cube.svg/langja-640px-Rubik%2527s_cube.svg.png&w=640&q=50)
線型代数群
ウィキペディア フリーな encyclopedia
数学において、線型代数群(せんけいだいすうぐん、英: linear algebraic group)とは、 n 次正則行列の全体が(行列の積に関して)成す群(すなわち一般線型群)の部分群であって、それが多項式系によって定義されるものを総称して言う。例えば M′M = 1 という関係式で定義される直交群は線型代数群である。(ここで M′ は行列 M の転置。)
多くのリー群は実数体あるいは複素数体上の線型代数群としてみることができる。(例えば、すべてのコンパクトリー群や単純リー群 SLn(R) といった多くの非コンパクト群は R 上の線型代数群と見做せる。)単純リー群はヴィルヘルム・キリング(英語版)とエリー・カルタンによって1880年代から1890年代にかけて分類された。当時は群構造が多項式で定義されている——代数群である——という事実が特別に利用されることはなかった。マウラー(英語版)、シュヴァレー、コルチン(英語版)[1] などが代数群の理論の創始者である。1950年代にアルマン・ボレルは今日存在する代数群の理論の多くを築いた。
シュヴァレー群(英語版)の定義は初期におけるこの理論の用途のひとつであった。