直既約加群とは? わかりやすく解説

直既約加群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/14 02:39 UTC 版)

ナビゲーションに移動 検索に移動

抽象代数学において、加群直既約(ちょくきやく、: indecomposable)であるとは、その加群が0でなく、2つの0でない部分加群直和として書けないということである[1]。直既約でない加群は直可約(ちょくかやく、: decomposable)と言う。

直既約は単純(既約)よりも弱い概念である。加群 M が単純であるとは「真の部分加群 0 < N < M がない」ことを意味するが、直既約であるとは「NP = M と非自明な方法で書けない」ことを意味する。

直既約加群の直和は完全直可約(かんぜんちょくかやく、: completely decomposable)と呼ばれる。これは単純加群の直和である半単純加群(完全可約加群)よりも弱い概念である。

動機付け

多くの状況において、興味の対象である加群は完全直可約である。したがってこのとき直既約加群は「構造の基本単位」であり研究する必要のある唯一の対象と考えられる(クルル・シュミットの定理)。上の加群(ベクトル空間)や単項イデアル整域 (PID) 上の有限生成加群はこの場合であり、線型作用素ジョルダン標準形の基礎となっている。

上の加群はベクトル空間である。ベクトル空間が直既約であることと次元1 であることは同値である。なのですべてのベクトル空間は完全直可約(実際半単純)であり、無限次元なら無限に多くの直和成分をもつ[2]

PID

PID上の有限生成加群は PID上の有限生成加群の構造定理によって分類される。準素分解は直既約加群への分解であるので、PID上のすべての有限生成加群は完全直可約である。

明示的に書けば、素イデアル P に対して R/Pn の形の加群(P = 0 を含む、このとき R になる)は直既約である。すべての有限生成 R-加群はこれらの直和である。これが単純であることは n = 1(または P = 0)であることと同値であることに注意せよ。例えば、位数4の巡回群 Z/4Z は直既約であるが単純でない。この群は位数 2 の部分群 2Z/4Z しか非自明な部分群を持たないが、これは直和因子でない。

整数環 Z 上の加群はアーベル群である。有限生成アーベル群が直既約であることとそれが Z素数 p と正整数 n について Z/pnZ の形の商群同型であることは同値である。すべての有限生成アーベル群は(有限個の)直既約アーベル群の直和である。

しかしながら、有限生成でない直既約アーベル群が存在する。有理数 Q はその最も単純な例である。

また代数的閉体上の一変数多項式環 K[x] 上の有限生成直既約加群はジョルダン標準形の理論により K[x]/(xλ)n (λK, nN) に限る。

固定した正整数 n に対し、実数体(または任意の体 K)上の n全行列環 R を考える。このとき Kn は(行列の積によるスカラー倍によって)左 R-加群である。これは同型の違いを除いて唯一の直既約 R-加群である。すべての左 R-加群はこの加群 Kn のコピーの(有限か無限の)直和である。

群環

標数 0 の体上の群環マシュケの定理により半単純なので、直既約加群と単純加群の概念は一致する。

一方、正標数の体上の群環に関しては両者が一致するとは限らない。たとえば F を標数 p > 0 の体とし、P位数 q巡回 p-群とする。群 P の生成元を x とし、

とおく。このとき {Mi | 1 ≤ iq} は有限次元直既約 FP-加群の同型類である[3]。しかしながら、有限次元単純 FP-加群の同型類は自明な加群 M1 のみである。

事実

  • すべての単純加群は直既約である。上の2つ目の例で示されているように逆は一般には成り立たない。
  • 加群の自己準同型環を見ることで、加群が直既約かどうかわかる。自己準同型環が0でも1でもない冪等元をもたないことと同値である[1]。(fM のそのような冪等自己準同型であれば、Mker(f)im(f) の直和である。)
  • 長さ有限の加群が直既約であることとその自己準同型環が局所環であることは同値である。長さ有限の直既約加群の自己準同型についてのより多くの情報はフィッティングの補題によって提供される。
  • 長さ有限の状況において、直既約加群への分解はクルル・シュミットの定理によって特に役立つ。すべての長さ有限の加群は有限個の直既約加群の直和として書け、この分解は本質的に一意(直和成分が順番と同型を除いて一意という意味)である[4]

脚注

  1. ^ a b Jacobson 2009, p. 111.
  2. ^ Jacobson 2009, p. 111, in comments after Prop. 3.1.
  3. ^ 永尾 & 津島 2009, 問題 IV 1.
  4. ^ Jacobson 2009, p. 115.

参考文献

外部リンク


直既約加群

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

環上の加群」の記事における「直既約加群」の解説

直既約加群とは、{0} でないふたつの部分加群の直和書くことできない加群のことをいう。任意の既約加群は直既約加群だが逆は必ずしも成立しない

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

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


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