阿贝尔群
如果 "R" 和 "S" 是两个环，则一个 "R"-"S"-双模是一个阿贝尔群 "M" 使得：