半単純加群とは? わかりやすく解説

半単純加群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/06/29 16:00 UTC 版)

数学、とくに加群論という抽象代数学の分野において、半単純加群(はんたんじゅんかぐん、: semisimple module)または完全可約加群(かんぜんかやくかぐん、: completely reducible module)はその既約部分加群から容易に理解できるようなタイプの加群である。自分自身の上で半単純加群であるようなはアルティン的半単純環として知られている。有限群の標数0の上の群環のようないくつかの重要な環は半単純環である。アルティン環ははじめはその最大の半単純商を通じて理解される。アルティン的半単純環の構造はアルティン・ウェダーバーンの定理によってよく理解される。これはこれらの環を行列環の有限個の直積として表示するものである。

定義

単位元をもつ(可換でなくてもよい)上の加群は、単純(既約)部分加群の直和であるときに、半単純 (semisimple) あるいは完全可約 (completely reducible) という。

加群 M に対して、以下は同値。

  1. M は既約加群の直和である。
  2. M はその既約部分加群の直和である。
  3. M のすべての部分加群は直和成分英語版である。すなわち、M のすべての部分加群 N に対して、補部分加群 P が存在して、M = N ⊕ P.

のための最初のアイデアは次のようにして既約部分加群を見つけることだ。任意の を選んで であるような極大部分加群とする。 の補部分加群は既約であることを証明できる[1]

半単純加群の最も基本的な例は体上の加群、すなわちベクトル空間である。一方、整数環 Z は自身の上の半単純加群ではない。(理由は、例えば、アルティン環でないから。)

半単純(完全可約)であることは完全直可約(直既約部分加群の直和となること)よりも強い。

A を体 k 上の代数とする。このとき A 上の左加群 M絶対半単純 (absolutely semisimple) であるとは、k の任意の体拡大 F に対して、 上の半単純加群であることをいう。

性質

  • M が半単純で N部分加群であれば、NM/N も半単純である。
  • が半単純加群であれば、 もそうである。
  • 加群 M有限生成かつ半単純であることとアルティン的かつその根基が 0 であることは同値である。

自己準同型環

半単純環

環が(左)半単純であるとは、それがそれ自身の上の左加群として半単純であることをいう。驚くべきことに、左半単純環は右半単純でもあり、逆も同様である。左右の区別はしたがって不要であり、半単純環についてあいまいさなく話すことができる。

半単純環はホモロジー代数の言葉で特徴づけることができる。すなわち、環 R が半単純であることと左(または右)R-加群の任意の短完全列が分裂することは同値である。とくに、半単純環上の任意の加群は移入加群かつ射影加群である。射影加群は平坦加群なので、半単純環はフォン・ノイマン正則環である。

半単純環は代数学者にとってかなり興味深い。例えば、環 R が半単純であれば、すべての R-加群は自動的に半単純である。さらに、すべての単純(左)R-加群は R の極小左イデアルに同型である。すなわち、R は左Kasch環である。

半単純環はアルティン環かつネーター環である。上記の性質から、環が半単純であることとアルティン環でありジャコブソン根基が 0 であることは同値である。

アルティン的半単純環が体を含めば、半単純多元環と呼ばれる。

  • 可換半単純環は体の有限個の直積である。可換環が半単純であることとアルティン環かつ被約であることは同値である[3]
  • k が体で G が位数 n の有限群であれば、群環 が半単純であることと k標数n を割らないことは同値である。これはマシュケの定理であり、群の表現論において重要な結果である。
  • アルティン-ウェダーバーンの定理によって、単位的アルティン環 R が半単純であることと (に同型)であることは同値である。ただし各 可除環であり D に成分をもつ n 次全行列環。
  • 半単純非単位的環の例は 、体 k 上の行と列が有限な無限次行列である。

単純環

その用語にもかかわらず、単純環は半単純環であるとは限らないことに注意すべきである。問題は環が大きすぎるかもしれないことだ。つまり、(左/右)アルティンでないかもしれない。実は、R が単純環であって極小左/右イデアルをもてば、R は半単純である。

単純だが半単純でない環の古典的な例はワイル代数である。例えば Qx, y⟩/(xyyx − 1) は単純非可換整域である。これらやたくさんの他の素敵な例はもっと詳細にいくつかの非可換環論のテキストで議論されている。例えば Lam の本の chapter 3 では非アルティン単純環として書かれている。ワイル代数の加群論は半単純環のそれよりもよく研究されていてかなり異なる。

ジャコブソン半単純

環は極大左イデアルの共通部分が 0 であるときに、すなわちジャコブソン根基が 0 であるときに、ジャコブソン半単純(あるいは J-半単純あるいは半原始)と呼ばれる。自身の上の加群として半単純であるすべての環のジャコブソン根基は 0 であるが、ジャコブソン根基が 0 であるすべての環が自身の上の加群として半単純であるわけではない。J-半単純環が半単純であることとアルティン環であることは同値であり、したがって半単純環は混乱を避けるためにしばしばアルティン的半単純環 (artinian semisimple ring) と呼ばれる。

例えば整数環 Z は J-半単純だがアルティン半単純ではない。

脚注

  1. ^ Jacobson 1989, p. 120.
  2. ^ Lam 2001, p. 62.
  3. ^ Bourbaki, VIII, pg. 133.

参考文献

関連項目


半単純加群

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

環上の加群」の記事における「半単純加群」の解説

半単純加群は単純加群直和である。

※この「半単純加群」の解説は、「環上の加群」の解説の一部です。
「半単純加群」を含む「環上の加群」の記事については、「環上の加群」の概要を参照ください。

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


英和和英テキスト翻訳>> 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