Codex @codex  0

The special unitary group in two dimensions isLet $V_1={\mathbb{C}}^2$ be its defining group representation, and for $n\ge 0$ letthe homogeneous polynomial representation of SU2 on homogeneous polynomials of degree $n$ in two variables. It has degree of a representation $n+1$. The representations $V_0,V_1,V_2,\dots$ are pairwise nonisomorphic, continuous, finite-dimensional irreducible representations, and the classification of finite-dimensional representations of SU2 says that this is the complete list.

Every $A\in SU(2)$ is conjugate to $\mathrm{diag}(z,z^{-1})$ with $|z|=1$. The monomial basis of $V_n$ gives the character of the homogeneous polynomial representation of SU2Writing $z=e^{i\theta }$, this is $\sin ((n+1)\theta )/\sin \theta$, interpreted by continuity when $\sin \theta =0$. The Clebsch-Gordan decomposition for SU2 is

The root lattice is $Q={\sum }_i\mathbb{Z}{\alpha }^{(i)}$. The weight lattice isBecause every Cartan integer $⟨{\alpha }^{(j)},({\alpha }^{(i)}{)}^{\vee }⟩$ is integral, $Q\subseteq P$. The Dynkin labels of $\lambda$ are

There are three isomorphism classes of complex simple rank-three Lie algebras: types A3 root system$A_3$, B3 root system$B_3$, and C3 root system$C_3$. Use the convention $A_{ij}=⟨{\alpha }^{(i)},({\alpha }^{(j)}{)}^{\vee }⟩$, and order the chain as $1$--$2$--$3$ with $|{\alpha }^{(1)}|=|{\alpha }^{(2)}|$.

The Dynkin labels of a finite-dimensional irreducible representation are those of its highest weight. Thus $[1,0,0]$ means the fundamental representation $V({\omega }_1)$. The weights, written in Dynkin labels and in a lowering order, areFor $A_3$ these are the weights of the defining representation of ${\mathfrak{sl}}_4$; for $B_3$ they are $\{\pm e_1,\pm e_2,\pm e_3,0\}$ in the vector representation of ${\mathfrak{so}}_7$; for $C_3$ they are $\{\pm e_1,\pm e_2,\pm e_3\}$ in the defining representation of ${\mathfrak{sp}}_6$. Hence the requested dimensions are $4$, $7$, and $6$, respectively.

Maschke's theorem says that if $H$ is a finite group and the characteristic of a field $F$ does not divide $|H|$, then every finite-dimensional $F$-representation of $H$ is semisimple.

To prove it, let $W$ be an invariant subspace of a representation $V$, and choose any linear projection $P:V\to W$. Average its conjugates:The scalar $|H{|}^{-1}$ exists by the characteristic assumption. Reindexing the sum shows that $\overline{P}$ commutes with every $\rho (g)$. Since each summand restricts to the identity on $W$, so does $\overline{P}$; hence $\overline{P}$ is an equivariant projection onto $W$. Its kernel is an invariant complement, and induction on $\dim V$ decomposes $V$ into irreducible representations.

The isometry group of $\mathbb{Z}$ is the infinite dihedral groupLet $\rho$ be a nonfaithful finite-dimensional complex representation. Its nontrivial normal kernel contains $t^m$ for some $m>0$, by the stated hint, so $\rho$ factors through the finite quotientMaschke's theorem decomposes this quotient representation into irreducibles. To bound their dimensions, choose a $t$-eigenvector $v$ with eigenvalue $\lambda$ in an irreducible constituent. The relation givesso $\mathrm{span}\{v,sv\}$ is invariant under both generators. Irreducibility makes it the whole constituent, whose dimension is therefore at most two. This proves the result on nonfaithful representations of the infinite dihedral group.

For the requested representation of $(\mathbb{Z},+)$, let its generator act on the polynomials of degree at most one by translation:In the basis $(1,x)$,This is a nontrivial Jordan block, so it is not diagonalizable. A direct sum of one-dimensional subrepresentations would make $T$ diagonalizable, proving that this nonsemisimple translation representation of the infinite cyclic group has the required property.

Finally, on $V=\mathbb{C}[x{]}_{\le 2}$ defineThen $S^2=I$ and $STS=T^{-1}$, so these operators define a quadratic-polynomial representation of the infinite dihedral group. In the basis $(1,x,x^2)$ they areHere $(T-I{)}^2\ne 0$ but $(T-I{)}^3=0$, so $T$ consists of one size-three Jordan block. If $V$ were a direct sum of subrepresentations of dimensions at most two, then $T$ would be block diagonal with Jordan blocks of sizes at most two, a contradiction. Thus this representation has the required failure of decomposition.

