余剰部分加群とは? わかりやすく解説

本質拡大

(余剰部分加群 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/07/20 20:40 UTC 版)

数学、とくに加群論において、 RR-加群 M とその部分加群 N が与えられたとき、次の条件を満たすならば MN本質拡大: essential extension)(あるいは NM本質部分加群: essential submodule または : large submodule))と呼ばれる。M のすべての部分加群 H に対して

HN = 0 ならば H = 0.

特別な場合として、R本質左イデアル: essential left ideal)は左加群 RR の部分加群として本質的な左イデアルである。そのような左イデアルは R の任意の 0 でない左イデアルと 0 でない共通部分をもつ。同様に、本質右イデアルは右 R 加群 RR の本質部分加群のことである。

本質部分加群の一般的な表記には次の2つがある[1]

Ne M および .

本質部分加群の双対概念は余剰部分加群である。次の条件を満たすならば NM余剰部分加群: superfluous submodule または : small submodule)と呼ばれる。 M のすべての部分加群 H に対して

N + H = M ならば H = M.

余剰部分加群の一般的な表記には次の2つがある[1]

Ns M および

性質

M を加群とし、K, N, HM の部分加群で KN とする。

本質部分加群

上で導入された表記の下で本質部分加群の基本的な性質をいくつか挙げる。

  • 明らかに MM の本質部分加群であり、0 でない加群 M の部分加群 0 は決して本質的でない。
  • Ke M であることと Ke N かつ Ne M であることは同値。
  • KHe M であることと Ke M かつ He M であることは同値。
  • M ≠ 0アルティン加群ならば soc(M) ⊆e M[2]

ツォルンの補題を使って次の有益な事実を証明できる。 M の任意の部分加群 N に対してある部分加群 C が存在し

NCe M.

さらに、真の本質拡大のない加群(つまり、加群が別の加群において本質的ならば後者は前者に等しい)は移入加群である。すべての加群 M は極大な本質拡大 E(M) をもつことが証明でき、M移入包絡と呼ばれる。移入包絡は移入加群であり、同型を除いて一意的である。移入包絡は M を含む他のどんな移入加群も E(M) のコピーを含むという意味で極小でもある。

余剰部分加群

多くの基本的な性質は余剰部分加群にも双対化されるが、すべてではない。

  • 明らかに 0 は M の余剰部分加群であり、0 でない加群 M の部分加群 M は決して余剰的ではない。
  • Ns M であることと Ks M かつ N/Ks M/K であることは同値。
  • K + Hs M であることと Ks M かつ Hs M であることは同値。
  • M ≠ 0ネーター加群ならば rad(M) ⊆s M[2]

すべての加群は像が移入加群(移入包絡)において本質的であるような単射準同型によって写されるので、その双対命題が正しいか問うだろう。すなわち、すべての加群 M に対して射影加群 P と核が余剰的であるような P から M への全射準同型が存在するだろうか?(そのような P射影被覆と呼ばれる。)答えは一般には「いいえ」であり、右加群が射影被覆をもつような環のクラスは右完全環のクラスである。

一般化

この定義は任意のアーベル圏 C に一般化できる。本質拡大とは単射 u : ME であってすべての 0 でない部分対象英語版 s : NE に対してファイバー積英語版 N ×E M ≠ 0 であるようなものである。

脚注

  1. ^ a b 左側の表記は Lam (1999, p. 74) に、右側の表記は Anderson & Fuller (1992, p. 72) に見られる。
  2. ^ a b Anderson & Fuller 1992, Corollary 10.11

参考文献

関連項目


余剰部分加群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/07/20 20:40 UTC 版)

本質拡大」の記事における「余剰部分加群」の解説

多く基本的な性質は余剰部分加群にも双対化されるが、すべてではない。 明らかに 0 は M の余剰部分加群であり、0 でない加群 M の部分加群 M は決し余剰的ではない。 N ⊆s M であることと K ⊆s M かつ N/K ⊆s M/K であることは同値。 K + H ⊆s M であることと K ⊆s M かつ H ⊆s M であることは同値。 M ≠ 0 がネーター加群ならば rad(M) ⊆s Mすべての加群は像が移入加群移入包絡)において本質的あるよう単射準同型によって写されるので、その双対命題正しいか問うだろう。すなわち、すべての加群 M に対して射影加群 P と余剰的であるような P から M への全射準同型存在するだろうか?(そのような P は射影被覆呼ばれる。)答え一般には「いいえ」であり、右加群射影被覆をもつような環のクラスは右完全環クラスである。

※この「余剰部分加群」の解説は、「本質拡大」の解説の一部です。
「余剰部分加群」を含む「本質拡大」の記事については、「本質拡大」の概要を参照ください。

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


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