【抽象代数】交换环的模的概念

1、先了解一下模的概念。本文约定，所提到的模，都是交换环的模。

2、由若干个元素生成的模，可以表示为下图的形式。

3、M是交换环X的子环H的模，但是M未必是X的理想。

4、下面证明，两个H模的交集，仍旧是H模。

5、引进两个H模的和，并证明这个和也是H模。

6、再引进两个模的乘积，不过下面并没有给出完整的证明。

7、于是，把同余除法的概念，推广到模理论，就容易理解了。