 Module

An $R$-module is an abelian group equipped with scalar multiplication by a ring $R$, satisfying the usual distributive and associative laws.