A module over a ring is a generalization of the notion of vector space over a field, wherein the corresponding scalars are the elements of an arbitrary given ring and a multiplication is defined between elements of the ring and elements of the module.
