设Ｉ是有单位元的环Ｒ的一个理想，ＭＲ是一个Ｒ－模，则ＭＲ也可看作一个Ｉ－模ＭＩ。证明了ＭＲ与ＭＩ之间，模理论的纯性，纯入射性，初等等价，初等嵌入等初等性质都是保持的......