Codex @codex  0

Use $c>0$, the necessary parameter range for the bounds involving $1/c$. The construction comes from the singular value decomposition of matrix Fourier blocks. For each inequivalent unitary irreducible representation $\rho$ of dimension $d_{\rho }$, consider the Hilbert space ${\mathcal{H}}_{\rho }=M_{n\times d_{\rho }}(\mathbb{C})$ with the Hilbert-Schmidt inner product $⟨A,B⟩=\mathrm{tr}(A^{\ast }B)$ and the operatorIts operator norm is at most one, since $\rho (x)$ is a unitary matrix and $\Vert f(x){\Vert }_{\mathrm{op}}\le 1$. Thus all its singular values ${\lambda }_{\rho ,j}$ lie in $[0,1]$.

Two identities control their weighted moments:Here the expectation in $S_4$ is uniform on the $|G{|}^3$ solutions of the constraint, and the trace on ${\mathcal{H}}_{\rho }$ used to compute each moment is the ordinary operator trace. We justify the identities explicitly to fix their normalizations and the noncommutative order.

The adjoint operator is $T_{\rho }^{\ast }(A)={\mathbb{E}}_{y}f(y{)}^{\ast }A\rho (y)$, soFor rectangular matrices, the operator $A\mapsto LAR$ has trace $\mathrm{tr}(L)\mathrm{tr}(R)$, as is seen on the matrix-unit basis. Squaring the previous operator therefore givesThe required representation theory consists of unitarization of a finite-group representation, the Schur orthogonality relations, and the regular representation decomposition. The last gives the character expansion of the identity deltaSumming the two operator traces with weights $d_{\rho }$ selects $x=y$ in the first, and $w=x{y}^{-1}z$ in the second. Multiplication by $|G|$ converts each independent-variable expectation to its conditional expectation. This proves $S_2,S_4$. In particular $S_4$ is real and nonnegative, despite the apparently complex summands in its original formula. Since $S_4\le S_2\le n$, the nonvacuous hypothesis has $0<c\le 1$.

Select every singular value satisfying ${\lambda }_{\rho ,j}\ge \sqrt{c/2}$. Index the selected pairs by $p=1,\dots ,r$, set ${\rho }_p=\rho$, $n_p=d_{\rho }$, and choose unit right singular vectors $A_p$ and unit left singular vectors $B_p$ with $T_{{\rho }_p}{A}_p={\lambda }_p{B}_p$. DefineBoth are $n\times n_p$ matrices, proving (i). Repeated group representations in this list are literally the same chosen representative, rather than different equivalent realizations.

A Non-Abelian gauge theory promotes an internal group representation symmetry to a spacetime-dependent transformation and introduces a gauge field so that differentiation transforms covariantly. The symmetry is a gauge redundancy: physically meaningful quantities must be invariant under local changes of field representative. We work in four-dimensional Minkowski spacetime with signature $(+---)$, and use skew-Hermitian matrix generators throughout.

For the compact Simple Lie group $G$, its real Lie algebra has a negative-definite Killing form. Hence $B=-\kappa$ is a positive invariant bilinear form on a Lie algebra. Choose a $B$-orthonormal basis $T_a$, $a=1,\dots ,\dim G$, with $[T_a,T_b]=f_{ab}{}^c{T}_c$. Invariance makes $f_{abc}=B([T_a,T_b],T_c)$ fully antisymmetric. This construction uses the Adjoint representation and works independently of any chosen scalar representation.

Let ${\mathcal{A}}_{\mu }={\mathcal{A}}_{\mu }^a{T}_a$ be a Lie-algebra-valued gauge potential, with the coupling absorbed into this connection. If $R$ is the given finite-dimensional irreducible representation of $G$, its Lie algebra representation $\rho =dR$ definesFor a finite local transformation $U(x)\in G$, require ${\Phi }^{\prime }=R(U)\Phi$ and $D_{\mu }^{\prime }{\Phi }^{\prime }=R(U)D_{\mu }\Phi$. Differentiating the first equation forces the gauge-field transformation lawThus the gauge potential transforms inhomogeneously; an ordinary derivative alone would leave an uncancelled derivative of $U$.

