模同构

模同构是一种特殊的模同态，假设f是模M到模N的同态，若f时一一的并且是映上的，则f为模M到模N的同构。两个同构的模，从模的结构来看，它们没有什么区别。模同构具有一个性质，即若f为模M到模N的同态，则f的逆映射f^(-1)也是同构。广义模同构是一种广义模同态。设M 和M' 均为R- 模。映射 为一个加法群同态，且满足 ，那么我们称映射 为M 到M' 的一个模同态。