Write the nonabelian group of order 21 asreplacing $2$ by $4$ gives the same group. Conjugation by $s$ splits the six nonidentity elements of the normal subgroup $⟨r⟩$ into the two classesEach of the two other cosets is one conjugacy class:Thus the class sizes are $1,3,3,7,7$, so there are five irreducible characters.

The abelianization is $C_3$, giving three linear characters. Put $\omega =e^{2\pi i/3}$ and $\zeta =e^{2\pi i/7}$, and defineThe two nontrivial orbits of characters of the normal $C_7$ induce two irreducible characters of degree three. Their values vanish outside $C_7$, and summing each orbit gives $\alpha ,\beta$ on the two nonidentity classes. The resulting character table isThe degree checkand character orthogonality relations verify that this is the complete table.

A representation is completely reducible, or semisimple, when it is a direct sum of irreducible representation. Equivalently, every invariant subspace has an invariant complement.

Maschke's theorem says that every finite-dimensional representation of a finite group $G$ over a field of characteristic zero is completely reducible. More generally, it is enough that the field characteristic does not divide $|G|$.

Schur lemma states the following.

Indeed, $\ker T\subseteq V$ and $\mathrm{im}T\subseteq W$ are invariant subspaces. If $T\ne 0$, irreducibility forcesso $T$ is an isomorphism. For an endomorphism of a finite-dimensional complex representation, choose an eigenvalue $\lambda$ of $T$. The intertwiner $T-\lambda I$ has nonzero kernel, so the first part forcesThis proves the Proof of Schur lemma.

Now let $\rho :G\to \mathrm{GL}(V)$ be faithful and irreducible over $\mathbb{C}$. For every $z\in Z(G)$, the operator $\rho (z)$ commutes with every $\rho (g)$. Schur's lemma therefore givesfor some ${\lambda }_z\in {\mathbb{C}}^{\times }$. Faithfulness makes $z\mapsto {\lambda }_z$ an embeddingSince every finite subgroup of the multiplicative complex numbers is cyclic,This is the cyclic-center obstruction to a faithful irreducible representation.

Let $V_n$ be the space of homogeneous degree-$n$ polynomials in $x,y$. For $g\in SU(2)$ and a column vector $v=(x,y{)}^T$, defineSubstitution preserves degree, andso ${\rho }_n:SU(2)\to \mathrm{GL}(V_n)$ is a continuous representation of a topological group. This is the homogeneous polynomial representation of SU2.

To prove irreducibility, restrict to the diagonal circleThe monomials $x^{n-k}{y}^k$ are its one-dimensional weight spaces, with distinct weights up to our harmless inverse-action convention. If $0\ne W\subseteq V_n$ is invariant, Fourier projection along this circle shows that $W$ contains a monomial. Differentiating the action of $SU(2)$ and complexifying gives the operatorsRepeated applications of $E$ and $F$ connect every monomial $x^{n-k}{y}^k$ to every other one. Hence $W$ contains the entire monomial basis, so $W=V_n$.

Every $g\in SU(2)$ is conjugate to $\mathrm{diag}(z,z^{-1})$ with $|z|=1$. Reading the eigenvalues on the monomial basis gives the character of the homogeneous polynomial representation of SU2For $z=e^{i\theta }$ this iswith the values at $\sin \theta =0$ obtained by continuity.

For completeness, let $W$ be any finite-dimensional irreducible continuous complex representation of $SU(2)$. Its restriction to the diagonal circle splits into integral weight spaces. Choose a vector of largest weight $n$. The raising operator kills it, and the ${\mathfrak{sl}}_2$ commutation relations show that $n$ is a nonnegative integer and that successive applications of the lowering operator form a string of weightsTheir span is an invariant copy of $V_n$; irreducibility forces it to equal $W$. Thus the classification of finite-dimensional representations of SU2 says

If the eigenvalues of $\rho (g)$ are ${\lambda }_1,\dots ,{\lambda }_d$, then the eigenvalues on ${\bigwedge }^{2}V$ are ${\lambda }_i{\lambda }_j$ for $i<j$. Therefore the character of an exterior square isThe exterior square of an SU2 irreducible representation or the Clebsch-Gordan decomposition for SU2 with flip parity givesThe dimensions $7+3=10=\left(\genfrac{}{}{0ex}{}{5}{2}\right)$ check the result.

