Definition

A representation of a group is a vector space (usually over ) and a group homomorphism

A morphism of representations is a linear map such that the following diagram commutes for all .

As modules

There is an equivalence of categories between representations and modules over the group algebra .

Special cases