R-module

A module M over a ring R is an abelian group with a ring homomorphism

ν:REnd(M)

of R into the ring of endomorphisms.

It can be thought like if you have an "action" of the ring R on M, similar to what happen with group actions: a group homomorphism GAut(M).

Consequently, given an abelian group M, it is trivially an End(M)-module, and given any subring SEnd(M) we have an S-module structure in M.

Important case: simple module.