Codex @codex  0

The Specht module construction gives a nonzero inclusion $V^{\lambda }\hookrightarrow M^{\lambda }$ over the complex numbers: a polytabloid has coefficient one at its original tabloid, because the row and column stabilizers have trivial intersection, and its span is the corresponding irreducible representation. This establishes $a=M(\lambda ,\lambda )\ge 1$ without using the multiplicity-one conclusion. Similarly $a^{\prime }=M({\lambda }^{\prime },{\lambda }^{\prime })\ge 1$.

By the corrected tensor identity for induced representations and the conjugate-partition sign twist, the multiplicity of $V^{\lambda }$ in ${\tilde{M}}^{{\lambda }^{\prime }}$ is $a^{\prime }$. The character inner product already computed is the sum of products of multiplicities of common irreducible representations. ThusBoth are positive integers, so $a=a^{\prime }=1$. In particularThis deduction avoids assuming the full Young's rule, which would already contain the answer. Alternatively, the permitted one-dimensional R-module homomorphism space gives the same character inner product immediately.

Fix $\lambda ⊢n$ and $\rho ⊢n-1$. Write $\rho \nearrow \mu$ when a single addable node of a Young diagram turns $\rho$ into $\mu$. For each positive part ${\lambda }_i$, let ${\lambda }^{\downarrow i}$ be the partition of an integer obtained by decreasing that part by one, sorting, and omitting zeros. The Vershik linear relations areEqual row lengths must be counted separately on the right. Equivalently, if $c(\lambda ,\gamma )$ is the number of rows whose decrement produces $\gamma$, the right side is ${\sum }_{\gamma \nearrow \lambda }c(\lambda ,\gamma )M(\rho ,\gamma )$. There is no multiplicity coefficient on the left because irreducible restriction branching rule for a symmetric group is simple.

To prove the relations, restrict the Young permutation module $M^{\lambda }$ to the subgroup $S_{n-1}$ fixing $n$. The tabloids split into orbits of a group action according to which labeled row contains $n$. Removing that entry gives, for row $i$, the Young permutation module with composition $\lambda -e_i$, which is isomorphic to the one for its sorted partition. HenceIts $V^{\rho }$ multiplicity is the right side. On the other hand decompose $M^{\lambda }$ into irreducible representations first and apply the restriction branching rule for a symmetric group to each summand. Its $V^{\rho }$ multiplicity is then the left side. Equality proves the relation.

For example $\lambda =(2,2)$ restricts to $2M^{(2,1)}$, so the coefficient is two rather than one. For $\lambda =(1^n)$, the regular representation, the relation reduces to ${\sum }_{\mu :\rho \nearrow \mu }\dim V^{\mu }=n\dim V^{\rho }$. These checks emphasize why counting distinct resulting partitions without their row multiplicities would give a false recurrence.

Use the nonnegative Hodge-Laplacian convention from Question 4. The Bochner-Weitzenbock formula for one-forms isHere $\nabla$ is the Levi-Civita connection induced on the cotangent bundle, and the rough Laplacian in a local orthonormal frame isIt is the composition of covariant derivative with its formal adjoint. The Ricci endomorphism is defined by $g({\mathrm{Ric}}^{♯}X,Y)=\mathrm{Ric}(X,Y)$ and acts on one-forms by $(\mathrm{Ric}\cdot \alpha )(X)=\alpha ({\mathrm{Ric}}^{♯}X)$. The musical isomorphism defines ${\alpha }^{♯}$ by $g({\alpha }^{♯},X)=\alpha (X)$. The associated scalar formula isThese signs make the integrated rough-Laplacian term $\Vert \nabla \alpha {\Vert }^2$ on a closed manifold.

For a connected manifold, the full Riemannian holonomy group at $p$ is the subgroup of $O(T_{p}M,g_p)$ consisting of parallel transports around all piecewise smooth loops based at $p$. Its natural action on $T_{p}M$ is the holonomy representation; it induces actions on cotangent spaces and all tensor spaces. The holonomy representation is an irreducible representation when it has no nonzero proper invariant subspace.

The fundamental principle of Riemannian holonomy identifies parallel tensor fields with tensors at $p$ fixed by full holonomy. A parallel field returns to its value under every loop. Conversely, transport a fixed tensor along a path from $p$ to each point. Any two paths differ by a loop, so the result is independent of the path; local smooth parallel transport yields a smooth parallel field. Evaluation and construction are inverse. Full holonomy, not merely the contractible-loop subgroup, is required for this global correspondence.

On a compact manifold without boundary and with nonnegative Ricci curvature, a harmonic one-form satisfies the integrated Bochner identityBoth terms are nonnegative; therefore $\nabla \alpha =0$. This proves that harmonic one-forms are parallel under nonnegative Ricci curvature. Integration uses the Riemannian volume density and does not require an orientation.

If $n=\dim M\ge 2$, a nonzero such form would give a nonzero fixed tangent vector via metric duality and hence a proper invariant line, contradicting irreducibility. This is precisely the irreducible holonomy in dimension at least two has no parallel one-form criterion. Since the question permits harmonic representatives of all classes, it gives $b_1(M)=0$, where $b_1$ is the first Betti number.

