加群の同型
加群
の
同型
$ M\cong N
と表記する
定義
$ M,N
を環
$ R
上の加群とする
写像
$ f:M\to N
が、
$ R
上の同型であるとは、
$ f
が
加群準同型
であり、
逆写像が存在し、それも
$ R
加群の準同型であるとき
のことを言う
例
恒等写像
$ f:M\to M
参考
『代数学 2 環と体とガロア理論』
p.99