The notion of a module over a ring is a generalization of that of a vector space over a field k. The axioms are identical. But whereas every vector space possesses a basis, a module need not always have one. Modules ...