Let be a field. As it turns out a module over a field satisfies all the properties of a vector space. Thus, ==-modules are equivalent to -vector spaces==. Consider the -module where Then, acts on by scalar multiplication.