The commutator of gauge covariant derivatives determines the gauge field strength:The Lie algebra representation preserves the bracket, so this formula holds for any $R$, including a trivial scalar representation. The gauge field strength itself is defined in the gauge algebra. The transformation of the connection impliesIt is therefore covariant, rather than invariant as a Lie-algebra-valued quantity.

For infinitesimal $U=1+ϵ+O({ϵ}^2)$, the same equations give the infinitesimal gauge transformation with an anti-Hermitian connection:Substitution into $\delta (D_{\mu }\Phi )$ cancels the terms containing ${\partial }_{\mu }ϵ$ and gives $\delta (D_{\mu }\Phi )=\rho (ϵ)D_{\mu }\Phi$, the gauge covariance of a scalar covariant derivative.

The Yang-Mills theory has Lagrangian densityThis is the Killing-form Yang-Mills Lagrangian. Its sign uses a positive internal form $B$ and the stated spacetime signature. In a $B$-orthonormal basis it is $-{\mathcal{F}}_{\mu \nu }^a{\mathcal{F}}^{a\mu \nu }/(4g_{\mathrm{YM}}^2)$. Gauge invariance follows because $B$ is invariant under the adjoint group action. Infinitesimally, the variation is proportional toAfter rescaling ${\mathcal{A}}_{\mu }=g_{\mathrm{YM}}{A}_{\mu }$, the gauge coupling appears in $D_{\mu }={\partial }_{\mu }+g_{\mathrm{YM}}\rho (A_{\mu })$ and in the non-Abelian part of the canonically normalized field strength. Squaring that field strength gives cubic and quartic gauge-field self-interactions. An ordinary local quadratic mass term in the gauge potential is not invariant because its transformation contains ${\partial }_{\mu }ϵ$.

For the scalar field kinetic term, compactness supplies a positive invariant Hermitian form $h$ on its representation space. One can obtain it by averaging any positive form with normalized Haar measure, the unitarization of a compact-group representation. Then $R(U)$ is unitary for $h$, and $\rho (ϵ)$ is anti-Hermitian. The Yang-Mills theory coupled to an arbitrary scalar representation hasHere $V$ is any real gauge-invariant scalar potential, so $V(R(U)\Phi )=V(\Phi )$. For example,is available for every unitary representation, with $\lambda \ge 0$ giving a bounded quartic contribution. Other invariant interactions may exist for particular representations; the potential is not required to depend only on $h(\Phi ,\Phi )$.

The scalar kinetic term is gauge-invariant because both covariant derivatives transform by the same unitary $R(U)$. Infinitesimally its variation vanishes byThe potential is invariant by its defining condition. For a real irreducible representation, use the averaged positive symmetric form instead and write the kinetic term as $\frac{1}{2}h(D_{\mu }\Phi ,D^{\mu }\Phi )$; all transformation and invariance arguments remain valid. Expansion of the covariant kinetic term produces both the linear gauge-scalar interaction and the quadratic term needed by local gauge invariance.

The invariant inner products, gauge covariant derivatives and gauge field strength together construct the full theory for every compact Simple Lie group and every supplied finite-dimensional irreducible representation of the scalar fields. Both finite and infinitesimal transformation laws have been included, and every sign follows the same anti-Hermitian convention.

Choose a null four-momentum with $E>0$ and orient the third axis so that $2{\sigma }^{\mu }{p}_{\mu }=\mathrm{diag}(4E,0)$. The Super-Poincaré algebra givesFor every state $|v⟩$ in a unitary representation, the second anticommutator is the sum $\Vert Q_2^{A}v{\Vert }^2+\Vert (Q_2^A{)}^{†}v{\Vert }^2$. Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial $Q_2$. The remaining $\mathcal{N}$ pairs, normalized by $2\sqrt{E}$, satisfy the canonical anticommutation relationsLabel a Clifford vacuum by its highest helicity $\lambda$ and choose the lowering convention $[J_3,a_A^{†}]=-a_A^{†}/2$. Acting with distinct fermionic creation operators produces the fermionic Fock spaceThis proves the helicity spectrum of a massless supermultiplet and the $2^{\mathcal{N}}$ state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.

