稠密部分加群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 稠密部分加群の意味・解説 

稠密部分加群

(Dense submodule から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/04/28 00:46 UTC 版)

抽象代数学、とくに加群論において、加群の稠密部分加群(ちゅうみつぶぶんかぐん、: dense submodule)は本質部分加群の概念の精密化である。NM の稠密部分加群であれば、"N ⊆ M有理拡大 (rational extension) である"ということもできる。稠密部分加群は非可換環論における商環と関係がある。ここで現れるたいていの結果は最初 (Johnson 1951), (Utumi 1956) と (Findlay & Lambek 1958) において証明された。

この用語は位相空間論における稠密部分集合の概念とは異なることを注意すべきである。稠密部分加群を定義するのに位相は全く必要ないし、稠密部分加群は位相加群において位相的に稠密かもしれないしそうでないかもしれない。

定義

この記事は (Storrer 1972) と (Lam 1999, p. 272) に現れる exposition を修正する。R を環とし M を右 R 加群とし N をその部分加群とする。M の元 y of M に対し、

と定義する。表現 y−1 は形式的なものに過ぎないことに注意する。加群の元 y可逆であると言うことは意味がないからだ。しかしこの表記は y⋅(y−1N) ⊆ N であることを示唆する助けになる。集合 y −1N はつねに R の右イデアルである。

M の部分加群 N稠密部分加群 (dense submodule) であるとは、M のすべての元 x ≠ 0 と y に対して R のある元 r が存在して xr ≠ {0} かつ yrN の元となることである。言い換えると、導入した表記を用いて、集合

ということである。このとき、関係は

と表記される。

別の同値な定義は本質的にホモロジカルである。NM において稠密であることと

ただし E(M) は M移入包絡、は同値である。

性質

  • NM の本質部分加群であることと M のすべての元 y ≠ 0 に対して集合 y⋅(y −1N) ≠ {0} であることが同値であることを示すことができる。すると明らかにすべての稠密部分加群は本質部部加群である。
  • M非特異加群 (nonsingular module) であれば、NM において稠密であることと本質であることは同値である。
  • 環が右非特異環 (right nonsingular ring) であることとその本質右イデアルがすべて稠密右イデアルであることは同値である。
  • NN'M の稠密部分加群であれば、N ∩ N' もそうである。
  • N が稠密で N ⊆ K ⊆ M であれば K もまた稠密である。
  • BR の稠密右イデアルであれば、R の任意の y に対して y−1B もそうである。

  • xR中心の非零因子であれば、xRR の稠密右イデアルである。
  • IR の両側イデアルであれば、I が右イデアルとして稠密であることと I零化イデアルが 0 であること、すなわち は同値である。とくに、可換環において、稠密イデアルはちょうど忠実加群であるイデアルのことである。

応用

加群の有理包

すべての右 R 加群 M はその移入包絡 (injective hull) である極大本質拡大 E(M) をもつ。極大稠密拡大を用いた類似の構成の結果が、E(M) の部分加群である rational hull (M) である。加群が真の有理拡大をもたず (M) = M であるとき、加群を rationally complete という。R が右非特異であれば、もちろん (M) = E(M) である。

rational hull は直ちに移入包絡の部分加群と同一視される。S = EndR(E(M)) を移入包絡の自己準同型環とする。すると移入包絡の元 x が rational hull に入ることと xM 上 0 である S のすべての写像によって 0 に送られることが同値である。記号で書けば、

一般に、M 上 0 だが M の元でないある x で 0 でないような S の写像が存在するかもしれず、そのような x は rational hull には入らない。

極大右商環

極大右商環 (maximal right ring of quotients) は R の稠密右イデアルと関連して2つの方法で記述することができる。

  • 1つの方法は、(R) はある自己準同型環と同型な加群であることが証明され、その環構造からこの同型によって (R) に環構造、極大右商環の構造が入る (Lam 1999, p. 366)。
  • 2つ目の方法は、極大右商環は R の稠密右イデアルから R の中への準同型の同値類の集合と同一視される。同値関係は、2つの関数が同値であることを R のある稠密右イデアルで一致することによって定める (Lam 1999, p. 370)。

参考文献




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

辞書ショートカット

すべての辞書の索引

「稠密部分加群」の関連用語

稠密部分加群のお隣キーワード
検索ランキング

   

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



稠密部分加群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの稠密部分加群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS