The trivial representation of a group 
on a nonzero vector
space 
is the group representation 
defined by
 |
for every 
.
When 
is one-dimensional, this is the trivial group character.
A nonzero vector in an arbitrary
representation spans a trivial subrepresentation
iff it is fixed by every element
of 
.
