Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation or irrep of an algebraic structure is a nonzero representation that has no proper nontrivial subrepresentation , with closed under the action of . Every finite-dimensional unitary representation on a Hilbert space is the direct sum of irreducible representations. Irreducible representations are always indecomposable (i.e. cannot be decomposed further into a direct sum of representations), but the converse may not hold, e.g. the two-dimensional representation of the real numbers acting by upper triangular unipotent matrices is indecomposable but reducible. Group representation theory was generalized by Richard Brauer from the 1940s to give modular representation theory, in which the matrix operators act on a vector space over a field of arbitrary characteristic, rather than a vector space over the field of real numbers or over the field of complex numbers. The structure analogous to an irreducible representation in the resulting theory is a simple module. Let be a representation i.e. a homomorphism of a group where is a vector space over a field . If we pick a basis for , can be thought of as a function (a homomorphism) from a group into a set of invertible matrices and in this context is called a matrix representation. However, it simplifies things greatly if we think of the space without a basis. A linear subspace is called -invariant if for all and all . The co-restriction of to the general linear group of a -invariant subspace is known as a subrepresentation. A representation is said to be irreducible if it has only trivial subrepresentations (all representations can form a subrepresentation with the trivial -invariant subspaces, e.g. the whole vector space , and {0}). If there is a proper nontrivial invariant subspace, is said to be reducible. Group elements can be represented by matrices, although the term "represented" has a specific and precise meaning in this context.
,