In the
mathematical
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
field of
representation theory
Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
, a trivial representation is a
representation of a
group ''G'' on which all elements of ''G'' act as the
identity mapping
Graph of the identity function on the real numbers
In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
of ''V''. A trivial
representation of an
associative
In mathematics, the associative property is a property of some binary operations that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement for express ...
or
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
is a (
Lie)
algebra representation for which all elements of the algebra act as the zero
linear map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that p ...
(
endomorphism) which sends every element of ''V'' to the
zero vector
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An '' additive id ...
.
For any group or Lie algebra, an
irreducible trivial representation always exists over any
field, and is one-dimensional, hence unique up to isomorphism. The same is true for associative algebras unless one restricts attention to
unital algebra
In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition ...
s and unital representations.
Although the trivial representation is constructed in such a way as to make its properties seem tautologous, it is a fundamental object of the theory. A subrepresentation is equivalent to a trivial representation, for example, if it consists of invariant vectors; so that searching for such subrepresentations is the whole topic of
invariant theory.
The trivial character is the
character that takes the value of one for all group elements.
References
*.
Representation theory
{{algebra-stub