is an algebra homomorphism from the group algebra to the set of endomorphisms on "v". taking "v" to be an abelian group, with group addition given by vector addition, such a representation is in fact a left "k"["g"]-module over the abelian group "v". this is demonstrated below, where each axiom of a module is confirmed.