The spin bound for massless supermultiplets follows directly from the width $\mathcal{N}/2$ of this helicity interval. Requiring $|h|\le 1$ gives $\mathcal{N}\le 4$, achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities $1,4,6,4,1$ at helicities $1,1/2,0,-1/2,-1$. These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring $|h|\le 2$ gives $\mathcal{N}\le 8$. The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity $2$ and multiplicities $1,8,28,56,70,56,28,8,1$. There is one $+2$ state and one $-2$ state, the two polarizations of a single graviton.

The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An $\mathcal{N}=1$ chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation $R$. By contrast, a full $\mathcal{N}=2$ hypermultiplet consists of $\mathcal{N}=1$ matter in $R\oplus \overline{R}$, and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken $\mathcal{N}=1$ supersymmetry in its four-dimensional low-energy matter sector.

First exclude the short patterns $(a,a+1,a)$ and $(a,a-1,a)$ in the joint spectrum. In the first pattern, the local spectral rules for Young–Jucys–Murphy elements make $s_r$ act by $+1$ and $s_{r+1}$ by $-1$ on the same simultaneous eigenvector. The two sides of the braid relation in a Coxeter group then act by opposite signs. The second pattern gives the same contradiction with signs reversed.

Now induct on the length of a spectral vector. A prefix of length $i-1$ is spectral for $S_{i-1}$: decompose the restricted group representation and retain a nonzero component of the simultaneous eigenvector. If $a_i$ differed by neither $+1$ nor $-1$ from every earlier entry, move it left using the allowed adjacent interchanges. Encountering an equal entry would contradict the distinctness of consecutive eigenvalues. Otherwise it reaches the first position, forcing $a_i=0$. For $i>1$ the original first entry was also zero, so an equal entry would indeed have been encountered. ThusThis argument uses only the stated local rules. In particular, iterating the result from $a_1=0$ also shows that all coordinates are integers.

It suffices to handle one single-box up-move, and then use the chain already constructed. Suppose the affected row sizes are $a={\lambda }_i$ and $b={\lambda }_j$, $i<j$. Since $\lambda$ is a partition of an integer, $a\ge b\ge 1$. Put $N=a+b$. Over the complex numbers, the two-row Young permutation module decomposition givesA zero second row is omitted. Therefore

Let $K$ be the product of the symmetric groups of the unaffected rows and the symmetric group $S_N$ on the union of the affected rows. The two relevant Young subgroups lie in $K$. Transitivity of induced representations expresses $M^{\lambda }$ and $M^{\nu }$ by inducing the preceding two-row modules, tensored with the trivial representations of the unaffected factors, from $K$ to $S_n$. Induction preserves this direct sum, sofor an actual group representation $L_{\lambda ,\nu }$, not merely a difference of characters. Iterate along the chain and take the direct sum of the induced complements. The resulting complement can be realized as an invariant subspace of $M^{\lambda }$, either through these isomorphisms or by Maschke's theorem. ThusIf $\lambda =\mu$, use the zero complement. The characteristic-zero hypothesis is essential to this use of the irreducible two-row decomposition.

The Skyrme model represents the three pions by a field in the special unitary group $SU(2)$,with Pauli matrices ${\tau }_a$. Near $U=1$, the three tangent components are the pion fields, with a normalization scale suppressed here. Define $L_{\mu }=U^{†}{\partial }_{\mu }U$. In one useful sign convention with metric $(+---)$, the action consists ofwhere $c_2,c_4>0$ and the last term is optional, with $c_0\ge 0$ proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size $s$, the two derivative contributions scale as $E_2\propto s$ and $E_4\propto 1/s$, whereas a mass term scales as $s^3$. This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.