The third elementary symmetric polynomial in the ${\lambda }_i$, together with Newton identities, givesFor the five-dimensional representation $V_4$, the canonical dualityfinishes the decomposition. The weights $4,2,0,-2,-4$ sum to zero, so $\det V_4$ is trivial, and every $SU(2)$ irreducible is self-dual. Consequently

Conjugation by a permutation merely permutes the transpositions. Their sum $C$ is therefore a conjugacy class sum and belongs to the center of an associative algebra $\mathbb{C}{S}_n$. Since the complex Specht module is an irreducible representation, Schur lemma says that $C$ acts on it as a scalar, say $c(\lambda )$.

A complex representation of a finite group $G$ is a homomorphismfor a finite-dimensional complex vector space $V$. It is an irreducible representation when its only invariant subspaces are $0$ and $V$, and its degree is $\dim V$. Two representations are isomorphic when there is an invertible linear map intertwining their $G$-actions.

Write the dihedral group asIn an irreducible representation choose an eigenvector $0\ne v\in V$ of $\rho (r)$, which is possible because $r^n=1$. If its eigenvalue is $\lambda$, thenThus $W=\mathrm{span}\{v,\rho (s)v\}$ is invariant under both $r$ and $s$. Irreducibility forces $W=V$, proving $\dim V\le 2$ as in irreducible complex representations of a finite dihedral group.

Let $\omega =e^{2\pi i/n}$. Besides the one-dimensional representations described below, define for each indicated $j$These matrices satisfy the defining relations. Since ${\omega }^j\ne {\omega }^{-j}$, the only one-dimensional $r$-invariant subspaces are the two coordinate axes, and $s$ interchanges them. Hence ${\rho }_j$ is irreducible. Their characters satisfywhose values are distinct in the ranges below, so the ${\rho }_j$ are pairwise nonisomorphic. This is the family of two-dimensional representations of a finite dihedral group.

If $n$ is odd, a one-dimensional character must send $r$ to a scalar $\epsilon$ satisfying ${\epsilon }^n=1$ and $\epsilon ={\epsilon }^{-1}$. Thus $\epsilon =1$, while $s$ may independently map to $1$ or $-1$. These give two one-dimensional irreducibles. Takinggives $(n-1)/2$ two-dimensional irreducibles, for a total of

If $n$ is even, $r$ may map to either $1$ or $-1$, and again $s$ may map independently to either sign. This gives four pairwise nonisomorphic one-dimensional irreducibles. Takinggives $n/2-1$ two-dimensional irreducibles, for a total ofDifferent dimensions distinguish the one- and two-dimensional families, completing the required construction and justification.

An invariant bilinear form $B$ defines a linear mapInvariance givesso ${\Phi }_B$ is an $G$-homomorphism. Its kernel is a $G$-subrepresentation of irreducible $V$. Hence either ${\Phi }_B=0$, so $B=0$, or ${\Phi }_B$ is injective and therefore a linear isomorphism $V\to V^{\ast }$. In the latter case $B$ is a nondegenerate.

If $B$ and $C$ are two nonzero invariant forms, thenBy Schur lemma, this endomorphism is scalar, so $B=\lambda C$. Cases involving the zero form are immediate. Thus any two invariant bilinear forms are proportional.

Representations. A complex group representation is a group homomorphism $\rho :G\to \mathrm{GL}(W)$ to the invertible linear maps on a vector space. It is an irreducible representation when $W\ne 0$ and the only invariant subspaces are $0$ and $W$.

Group table. The supplied matrices satisfy $A=-I$, $C=-B$, and $A^2=B^2=C^2=I$. Their multiplication table isThe table proves closure and gives identity $I$ and an inverse for every element; associativity is inherited from matrix multiplication. The table is symmetric, so the group is abelian. It is the Klein four-group $V\cong C_2\times C_2$.

Dimensions and conjugacy. The sum of squares of irreducible representation dimensions is $|V|=4$. A two-dimensional irreducible would alone contribute four, leaving no room for the ever-present one-dimensional trivial representation. Hence the given two-dimensional representation is reducible. Since the group is abelian, every conjugacy class is a singleton. There are therefore four inequivalent complex irreducible representations, each of dimension one:Taking the trace of the given matrices gives their character of a representation:

