TOPICS
Search

Irreducible Representation


An irreducible representation of a group is a group representation that has no nontrivial invariant subspaces. For example, the orthogonal group O(n) has an irreducible representation on R^n.

Any representation of a finite or semisimple Lie group breaks up into a direct sum of irreducible representations. But in general, this is not the case, e.g., (R,+) has a representation on R^2 by

 phi(a)=[1 a; 0 1],
(1)

i.e., phi(a)(x,y)=(x+ay,y). But the subspace y=0 is fixed, hence phi is not irreducible, but there is no complementary invariant subspace.

The irreducible representation has a number of remarkable properties, as formalized in the group orthogonality theorem. Let the group order of a group be h, and the dimension of the ith representation (the order of each constituent matrix) be l_i (a positive integer). Let any operation be denoted R, and let the mth row and nth column of the matrix corresponding to a matrix R in the ith irreducible representation be Gamma_i(R)_(mn). The following properties can be derived from the group orthogonality theorem,

 sum_(R)Gamma_i(R)_(mn)Gamma_j(R)_(m^'n^')^*=h/(sqrt(l_il_j))delta_(ij)delta_(mm^')delta_(nn^').
(2)

1. The dimensionality theorem:

 h=sum_(i)l_i^2=l_1^2+l_2^2+l_3^2+...=sum_(i)chi_i^2(I),
(3)

where each l_i must be a positive integer and chi is the group character (trace) of the representation.

2. The sum of the squares of the group characters in any irreducible representation i equals h,

 h=sum_(R)chi_i^2(R).
(4)

3. Orthogonality of different representations

 sum_(R)chi_i(R)chi_j(R)=0  for i!=j.
(5)

4. In a given representation, reducible or irreducible, the group characters of all matrices belonging to operations in the same class are identical (but differ from those in other representations).

5. The number of irreducible representations of a group is equal to the number of conjugacy classes in the group. This number is the dimension of the Gamma matrix (although some may have zero elements).

6. A one-dimensional representation with all 1s (totally symmetric) will always exist for any group.

7. A one-dimensional representation for a group with elements expressed as matrices can be found by taking the group characters of the matrices.

8. The number a_i of irreducible representations chi_i present in a reducible representation c is given by

 a_i=1/hsum_(R)chi(R)chi_i(R),
(6)

where h is the group order of the group and the sum must be taken over all elements in each class. Written explicitly,

 a_i=1/hsum_(R)chi(R)chi_i^'(R)n_R,
(7)

where chi_i^' is the group character of a single entry in the character table and n_R is the number of elements in the corresponding conjugacy class.

Irreducible representations can be indicated using Mulliken symbols.


See also

Character Table, Finite Group, Group, Group Character, Group Orthogonality Theorem, Group Representation, Itô's Theorem, Lie Algebra Representation, Mulliken Symbols, Orthogonal Group Representations, Semisimple Lie Group Unitary Transformation, Vector Space, Wedderburn's Theorem

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd and Weisstein, Eric W. "Irreducible Representation." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/IrreducibleRepresentation.html

Subject classifications