A finite-energy field configuration approaches a vacuum, conventionally $U(\infty )=1$. Compactifying space makes $U$ a map $S^3\to SU(2)\simeq S^3$. The topological baryon number in the Skyrme model is its degree of a map between oriented manifolds,The sign convention makes the standard decreasing hedgehog have $B=1$. Smooth evolution with the vacuum boundary condition preserves this integer. A Skyrmion is a localized soliton in such a sector; the unit soliton, after quantization, models a nucleon, and higher positive charges model multi-baryon systems. The topological conservation law is distinct from an ordinary Noether charge of isospin. Classical pion fields are bosonic, so obtaining fermionic nucleons also needs the quantum-statistics choice discussed below.

The derivative theory has global chiral symmetry $SU(2{)}_L\times SU(2{)}_R$, acting by $U\mapsto LU{R}^{†}$. The simultaneous pair $(-1,-1)$ acts trivially, so the faithful connected action can also be viewed as $SO(4)$ on $(\sigma ,\mathbf{\pi })$. In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed $U(\infty )=1$, the vacuum-preserving symmetry of the Skyrme model requires $L=R$ and acts by $U\mapsto AU{A}^{†}$. This is isospin, effectively $SO(3)$ because $A$ and $-A$ act the same way. A usual common pion-mass term explicitly preserves only this vector subgroup; full chiral symmetry is then an approximate massless-limit symmetry, not an exact symmetry of that term. Independent axial rotations change the vacuum and are not extra localized rigid-rotor coordinates in a sector with fixed boundary vacuum.

The space-time symmetry is the Poincare group, comprising translations and Lorentz transformations, including spatial rotations. Parity acts as $U(t,\mathbf{x})\mapsto U^{†}(t,-\mathbf{x})$, since pions are pseudoscalars. For a static finite-energy solution, translations change its position; spatial rotations and isorotations change its orientation. These transformations generate collective coordinates, but a particular field can be unchanged by certain combined transformations.

For the usual low-charge minimum branches of the standard model, the relevant shapes and density symmetries are the following. These are not claims about every field of a given degree, all excited solutions or arbitrary modified pion potentials.

For $B=1$, the Skyrmion hedgehog ansatz isIts Skyrme baryon density is spherical. Indeed $B=-(2/\pi ){\int }_0^{\infty }{f}^{\prime }{\sin }^{2}fdr=1$. A spatial rotation rotates the pion direction, so the field itself is invariant under a compensating isorotation, not under every spatial rotation alone. Its proper combined stabilizer is a diagonal $SO(3)$.

For $B=2$, the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry $D_{\infty h}$. The proper combined field stabilizer is an $O(2)$-type group: its continuous subgroup pairs axial spatial rotation by $\theta$ with isorotation by $2\theta$, and it also has discrete transverse half-turns. The angular approximation $R(z)=z^2$ makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.

For $B=3$, the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group $T_d$. Its proper rotational group is $T\cong A_4$, the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.

For $B=4$, the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is $O_h$, the symmetry group of a cube, and its proper group is $O\cong S_4$, the rotational symmetry group of a cube of order 24. Cubic and octahedral symmetry name the same point group; this particular density shape is cubic. Reflections in these full density groups should not be confused with the proper rotation-isorotation group used for angular-momentum quantization.

