group algebras occur naturally in the theory of group representations of finite groups. the group algebra "k"["g"] over a field "k" is essentially the group ring, with the field "k" taking the place of the ring. as a set and vector space, it is the free vector space on "g" over the field "k". that is, for "x" in "k"["g"],