About: 簡約群

数学における簡約群（かんやくぐん、英: reductive group）とはが自明となる代数閉体上の代数群のことである。や一般線形群など任意のは簡約となる。一般の代数体上の場合には、代数閉包上で冪単根基が自明となるような滑らかなアフィン代数群を簡約代数群と呼ぶ。ここで代数閉包への移行は、定義体が有限体上の関数体などの不完全体（imperfect field）となる場合に必要である。（必ずしも完全でない）体 k 上の代数群で k-冪単根基が自明となるものはen:pseudo-reductive groupと呼ばれる。簡約群の名称は線形表現の完全可約性から来ており、標数0の代数群の表現に対して成り立つ性質である。（これは代数群としての表現にのみ適応される。離散群としての有限次元表現は標数0の場合でさえ必ずしも完全可約にならない。）Haboushの定理は、幾何学的簡約性と呼ばれるより弱い条件が正標数の場合の簡約群に対しても成立していることを示す。 G ≤ GLn を滑らかな-閉部分群としたとき、 上の 次元アフィン空間への作用が既約であるならば G は簡約である。 そのため GLn 及び SLn は簡約である（後者はより強くとなる）。