group representation
Let be a group, and let be a vector space. A representation of in is a group homomorphism
from to the general linear group
of invertible linear transformations of .
Equivalently, a representation of is a vector space which is a -module, that is, a (left) module over the group ring . The equivalence is achieved by assigning to each homomorphism
the module structure
whose scalar multiplication is defined by , and extending linearly. Note that, although technically a group representation
is a homomorphism such as , most authors invariably denote a representation using the underlying vector space , with the homomorphism being understood from context, in much the same way that vector spaces themselves are usually described as sets with the corresponding binary operations
being understood from context.
Special kinds of representations
(preserving all notation from above)
A representation is faithful if either of the following equivalent conditions is satisfied:
- •
is injective
,
- •
is a faithful left –module.
A subrepresentation of is a subspace of which is a left –submodule
of ;such a subspace is sometimes called a -invariant subspace of . Equivalently, a subrepresentation of is a subspace of with the property that
A representation is called irreducible if it has no subrepresentations other than itself and the zero module.