1、先了解一下模的概念。本文约定，所提到的模，都是交换环的模。
3、M是交换环X的子环H的模，但是M未必是X的理想。
5、引进两个H模的和，并证明这个和也是H模。
7、于是，把同余除法的概念，推广到模理论，就容易理解了。
