マシュケの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > マシュケの定理の意味・解説 

マシュケの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/11/23 00:17 UTC 版)

ハインリヒ・マシュケ(1853–1908)

数学、特に群の表現論においてマシュケの定理(マシュケのていり、: Maschke's theorem[1][2]とは、有限群の表現の既約表現への分解に関する定理である。ハインリヒ・マシュケに名を因む[3]。有限群 G のある標数 0 の上の有限次元表現 (Vρ) に対し、任意の G-不変部分空間 UG-不変な直和補因子 W を持つこと、言い換えれば、表現 (Vρ) が完全可約であることを述べるものである。より一般に、有限体のような正標数 p の体に対しても、p が群 G位数を割り切らないならば、マシュケの定理は成り立つ。

再定式化と意味

有限群の表現論に対する一つのアプローチは加群の理論を通して考えることである。群 G表現は、群環 KG 上の加群と読み替えることができ、既約表現は単純加群と対応する。マシュケの定理は「一般の有限次元表現は既約部分表現の直和によって構成することができるか」という問いに対する答えである。この問いを加群の理論に読み替えると「任意の加群は半単純であるか」となる。加群の言葉で定式化したマシュケの定理は、以下のように述べられる。

G を有限群、KG の位数を割らない標数を持つ体とする。このとき G の群環 KG半単純環である[4][5]

この定理の重要性は、半単純環に関するよく展開された理論、特にアルティン-ウェダーバーンの定理(ウェダーバーンの構造定理)から生じる。K複素数C のとき、定理から群環 KG が複素正方行列環のいくつかのコピーの直積に分解されることが示される(それぞれの因子がいずれも既約表現を与える)[6]。標数 0 の体 K代数閉体でない場合(例えば実数R有理数Q)には、主張は「群環 KG は、K 上のある斜体上の行列環の直積になる」と幾分複雑になる。それぞれの因子は GK 上の既約表現に対応する[7]

翻って表現論では、マシュケの定理(あるいはそれを加群を用いて述べたもの)から、有限群 G の表現に関する一般的な構成法が実際に計算することなしに得られる。定理から任意の表現は既約成分の直和になるので、任意の表現を分類するという表現論の課題は、既約表現を分類するというより扱いやすい課題に帰着される。さらに、ジョルダン-ヘルダーの定理から従うこととして、既約部分表現への直和分解は一意ではないかもしれないが、既約成分の重複度は矛盾なく定まる。特に、有限群の標数 0 の体上での表現は、同型を除いてその指標によって決定される。

一般化

マシュケの定理は、さらに次のように一般化される[8]

k を環、G を有限群とする。このとき、群環 kG が半単純であることと、k が半単純かつ |G|・1k の単元であることが同値である。

マシュケの定理において群が有限であることは必須の条件である。すなわち次が成り立つ[9]

k を(零環でない)環とし、G を無限群とする。このとき、群環 kG は決して半単純にならない。

  1. ^ Maschke, Heinrich (1898-07-22). “Ueber den arithmetischen Charakter der Coefficienten der Substitutionen endlicher linearer Substitutionsgruppen [On the arithmetical character of the coefficients of the substitutions of finite linear substitution groups]” (German). Math. Ann. 50 (4): 492–498. doi:10.1007/BF01444297. JFM 29.0114.03. MR 1511011. http://resolver.sub.uni-goettingen.de/purl?GDZPPN002256975. 
  2. ^ Maschke, Heinrich (1899-07-27). “Beweis des Satzes, dass diejenigen endlichen linearen Substitutionsgruppen, in welchen einige durchgehends verschwindende Coefficienten auftreten, intransitiv sind [Proof of the theorem that those finite linear substitution groups, in which some everywhere vanishing coefficients appear, are intransitive]” (German). Math. Ann. 52 (2–3): 363–368. doi:10.1007/BF01476165. JFM 30.0131.01. MR 1511061. http://resolver.sub.uni-goettingen.de/purl?GDZPPN002257599. 
  3. ^ O'Connor, John J.; Robertson, Edmund F., "Heinrich Maschke", MacTutor History of Mathematics archive, University of St Andrews .
  4. ^ 半単純環上の加群は必ず半単純なので、任意の KG-加群が半単純であることが言える。
  5. ^ この主張は逆もまた正しく、体の標数が群の位数を割る(モジュラー型)ならば、群環は半単純でない。
  6. ^ 因子の数も計算することができて、それは群の共役類の数に等しい。
  7. ^ 実数体上既約であるような表現が複素数体上既約でないなど、係数体を取り替えれば表現の分解も変わるので、注意が必要である。
  8. ^ Lam, (6.1) Theorem.
  9. ^ Lam, (6.3) Proposition.

参考文献


マシュケの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/11 09:31 UTC 版)

半単純環」の記事における「マシュケの定理」の解説

詳細な記事:dictionnaire entre les représentations d'un groupe et les K[G]-modules マシュケの定理は有限群の表現論(英語版)における定理だが、有限群群環半単純性の言葉解釈できる。 マシュケの定理。有限群 G の可換体 K 上の群環 K[G] は、K の標数が G の位数割らないならば、半単純環である。 K[G]-単純加群本質的に G の既約表現であり、これは(有限群 G について)正則表現部分表現同値なので、同型の違いを除いて有限個しかなく、それらはすべて有限次元である。

※この「マシュケの定理」の解説は、「半単純環」の解説の一部です。
「マシュケの定理」を含む「半単純環」の記事については、「半単純環」の概要を参照ください。

ウィキペディア小見出し辞書の「マシュケの定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「マシュケの定理」の関連用語

マシュケの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



マシュケの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのマシュケの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの半単純環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS