	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.