環上の加群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 環上の加群の意味・解説 

環上の加群

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

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

抽象代数学における上の加群(かぐん、: module)とは、ベクトル空間を一般化した概念で、係数(スカラー)をの元とする代わりに、より一般の環の元としたものである。つまり、加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。

任意のアーベル群有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。

加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論ホモロジー代数における中心概念の一つであり、ひろく代数幾何学代数的位相幾何学において用いられる。

動機

ベクトル空間においては、スカラーの全体はを成し、ベクトルに対して分配律などの特定の条件を満足するスカラー乗法によって作用している。環上の加群においては、スカラーの全体はであればよく、その意味で環上の加群の概念は重大な一般化になっている。可換環論における重要な概念であるイデアルおよび剰余環は、いずれも環上の加群とみることができ、イデアルや剰余環に関するさまざまな議論を加群の言葉によって統一的に扱うことができるようになる。非可換環論では、イデアルの(作用の入る向きとして)左右を区別するし、環上の加群においてもそれはより顕著になることだが、しかしさまざまに重要な環論的議論において片側(大抵は左)からの作用に関するものだけを条件として提示することが行われる。

加群の理論のおおくは、ベクトル空間のもつ好ましい性質が、単項イデアル環のような「素性のよい」(well-behaved) 環上の加群の領域でどれだけたくさん存在するかというような議論からなるが、しかしながら環上の加群はベクトル空間に比べてかなり複雑である。たとえばどんな加群でも基底を持つわけではないし、基底を持つ(自由加群と呼ばれる)加群であっても基礎環(係数環)が不変基底数条件を満足しないならば階数も一意ではない。これはベクトル空間が(選択公理を仮定すれば)常に基底を持ち、基底の濃度が常に一定となることと対照的である。

厳密な定義

R 上の R-加群もしくは R-左加群とは、アーベル群 (M, +) とスカラー乗法と呼ばれる作用 R × MM の組であって、その作用(通常は、rRxM に対して x のスカラー r-倍を単に文字を併置して rx と記す)は、r, sR, x, yM は任意として、条件




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