ここでは、環上の加群について解説する。

定義 編集

代数構造 がアーベル群(すなわち、 )であるとき、Mを加群という。ここでは加群であって、さらに環Rの作用が定まっているもの(これをR加群と呼ぶ)を扱う。

より明瞭に、公理の形で書いておくと、R加群とは次の公理を満たす集合Mのことである。

公理 Rを環、Mを集合とする。Mの元どうしの演算「+」と、Mの元に対するRの元によるスカラー倍「・」が定められていて、次の条件のすべてを満たすとき、Mは(左)R加群であるという。

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  

この公理を見ると、線型空間の公理の体を環に取り替えただけであることがわかる。すなわち、環上の加群の概念は線型空間の概念の一般化である。

 Kを体とするとK線型空間はK上の加群である。

しかし、ここではスカラーは体ではなく環で十分としているので、他にも多様な例が考えられる。

 任意の加群G 加群である。

実際、 への整数nの作用を n個の和)と定めればよい。(負の数のときは-xn個足したものとすればよい)。

 環RのイデアルはR加群である。

通常の積がR加群としての作用になっていることは、イデアルの定義からすぐにわかる。特に、R自身はR加群である。この意味で、加群の概念はイデアルの概念の一般化であるともいえる。

基本的な諸概念 編集

部分加群と商加群 編集

線型空間における部分空間・商空間に当たる概念は同様に定義することができる。

定義 R加群Mの部分集合Nが、Mの作用を制限した作用によって再びR加群となるとき、NMの部分R加群という。

定義 MR加群、NMの部分R加群とする。このとき、剰余群M/Nは自然な作用によりR加群という。これをMNによる商R加群という。

商加群の演算と作用の定義は線型空間の場合と同様なので省略する。演算のwell-defined性や、R加群になっていることの確認も、同様に容易にできるので省略する。

 M/Nの演算と作用を定義し、R加群になっていることを確かめよ。

準同型 編集

線型写像の概念も同様に一般化できる。

定義 M, M' R加群とする。写像 が次の条件を満たすとき、これをR準同型(写像)という。

  1.  
  2.  

準同型であってさらに全単射の写像をR同型(写像)という。

公理1は群としての準同型であること、公理2は作用を保つことを要請している。特に群としての準同型であるので、kernelとimageは自然に定義でき、加群としての部分群であるだけでなく部分R加群であることが確かめられる。

また、準同型定理も同様に成り立つ。

定理 M, M' R加群、写像 R準同型とすると、自然なR同型写像

 

が存在する。

群としての全単射な準同型が構成できることは群の準同型定理より従う。あとはこれがRの作用を保つことを確かめればよい。

 確かめよ。