線型代数群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:54 UTC 版)
半単純元とべき単元
代数的閉体 k に関して、行列 g ∈ GLn(k) は対角化可能であるとき半単純 semisimple と呼ばれ、g − 1 がべき零であるときべき単 unipotent と呼ばれる。言い換えると、 g がべき単であるのは g のすべての固有値が 1 と等しいことである。正則行列の乗法的ジョルダン分解はすべての行列 g ∈ GLn(k) が積 g = gs gu として一意的に書けると述べている。ここで gs は半単純、 gu はべき単であり、gs と gu は互いに可換である。
任意の体 k に関して、元 g ∈ GLn(k) は k の代数的閉包上で対角化可能であるとき半単純という。体 k が完全であるとき、元 g の半単純成分とべき単成分もまた GLn(k) に属する。最後に、体 k 上の任意の線型代数群 G ⊂ GLn に対して、 G の k 値点は GLn(k) 内の半単純元あるいはべき単元であるとき、半単純あるいはべき単と定める。(これらの性質は G の忠実表現の取り方に依存しない。)体 k が完全であるとき、k 値点の半単純成分とべき単成分もまた G に属する。すなわち、すべての元 g ∈ G(k) は G(k) において積 g = gs gu として一意的に書ける(ジョルダン分解 Jordan decomposition)[10]。ここで gs は半単純、 gu はべき単であり、gs と gu は互いに可換である。これによって G(k) の共役類を記述する問題は半単純な場合とべき単の場合に還元される。
- ^ Kolchin 1948.
- ^ Milne 2017, Corollary 4.10.
- ^ Milne 2017, Corollary 8.39.
- ^ Milne 2017, Proposition 1.26(b).
- ^ Borel 1991b, p. 218, Theorem 18.2.
- ^ Borel 1991a, Corollary 18.4.
- ^ Borel 1991a, Remark 14.14.
- ^ Milne 2017, section 10.e.
- ^ Borel 1991a, section 7.1.
- ^ Milne 2017, p. 170, Theorem 9.18.
- ^ Borel 1991a, Corollary 11.3.
- ^ Milne 2017, p. 359, Corollary 17.25.
- ^ Springer 1998, p. 256, Theorem 15.2.6.
- ^ Borel 1991a, 18.2(i).
- ^ Milne 2017, Corollary 14.12.
- ^ Borel 1991a, Theorem 10.6.
- ^ Borel 1991a, Theorem 15.4(iii).
- ^ Borel 1991a, Theorem 11.1.
- ^ Milne 2017, Theorems 7.18 and 8.43.
- ^ Borel 1991a, Corollary 11.2.
- ^ Milne 2017, Definition 6.46.
- ^ Bröcker & tom Dieck 1985, pp. 151ff., section III.8.
- ^ Conrad 2014, section D.3.
- ^ Conrad 2014, after Proposition 5.1.17.
- ^ Conrad 2014, Proposition 5.4.1.
- ^ Springer 1998, 9.6.2 and 10.1.1.
- ^ Milne 2017, Lemma 19.16.
- ^ Milne 2017, Theorem 22.2.
- ^ Renner, Lex (2006), Linear Algebraic Monoids, Springer.
- ^ Milne (2017), Theorem 14.37.
- ^ Deligne & Milne (1982), Corollary II.2.7.
- ^ Deligne & Milne (1982), Remark II.2.28.
- 線型代数群のページへのリンク