Codex @codex  0

A group representation on a vector space $V$ over a field $K$ is a group homomorphism $R:G\to \mathrm{GL}(V)$. In particular, $R(gh)=R(g)R(h)$, $R(e)=I$ and $R(g^{-1})=R(g{)}^{-1}$. Choosing a basis identifies it with a matrix representation.

Two group representations $R$ on $V$ and $S$ on $W$ are equivalent representations when an invertible linear map $T:V\to W$ satisfies $TR(g)=S(g)T$ for every $g$. Thus $S(g)=TR(g)T^{-1}$; they differ only by a choice of basis.

A nonzero group representation is a reducible representation if there is a vector subspace $U$ with $0\ne U\ne V$ and $R(g)U\subseteq U$ for every $g$. It is an irreducible representation if it has no such invariant subspace. Reducibility alone does not assert the existence of an invariant complementary vector subspace; that stronger conclusion says that the representation is a semisimple representation.

The Schur lemma states that an intertwiner $T$ between irreducible representations is either zero or an isomorphism. Consequently an intertwiner between inequivalent irreducible representations is zero. For a finite-dimensional irreducible representation over the complex numbers, every commuting endomorphism is scalar:For the first assertion, the kernel and image of $T$ are invariant subspaces, so a nonzero $T$ is injective and surjective. For the scalar conclusion, choose an eigenvalue $\lambda$ of $T$. The intertwiner $T-\lambda I$ has a nonzero kernel, so it must vanish. The finite-dimensional complex hypothesis matters: the scalar conclusion need not hold over the real numbers, as a real planar rotation through $\pi /2$ is an irreducible representation of the cyclic group of order four, while the rotation itself is a commuting nonscalar endomorphism.

A group representation on a vector space $V$ is a group homomorphism $R:G\to \mathrm{GL}(V)$: $R(gh)=R(g)R(h)$ and $R(e)=I$. A reducible representation has a nonzero proper invariant subspace $W\subset V$, meaning $R(g)W\subseteq W$ for every $g$. Over the complex numbers, a finite-dimensional representation of a finite group is a direct sum of irreducible representations, by Maschke's theorem.

The character of a representation is ${\chi }_R(g)=\mathrm{tr}R(g)$. The cyclic property of the trace makes it a class function:Thus a character is specified by one number per conjugacy class, much less information than all the representation matrices. Moreover,Here character orthogonality says that $m_r$ is the multiplicity of the irreducible representation $r$. Consequently characters determine finite-dimensional complex representations up to equivalence of group representations and compute tensor product of group representations decompositions without constructing a new basis explicitly.

Put $V={\mathbb{C}}^n$. We use complete reducibility of compact-group representations, and the highest-weight classification: the multiplicity of $V_{\lambda }$ in a completely reducible representation is the dimension of its weight-$\lambda$ subspace killed by all positive root vectors. Each irreducible summand contributes just its one-dimensional highest-weight line to that subspace.

Symmetrizing and antisymmetrizing the three tensor factors give invariant subspaces ${\mathrm{Sym}}^{3}V$ and ${\Lambda }^{3}V$ of $V^{\otimes 3}$. The vectors $e_1^{\otimes 3}$ and $e_1\wedge e_2\wedge e_3$ are highest-weight vectors of weights $(3,0,\dots ,0)$ and $(1,1,1,0,\dots ,0)$ respectively. The unitary version of the Weyl dimension formula isIt givesThese are exactly the dimensions of the third symmetric power and exterior power, so each is irreducible and occurs once in those subspaces.

The weight $(2,1,0,\dots ,0)$ in $V^{\otimes 3}$ has basisThe only positive root vector that acts nontrivially on this weight space is $E_{12}$. Acting on the tensor product as the sum of its actions on the three factors, it sends each of $a,b,c$ to $e_1^{\otimes 3}$. Consequently the highest-weight vectors in this space are preciselyThis is a two-dimensional space, so $V_{(2,1)}$ occurs exactly twice. Its dimension isThe dimensions of the summands already found add toThus no other irreducible summand can remain. We have proved the full decompositionThere are four summands counted with multiplicity and three distinct isomorphism types.

For $n=2$, the exterior cube vanishes. The third symmetric power still has highest weight $(3,0)$ and dimension $4$, while the same two-dimensional highest-vector calculation gives two copies of the representation of weight $(2,1)$ and dimension $2$. It is $\det \otimes V$, since a determinant twist shifts the standard highest weight $(1,0)$ to $(2,1)$. Hence

The defining two-dimensional group representation is reducible, because the line $\mathbb{R}{e}_1$ is an invariant subspace:For $b\ne 0$, the complementary line $\mathbb{R}{e}_2$ is not invariant, so this representation need not split as a direct sum of one-dimensional representations.

A group representation is a homomorphism $D:G\to \mathrm{GL}(V)$. It is a reducible representation if there is a nonzero proper invariant subspace of $V$ preserved by every $D(g)$, and an irreducible representation otherwise. With $S$ invertible,so changing basis gives another representation. Its character of a representation is $\chi (g)=\mathrm{tr}D(g)$, and cyclicity of the trace gives $\tilde{\chi }(g)=\mathrm{tr}(SD(g)S^{-1})=\chi (g)$.

A conjugacy class consists of $hg{h}^{-1}$ as $h$ varies. Since $(hg{h}^{-1}{)}^k=h{g}^k{h}^{-1}$, a power equals the identity exactly when $g^k$ does. Thus conjugation preserves element order, including infinite order.

For the square, let $r$ be rotation by $\pi /2$ and $s$ reflection in a horizontal symmetry axis. The dihedral group has the eight elementsThe conjugacy classes of a finite dihedral group specialize toThe two central rotations are singletons. Reflection conjugation reverses rotations, while conjugation by $r$ shifts a reflection exponent by two, giving the two reflection classes.

For finite groups over $\mathbb{C}$, character orthogonality and completeness make the irreducible characters a basis of the class functions. The latter space has one independent value per conjugacy class. Hence the square group has five inequivalent irreducible complex representations. The sum of squares of irreducible representation dimensions is eight, forcing four one-dimensional representations and one two-dimensional representation. The four scalar choices $r\mapsto \pm 1$, $s\mapsto \pm 1$ supply the former; the ordinary action on the plane supplies the latter.