すなわち、環上の加群とは環作用を持つアーベル群のことである(群作用あるいは作用も参照)。