|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 有 ： [う, ゆう] 1. (n,vs) possession ・ 理 ： [り] 【名詞】 1. reason ・ 拡大 ： [かくだい] 1. (n,vs) magnification 2. enlargement
抽象代数学、とくに加群論において、加群の稠密部分加群（ちゅうみつぶぶんかぐん、）は本質部分加群の概念の精密化である。''N'' が ''M'' の稠密部分加群であれば、"''N'' ⊆ ''M'' は有理拡大 (rational extension) である"ということもできる。稠密部分加群は非可換環論における商環と関係がある。ここで現れるたいていの結果は最初 , と において証明された。 この用語は位相空間論における稠密部分集合の概念とは異なることを注意すべきである。稠密部分加群を定義するのに位相は全く必要ないし、稠密部分加群は位相加群において位相的に稠密かもしれないしそうでないかもしれない。 == 定義 == この記事は と に現れる exposition を修正する。''R'' を環とし ''M'' を右 ''R'' 加群とし ''N'' をその部分加群とする。''M'' の元 ''y'' of ''M'' に対し、 : と定義する。表現 ''y''−1 は形式的なものに過ぎないことに注意する。加群の元 ''y'' が可逆であると言うことは意味がないからだ。しかしこの表記は ''y''⋅(''y''−1''N'') ⊆ ''N'' であることを示唆する助けになる。集合 ''y'' −1''N'' はつねに ''R'' の右イデアルである。 ''M'' の部分加群 ''N'' が稠密部分加群 (dense submodule) であるとは、''M'' のすべての元 ''x'' ≠ 0 と ''y'' に対して ''R'' のある元 ''r'' が存在して ''xr'' ≠ かつ ''yr'' が ''N'' の元となることである。言い換えると、導入した表記を用いて、集合 : ということである。このとき、関係は : と表記される。 別の同値な定義は本質的にホモロジカルである。''N'' が ''M'' において稠密であることと : ただし ''E''(''M'') は ''M'' の移入包絡、は同値である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「稠密部分加群」の詳細全文を読む スポンサード リンク
|