A module is an Abelian group over a ring as contrasted with a vector space which is an Abelian group over a field. The
scalars form a ring and just like in a vector space, scalar multiplication is defined. However, in a ring the multiplicative inverses
do not exist in general for the elements, which makes all the difference!