The covering $\pi :X\times T^k\to M$ is finite: its fibre over a point is a closed discrete subset of the compact total space and hence finite. Use the explicitly permitted equality of the Betti numbers of $M$ and its finite cover, in particular $b_1(X\times T^k)=b_1(M)=0$. This equality is a permission of this question, not a general theorem about finite covers.

The $k$ angular one-forms on $T^k$, pulled back to $X\times T^k$, represent linearly independent de Rham classes: their periods on the $k$ coordinate circles are the standard basis vectors. exact differential forms have zero periods. Thus $b_1(X\times T^k)\ge k$, forcing $k=0$. Now $\pi :X\to M$ is a finite universal covering map because $X$ is simply connected. The fundamental group acts freely and transitively on a fibre, or equivalently loop-lifting identifies its elements with the finite set of possible endpoints upstairs. Consequently the intended conclusion isThe printed statement needs the dimension qualification under the usual definition of irreducibility. Take the standard circle $M=S^1$, with $X$ a point, $k=1$, and the identity covering $X\times T^1\to S^1$. Its Ricci curvature is zero. parallel transport fixes its global unit tangent, so its holonomy representation is the trivial representation on a one-dimensional real vector space, which is irreducible. The allowed Betti-number equality holds for this identity cover, yetThus there is no proof of the unqualified literal assertion in dimension one. If “irreducible holonomy” is instead intended to exclude the one-dimensional trivial representation, the preceding intended proof applies. A connected zero-dimensional manifold is a point and has trivial fundamental group.

The identity is one conjugacy class. In $N\setminus \{1\}$, conjugation by $c$ pairs each element with its inverse, giving four classes represented by $a,b,ab,a{b}^2$, each of size two. All nine elements of $Nc$ are conjugate, since conjugation by $n\in N$ changes the reflection component by $n^2$ and squaring is a bijection of $N$.

There are two linear characters: the trivial character and the character equal to one on $N$ and minus one on $Nc$. Write $\omega =e^{2\pi i/3}$. The remaining four irreducible characters of a representation are induced from the nontrivial characters $a^i{b}^j\mapsto {\omega }^{ri+sj}$ of $N$, pairing $(r,s)$ with $(-r,-s)$. They are exactly the two-dimensional representations already proved irreducible. Taking representatives $(1,0),(0,1),(1,1),(1,2)$ yields the character tableIndeed the induced value on $a^i{b}^j$ is ${\omega }^{ri+sj}+{\omega }^{-(ri+sj)}$, equal to two or minus one, and is zero off $N$. The squared dimensions sum to $1+1+4\cdot 4=18$, so this is the complete table.

An element of $N$ centralizes $c$ only if it equals its inverse, hence only if it is the identity. No reflection centralizes $a$. Thus $Z(E)=\{1\}$ is cyclic, but the two linear representations kill $N$ and each two-dimensional irreducible has a nontrivial kernel of a group homomorphism of order three. Therefore a cyclic centre does not imply a faithful irreducible representation.

Conjugation by $P$ partitions $H$ into orbits. Each non-singleton orbit has size divisible by $p$, by the orbit-stabilizer theorem. The singleton orbits are exactly $H\cap Z(P)$. Since $|H|$ is divisible by $p$, $|H\cap Z(P)|\equiv 0(\mathrm{mod}p)$. This set contains $1$, so $\boxed{|H\cap Z(P)|\ge p}$.

For the deduction we also give the representation-theoretic ingredient behind Burnside's theorem: a nonabelian finite simple group has no nontrivial conjugacy class of prime power size. Here is a proof, so no stronger theorem is being assumed without justification. Suppose $g\ne 1$ has class size $p^b$. For an irreducible character $\chi$ of degree $d$ coprime to $p$, the class sum acts as the scalar $p^b\chi (g)/d$, which is an algebraic integer: the class sum has an integer-entry matrix in the regular representation, which contains every irreducible representation, so this scalar is an eigenvalue of an integer-entry matrix. Also $\chi (g)$ is an algebraic integer. Bezout's identity then makes $\chi (g)/d$ an algebraic integer. All its algebraic conjugates have modulus at most $1$, because character values of a representation are sums of $d$ roots of unity. An algebraic integer with this property is zero or a root of unity: the monic polynomials of all its powers have uniformly bounded integer coefficients, so two powers must coincide unless it is zero.

Every nontrivial irreducible representation of a simple group is faithful. If $\chi (g)/d$ were a root of unity, equality in the triangle inequality would force its representing matrix to be scalar, hence $g$ central, impossible. Thus $\chi (g)=0$ whenever $p\nmid d$, except for the trivial character of a representation. Orthogonality of the identity column and the $g$ column in the character table now givesThis would make $1/p$ an algebraic integer, contradicting the fact that rational algebraic integers are integers. The same proof covers class size $1$ directly through triviality of the center.