As a concrete independent check on these shape symmetries, the rational map approximation for Skyrmions useswith $z=\tan (\theta /2)e^{i\phi }$ and ${\hat{\mathbf{n}}}_w=(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$. Representative maps areTheir degrees are $1,2,3,4$, and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is $J_R=[(1+|z{|}^2)|R^{\prime }|/(1+|R{|}^2){]}^2$. It vanishes at branch directions. $R_1$ has uniform angular density; $R_2$ has its two branch directions on the axial poles; the Wronskian of a rational map for $R_3$ is proportional to $z^4+2i\sqrt{3}{z}^2+1$, giving tetrahedrally arranged holes; $R_4$ has branch directions $0,\infty ,\pm 1,\pm i$, giving the six cube-face directions. Also $R_4(iz)=1/R_4(z)$ pairs a spatial quarter-turn with an isospin half-turn. These give illustrative approximate fields, not exact analytic solutions or a proof of global energy minimality.

To quantize, first distinguish the model's group $G$ from the chosen soliton's stabilizer subgroup $H$. A family of the same static energy isIgnoring translations for the moment, $G=SO(3{)}_{\mathrm{space}}\times SO(3{)}_{\mathrm{iso}}$, and different rigid orientations form the Skyrmion collective-coordinate orbit $G/H$. The connected stabilizer dimensions are $3,1,0,0$ for the four shapes, so their orientation-orbit dimensions are $3,5,6,6$; adding translations gives $6,8,9,9$. For the unit hedgehog, treating rotation and isorotation as six independent modes would double-count its locked orientation. For higher charges, arbitrary separation of constituent lumps is not an exact flat moduli space in this non-Bogomolny theory.

Let the orbit coordinates depend slowly on time. Integrating the kinetic terms gives a collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+g_{ab}(q){\dot{q}}^a{\dot{q}}^b/2$, with positive kinetic metric after removing redundant stabilizer directions. Its angular blocks are the spatial, isospin and mixed inertia tensors. Collective-coordinate quantization produces a rotor Hamiltonian on this orbit, with translations giving center-of-mass momentum. The global symmetry supplies states transforming in spin-$J$ and isospin-$I$ group representations, and the associated conserved angular momenta. Inertia tensors determine energy splittings; group symmetry alone does not specify those tensors or their numerical energies.

The topology and the static stabilizer supply further collective-rotation constraints for a Skyrmion. The degree-$B$ configuration space has fundamental group ${\mathbb{Z}}_2$, related to ${\pi }_4(S^3)$. Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeysThe sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A $2\pi$ spatial rotation or isorotation has sign $(-1{)}^B$ in this fermionic choice, soThus odd baryon number requires half-integer spin and isospin; even baryon number requires integers. Discrete or continuous combined stabilizer symmetries impose additional restrictions on the allowed pairs and body-fixed rotor states. They must not simply be omitted, or replaced by trivial invariance under every density symmetry. The trivial character is a possible bosonic quantization but would not produce a fermionic nucleon. Improper field symmetries, implemented using the model parity transformation, can additionally constrain parity labels; scalar-density reflection symmetry alone is insufficient to infer those labels.

For example, the two-Skyrmion axial stabilizer can be written in body-axis conventions as $(L_3+2K_3)\Psi =0$, with $L$ the spatial and $K$ the isospin generators. A transverse spatial half-turn accompanied by an isospin half-turn has the nontrivial sign in the Finkelstein-Rubinstein constraints. The integer-spin scalar state $J=I=0$ is therefore excluded despite even $B$. A spin-one, isospin-zero state with zero axial body projection has the required minus sign under that half-turn; the spin-zero, isospin-one channel can also satisfy the constraints. Their relative energies require the inertia tensors.

For the unit hedgehog, these requirements reduce to rotational quantization of a unit Skyrmion: one orientation $A\in SU(2)$ with $\Psi (-A)=-\Psi (A)$ has $J=I=j=1/2,3/2,\dots$. With $\hslash =1$ the energies are $M+j(j+1)/(2\Lambda )$, where $\Lambda$ is its moment of inertia. Since $U_1^{†}(-\mathbf{x})=U_1(\mathbf{x})$, the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The $j=1/2$ multiplet models the spin-half proton/neutron isospin doublet; $j=3/2$ gives the Delta baryon multiplet. The familiar lowest rotor assignments for $B=2,3,4$ are respectively $(J,I)=(1,0),(1/2,1/2),(0,0)$. These assignments incorporate the corresponding field-stabilizer constraints and standard inertia ordering, not a prediction from density shape alone. Deformations, vibrational modes, radiation and binding dynamics lie beyond the rigid approximation. The two symmetry roles are therefore

In an irreducible complex group representation $\rho$, every $\rho (z)$ for $z$ in the center of a group commutes with the entire representation. Schur lemma therefore gives $\rho (z)={\lambda }_{z}I$. Faithfulness makes $z\mapsto {\lambda }_z$ an injective homomorphism $Z(G)\to {\mathbb{C}}^{\times }$.

Its image is a finite subgroup. If its order is $m$, Lagrange's theorem for finite groups shows that every element is an $m$th root of unity. These roots form a cyclic group, and every subgroup of a cyclic group is cyclic. HenceBoth irreducibility over the algebraically closed field and faithfulness are used: scalar action alone would not embed the centre.

Let $A,B$ be the stated diagonal matrices and $C$ the interchange matrix. Since ${\epsilon }^3={\eta }^3=1$, direct matrix multiplication givesThe complete presentation established by the preceding normal-form argument therefore defines a group homomorphism $\rho :E\to {\mathrm{GL}}_2(\mathbb{C})$. More explicitly, setMultiplication of normal forms uses $c{a}^i{b}^j=a^{-i}{b}^{-j}c$, and the matrices obey exactly the same rule, so this is well-defined and multiplicative. It is the required complex group representation.

Let $g$ have order $n$ in a finite group. In a complex group representation, its matrix is diagonalizable with eigenvalues ${\zeta }_j$ satisfying ${\zeta }_j^n=1$. If each $g^i$ with $\gcd (i,n)=1$ is conjugate to $g$, the character of a representation is constant on these powers. Henceusing the stated integrality of each Ramanujan sum. Therefore $\chi (g)$ is rational. It is also an algebraic integer, being a sum of roots of unity; a rational algebraic integer is an integer. Thus $\boxed{\chi (g)\in \mathbb{Z}}$.

In a symmetric group, raising a permutation to a power coprime to its order preserves each cycle length and therefore its entire cycle type. Since cycle type determines the conjugacy class, the hypothesis holds, and all character values of symmetric groups are integers.

Suppose $\chi$ is an irreducible character of a group of odd order and $\chi =\overline{\chi }$. Write $d=\chi (1)$. Every nonidentity element pairs with its distinct inverse, since there is no element of order $2$. Also $\chi (g^{-1})=\overline{\chi (g)}=\chi (g)$. If $\chi$ were nontrivial, character orthogonality with the trivial character of a representation would givewhere $A$ is the sum of one character of a representation value from each inverse pair. This $A$ is an algebraic integer, so $A=-d/2\in \mathbb{Q}$ is an integer. Hence $d$ is even.

But an irreducible character degree divides the group order, so $d$ must be odd. One quick justification of that divisibility is that the central class sum of a conjugacy class $C$ acts by the algebraic integer ${\lambda }_C=|C|\chi (g_C)/d$. Its integrality follows from its integer matrix on the regular group representation. Character orthogonality then givesa rational algebraic integer, hence an integer. The parity contradiction proves $\boxed{\chi =1_G}$: the trivial character is the only self-conjugate irreducible character of an odd-order group.

For a nonzero group representation $V$, there is a $G$-equivariant identificationwhere $G$ acts on endomorphisms by conjugation. The identity endomorphism is a nonzero fixed vector, so its span is a trivial submodule. It follows that the trivial simple module is a Jordan–Hölder factor of $V\otimes V^{\ast }$, and character additivity gives $\boxed{1_G\text{ is a constituent of }\chi \overline{\chi }}$.

Here “constituent” means a composition factor; the trivial submodule need not be a direct summand. Also the assertion needs $\chi \ne 0$: the zero-dimensional module has the zero Brauer character, whose product with its conjugate has no constituent. This is an implicit nonzero-character qualification in the printed statement.

A nonabelian simple group is a perfect group, so every one-dimensional group representation, a homomorphism to the abelian group $k^{\times }$, is trivial. Thus a nontrivial irreducible Brauer character cannot have degree $1$.

Suppose instead that its representation has dimension $2$, working over a splitting extension if necessary. Its determinant is a one-dimensional representation and is therefore trivial. Its kernel is a normal subgroup, and the representation is nontrivial, so simplicity makes it faithful. Consequently $G$ embeds in ${\mathrm{SL}}_2(k)$.

We use the Feit–Thompson theorem: every finite group of odd order is solvable. Therefore this nonabelian simple group has even order, and Cauchy's theorem for finite groups supplies an involution $t$. In odd characteristic, its representing matrix $A$ satisfies $A^2=I$ and is diagonalizable with eigenvalues in $\{1,-1\}$. Since $\det A=1$, it is $I$ or $-I$. Faithfulness excludes $I$, so $t$ acts as the scalar matrix $-I$. It commutes with the whole image; faithfulness then makes $t$ central in $G$, contradicting nonabelian simplicity. Hence $\boxed{\chi (1)>2}$.

The odd order theorem is the deep standard group-theoretic input in this proof; its use is explicit rather than hidden in an unsupported assertion that $G$ has an involution.

Writing $\rho (A)X=A_{1}X{A}_1^{-1}$, we haveand $\rho (I)=I$, so this conjugation representation is indeed a group representation.

The underlying three-dimensional module isUsing $M_3(\mathbb{C})=\mathrm{End}(W)\cong W\otimes W^{\ast }$, the self-duality of finite-dimensional SU2 representations, and $V_1\otimes V_1\cong V_2\oplus V_0$, we obtainTherefore the irreducible decomposition is

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

A continuous homomorphism $G\to O(n)$ is immediately an $n$-dimensional real group representation by composing with the inclusion $O(n)\subset G{L}_n(\mathbb{R})$.

Conversely, let $\pi :G\to GL(V)$ be a continuous real representation with ${\dim }_{\mathbb{R}}V=n$. Choose any positive-definite inner product $(,{)}_0$ on $V$ and normalized Haar measure $dg$ on $G$. DefineThis is bilinear and symmetric. It is positive definite because the continuous nonnegative integrand $(\pi (g)v,\pi (g)v{)}_0$ is positive at every $g$ whenever $v\ne 0$. Right invariance of normalized Haar measure on a compact group givesChoose an orthonormal basis for this averaged form. In that basis every $\pi (h)$ lies in $O(n)$, proving the orthogonalization of a compact-group representation and the stated equivalence.

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.

Let $V$ be the real vector space with basis $(e_i{)}_{i\in I}$. The Coxeter Gram matrix defines the symmetric bilinear formIts diagonal entries are $2$. The Geometric representation of a Coxeter group is generated by the reflectionsEach has square one, and on $\mathrm{span}\{e_i,e_j\}$ the product $\sigma (x_i)\sigma (x_j)$ has order $m_{ij}$. The reflections therefore satisfy the Coxeter relations and define a group representation $\sigma :W\to GL(V)$.

A nonabelian simple group has no nonidentity conjugacy class of prime-power size. Coprime-degree irreducible characters vanish on such an element: the conjugacy-class sum makes the character-to-degree ratio an algebraic integer, and the Kronecker theorem on algebraic integers in the unit disk makes a nonzero ratio a root of unity, forcing a scalar in a faithful group representation. Column character orthogonality then makes $1/p$ an algebraic integer, impossible. This is the character-theoretic ingredient in Burnside's theorem.

A pseudoreal complex representation is isomorphic to its conjugate but has an invariant antilinear map squaring to minus the identity. Such group representations admit antisymmetric invariant bilinear forms and can support half-hypermultiplets in four-dimensional extended supersymmetry.

For a group representation of $G$ and a subgroup $H$, restriction keeps the vector space and lets only the elements of $H$ act. It is denoted ${\mathrm{Res}}_H^{G}V$.