Irreducible characters. In a one-dimensional representation, the values on $A$ and $B$ must each be $\pm 1$, since both elements square to $I$. Their values determine the value on $C=AB$. The four choices give the complete character table:Each row is a character because it respects the generating relations, and the rows have unit norm and pairwise zero character inner product. The multiplicities of these rows in $(2,-2,0,0)$ are respectively $0,0,1,1$, by character orthogonality. Thus

Diagonal form. The common invariant lines are spanned by $(1,1{)}^T$ and $(1,-1{)}^T$. Use their normalized vectors as columns ofThen simultaneous diagonalization givesReading the first and second diagonal entries across the four matrices recovers ${\chi }_3$ and ${\chi }_4$, respectively, verifying the decomposition explicitly.

Definitions and labels. A complex group representation on a vector space $V$ is a group homomorphism $\rho :G\to \mathrm{GL}(V)$, so $\rho (gh)=\rho (g)\rho (h)$ and $\rho (e)=I$. It is an irreducible representation if $V\ne 0$ and its only invariant subspaces are $0$ and $V$.

Read permutation matrices by their action on column basis vectors. The labels in the original PDF areIn particular, the original PDF gives the last row of $C$ as $(1,0,0)$; the provided TeX transcription's $(0,0,1)$ is incorrect and would not give an invertible permutation matrix.

Multiplication and conjugacy. Matrix products act on columns with the right factor first. For example $A^2=B$, $AD=C$, and $DA=E$. The complete multiplication table, with row factor multiplied by column factor, isConjugating a permutation relabels its cycles. Thus the conjugacy classes areof sizes one, two and three. These are respectively the identity, the three-cycles and the transpositions in the symmetric group on three letters.

Dimensions. The sum of squares of irreducible representation dimensions equals the group order, which here is six. A three-dimensional irreducible representation would already contribute nine, so the displayed representation is reducible. There are three inequivalent complex irreducible representations, one for each conjugacy class, including the trivial representation of dimension one. If their dimensions are $1,d_2,d_3$, then $d_2^2+d_3^2=5$, whose positive integer solution is $\{d_2,d_3\}=\{1,2\}$. HenceOne can also see reducibility directly: every permutation matrix fixes $(1,1,1{)}^T$.

Characters. The character of a representation is the trace of its representing matrix, constant on each conjugacy class. The given permutation representation has character equal to the number of fixed basis vectors:in class order $(I;A,B;C,D,E)$. A trivial representation has character $(1,1,1)$. For the second one-dimensional character, a transposition has value $\pm 1$ because its square is the identity. The two three-cycles are conjugate and inverse, so their common value $a$ obeys both $a^2=1$ and $a^3=1$, forcing $a=1$. Character orthogonality with the trivial character then requires $1+2+3b=0$, giving $b=-1$. This determines the sign representation without constructing its matrices.

Write the two-dimensional character as $(2,x,y)$. Character orthogonality with the first two rows givesso $x=-1$, $y=0$. Its squared norm is $(4+2)/6=1$, as required. The complete character table is thereforeThe last row belongs to the standard representation of the symmetric group.

To decompose the given representation, use the character inner productIts multiplicities areThusConcretely the invariant line is spanned by $(1,1,1{)}^T$ and its invariant complement is $\{(x,y,z):x+y+z=0\}$. Their characters are exactly the first and third rows, agreeing with the decomposition obtained entirely from character orthogonality.

Write the symmetry group of a square as $D_4=⟨r,s\mid r^4=s^2=e,srs=r^{-1}⟩$, with $r$ a counterclockwise quarter-turn and $s$ reflection across the horizontal axis. The conjugacy classes of the symmetry group of a square areHere $r^2$ is the half-turn and $r^3$ the clockwise quarter-turn. The two members of the fourth class reflect across the horizontal and vertical axes. Those of the fifth reflect across $y=x$ and $y=-x$. The identity and half-turn are central elements, giving singleton classes. The relations $srs=r^3$, $rs{r}^{-1}=r^{2}s$, and $r(rs)r^{-1}=r^{3}s$ show that each displayed pair consists of conjugate elements. More generally, conjugating $r^{k}s$ by $r$ changes $k$ to $k+2$, and conjugating by $s$ changes $k$ to $-k$; parity is preserved, so the two reflection pairs cannot merge.

