子模

设M是左R-和N是M的子群,则N是一个R中左子模(或更明确叫左R-子模),即如果R中任何r,N中任何n,rn还在N中。相应的如果R中任何r,N中任何n,nr还在N中,叫右R-子模。

一个给定的M的子模N1,N2,N3,两个二元运算,+,∩,满足模律,且子模N1是N2子集,则: (N1 + N3) ∩ N2 = N1 + (N3 ∩ N2).

参考

  • F.W. Anderson and K.R. Fuller: Rings and Categories of Modules, Graduate Texts in Mathematics, Vol. 13, 2nd Ed., Springer-Verlag, New York, 1992, 互联网档案馆) on MathOverflow.