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 
.