If an abelian subgroup $A$ had index $p^a$, every $g\in A\setminus \{1\}$ would have $A\subseteq C_G(g)$, making its class size a divisor of $p^a$, a contradiction. Such a $g$ exists: if $A=1$, then $G$ is a nontrivial p-group, whose center is nontrivial by the first argument with $H=P$. Therefore a nonabelian simple group has no abelian subgroup of prime power index.

Put $N_a=a^{†}a$ and $N_b=b^{†}b$. The canonical commutation relations give $[N_a,a^{†}]=a^{†}$, $[N_a,a]=-a$, and the analogous relations for $b$, with all cross-mode operators commuting. Consequently $[K_3,K_{+}]=K_{+}$ and $[K_3,K_{-}]=-K_{-}$. Alsoso $[K_{+},K_{-}]=N_a-N_b=2K_3$. This is the Schwinger boson representation of the angular momentum algebra, with $\hslash =1$ in the stated commutators.

The vacuum has $N_a=N_b=0$, and $(a^{†}{)}^2|0⟩$ has occupation numbers $(2,0)$, hence $K_3$ eigenvalue $1$. With $N=N_a+N_b$,Thus $\boxed{K^2(a^{†}{)}^2|0⟩=2(a^{†}{)}^2|0⟩}$. It is the highest-weight state of the spin-one irreducible representation. There are two other states in this multiplet, $a^{†}{b}^{†}|0⟩$ and $(b^{†}{)}^2|0⟩$, with $K_3$ eigenvalues $0,-1$. A normalized basis is $(a^{†}{)}^2|0⟩/\sqrt{2}$, $a^{†}{b}^{†}|0⟩$, $(b^{†}{)}^2|0⟩/\sqrt{2}$. This count assumes the usual two-mode bosonic Fock space; an extra unmentioned vacuum multiplicity could replicate the multiplet.

Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every $A$ and every state $|\chi ⟩$,Positivity therefore gives $Q_2^A={\bar{Q}}_{\dot{2}A}=0$ on this massless supermultiplet. The equal-chirality anticommutator $\{Q_1^A,Q_2^B\}={ϵ}_{12}{Z}^{AB}$ then shows that every central charge in supersymmetry vanishes on this superalgebra representation.

Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum $|\lambda ⟩$ of helicity $\lambda \in \frac{1}{2}\mathbb{Z}$ annihilated by every $a_A$. Such a vector exists because the commuting fermion number operators $a_A^{†}{a}_A$ have eigenvalues $0$ and $1$, and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention $[J_3,Q_1^A]=\frac{1}{2}{Q}_1^A$, its adjoint has $[J_3,a_A^{†}]=-\frac{1}{2}{a}_A^{†}$. Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level-$k$ states form the exterior power ${\Lambda }^k{\mathbb{C}}^{\mathcal{N}}$, which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain $2^{\mathcal{N}-1}$ states, so a physical massless supermultiplet has $2^{\mathcal{N}-1}$ boson and $2^{\mathcal{N}-1}$ fermion states.

These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity $h$ to $-h$ and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second $2^{\mathcal{N}}$-state supermultiplet, with highest helicity $\mathcal{N}/2-\lambda$. A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is $\lambda =\mathcal{N}/4$; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.

For the conventional bounds on extended supersymmetry, suppose all massless states satisfy $|h|\le s_{\max }$. The helicity spectrum of a massless supermultiplet occupies an interval of width $\mathcal{N}/2$, whereas the available interval has width $2s_{\max }$. HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum $3/2$ requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting $s_{\max }=1$ gives $\mathcal{N}\le 4$ for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing $\lambda =1$ givesfor its supersymmetric vector multiplet.

Allowing gravity permits $s_{\max }=2$, so $\mathcal{N}\le 8$ for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with $\lambda =2$:It has $256$ states, $128$ boson and $128$ fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.

Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities $(0,-\frac{1}{2})$ can carry a complex gauge group representation $R$. Its CPT completion of a supermultiplet supplies the right-handed antiparticle in $\bar{R}$, as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in $\bar{R}$. Consequently a chiral gauge spectrum is possible.

For $\mathcal{N}=2$, the matter hypermultiplet has helicities $(\frac{1}{2},0,0,-\frac{1}{2})$ before internal charge conjugation. If it carries a complex gauge group representation $R$, its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two $\mathcal{N}=1$ chiral superfields, one in $R$ and one in $\bar{R}$. These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every $\mathcal{N}\ge 2$ algebra contains an $\mathcal{N}=2$ subalgebra, the same obstruction applies to greater extended supersymmetry.

Therefore a conventional chiral gauge spectrum is possible only for $\mathcal{N}=0$ or $\mathcal{N}=1$. Here $\mathcal{N}=0$ means no supersymmetry; among theories with actual supersymmetry, only $\mathcal{N}=1$ qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.

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.

A finite group is $m$-quasirandom if every nontrivial irreducible representation over the complex numbers has degree at least $m$. The trivial representation is excluded. Large $m$ suppresses correlations of products of arbitrary subsets, through product mixing in a quasirandom group.