	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"],