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".