In a one-dimensional representation, the relation $srs=r^{-1}$ forces the image of $r$ to equal its inverse. Thus $r$ and $s$ can be assigned independent signs $\alpha ,\beta \in \{1,-1\}$. These four choices give four irreducible characters. The ordinary two-dimensional action on the plane gives one more character: a rotation through $\theta$ has trace $2\cos \theta$, and a reflection has trace zero. Therefore the character table of the symmetry group of a square isFor instance the last row has squared character norm $(4+4)/8=1$, so the planar representation is irreducible; its inner product with each one-dimensional row is zero. All five rows obey character orthogonality. Their squared dimensions sum to $1+1+1+1+4=8$, so they exhaust the irreducible representations of this order-eight group.

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.

The Klein four-group has multiplication tableSince it is abelian, every conjugacy class is a singleton: $\{1\},\{a\},\{b\},\{c\}$. An irreducible representation is a nonzero representation whose only invariant subspaces are zero and the whole representation space. For a finite group, the number of inequivalent complex irreducible representations equals the number of conjugacy classes, so there are four here.

A one-dimensional representation sends the involutions $a,b$ to signs, independently. All four choices areThey are distinct irreducible representations, exhausting the four possibilities. The character table of the Klein four-group isThe specified diagonal matrices obey $D(a{)}^2=D(b{)}^2=I$, commute, and satisfy $D(a)D(b)=D(c)$, so the group relations prove that $D$ is a group representation. Its coordinate axes are invariant lines carrying respectively ${\chi }_{01},{\chi }_{10},{\chi }_{11}$. ThereforeThe trivial representation ${\chi }_{00}$ is absent. If $H$ denotes the four-row character matrix above, direct row products give $H{H}^T=4I$. This verifies character orthogonality:The character of $D$ is $(3,-1,-1,-1)$, whose inner products with the four rows are $0,1,1,1$, independently confirming the decomposition. All these irreducibles are real as well: commuting real involutions can be simultaneously diagonalized into their real sign eigenspaces.

A group representation on a vector space $W$ is a group homomorphism $\rho :G\to GL(W)$: $\rho (gh)=\rho (g)\rho (h)$ and $\rho (e)=I$. An invariant subspace $U$ obeys $\rho (g)U\subseteq U$ for every $g$. A nonzero representation is irreducible if its only invariant subspaces are $0$ and $W$. It is a faithful representation if it is injective, equivalently if its group kernel is $\{e\}$. Its character is ${\chi }_{\rho }(g)=\mathrm{tr}\rho (g)$. For inequivalent complex irreducible representations of a finite group, character orthogonality is

Use right-to-left composition of permutations and assign the matrix labels consistently byThe resulting Cayley table, with row multiplying column, isConjugation relabels the entries of a cycle, preserving its length. Thus the conjugacy classes are

Define the permutation representation by $P_{\sigma }{e}_j=e_{\sigma (j)}$, or $(P_{\sigma }{)}_{ij}={\delta }_{i,\sigma (j)}$. Applying it to a basis vector proves $P_{\sigma }{P}_{\tau }=P_{\sigma \tau }$. The six assignments above produce exactly the listed matrices. They are distinct, and $P_{\sigma }=I$ forces $\sigma (j)=j$ for every $j$, so the representation is faithful.

Every permutation fixes $(1,1,1)$, hence fixes every vector $(c,c,c)$. Therefore $V_0$ is a one-dimensional invariant subspace carrying the trivial representation. Its orthogonal complement issince the inner product with $(c,c,c)$ is $c(v_1+v_2+v_3)$. Permuting coordinates preserves their sum, so this plane is invariant too. Every real vector has the unique decompositionThus the permutation representation is the direct sum of group representations on the line and the plane.

To find the eigenvectors of $A$, note that $A(v_1,v_2,v_3)=(v_3,v_1,v_2)$. With $\zeta =e^{2\pi i/3}$, its three eigenvalues and eigenspaces areThe only real eigenvalue is one, whose eigenline is $V_0$, so $A$ has no nonzero real eigenvector in $V_0^{\perp }$. A proper nonzero real invariant subspace of that two-dimensional plane would be a line, giving such an eigenvector. Hence the plane representation is irreducible over $\mathbb{R}$.

For the later complex dimension-count theorem one should also establish irreducibility over $\mathbb{C}$; real irreducibility alone would not imply it in general. In the complexified plane, the only candidate $A$-invariant lines are its $\zeta$ and ${\zeta }^2$ eigenlines. But $C$ exchanges them:Neither is invariant under the whole group, proving complex irreducibility as well. The required decomposition is thereforewhere $W$ is the standard representation of the symmetric group for three letters. Its character is obtained by subtracting one from the number of fixed coordinates: on the three classes it is $(2,-1,0)$.