环扩张上的相对子模和相对商模

环扩张是指两个环之间保持单位元的环同态。文章在一般的环扩张上给出了相对子模和相对商模的定义,并探讨了其基本性质,说明了相对子模与相对商模具有某种传递性;获得了一类特殊的环扩张上相对子模的交与和是相对子模的充分条件;建立了相对商模M/K的相对子模与M的包含K的相对子模之间的一一对应关系,其中K是模M的相对子模。