	The last three equations show that formula_37 is a ring homomorphism from "K"["G"] taken as a group ring, to the endomorphism ring. The first identity showed that individual elements are group homomorphisms. Thus, a representation formula_37 is a left "K"["G"]-module over the abelian group "V".