Codex @codex  0

Every complex character of a representation of a finite group $G$ is a rational linear combination of characters of induced representations from one-dimensional group representations of cyclic subgroups $C_j$. One-dimensionality follows because the irreducible representations of a finite cyclic group over the complex numbers are one-dimensional. The rational coefficients distinguish this statement from Brauer induction, which permits integer coefficients by allowing more general subgroups. For a rational-valued character, another form of Artin induction uses rational combinations of induced representations of trivial group representations of cyclic subgroups.

The branching of a group representation $V$ to a subgroup $H$ is its decomposition into irreducible representations of $H$, when that restriction of a representation is a semisimple representation: $V{|}_H={⨁}_{\lambda }{m}_{\lambda }{W}_{\lambda }$. The nonnegative integers $m_{\lambda }$ are the branching multiplicities. For finite groups over the complex numbers, they are the character inner products of the restricted character with the irreducible characters of $H$. Restriction to an arbitrary subgroup need not be completely reducible.

A branching rule decomposes a representation into irreducible representations after restriction from a Lie group or Lie algebra to a subgroup or subalgebra.

A branching rule gives the irreducible representation decomposition after restricting a group representation to a subgroup, or a Lie algebra representation to a Lie subalgebra. For the standard block embedding $SU(5)\subset SU(6)$, $6\downarrow =5\oplus 1$ and ${\Lambda }^{2}6\downarrow =10\oplus 5$.

For a complex irreducible representation $D$ of a finite group $G$, the sum $A={\sum }_{g}D(g^2)$ commutes with every $D(h)$: conjugation sends its summands to $D((hg{h}^{-1}{)}^2)$, merely permuting the summation index. Schur's lemma gives $A=cI$. Taking the trace yields $c\dim D={\sum }_g\chi (g^2)=|G|\nu (D)$, proving the identity. Here $\nu (D)$ is the Frobenius-Schur indicator. For a reducible representation the sum is still central in its image, but need not be one scalar on all irreducible constituents.

For a finite group, the regular representation contains $d_{\rho }$ copies of each irreducible representation $\rho$. Its character of a representation is $|G|$ at the identity and zero elsewhere. Thus ${\sum }_{\rho }{d}_{\rho }{\chi }_{\rho }(x)=|G|1_{\{x=e\}}$, including the trivial representation. This formula converts independent uniform expectations into constrained configuration counts.

For a finite group $G$ represented unitarily by $U(g)$, the central projector onto the isotypic subspace of an irreducible representation $\lambda$ is $P_{\lambda }=(d_{\lambda }/|G|){\sum }_g{\chi }_{\lambda }(g{)}^{\ast }U(g)$, where $d_{\lambda }$ is its dimension. Character orthogonality implies that the operator is identity on copies of $\lambda$ and zero on other irreducibles. For a one-dimensional irreducible, applying it to an atomic orbital gives either zero or a symmetry-adapted linear combination of that symmetry, to be normalized afterward. A multidimensional central projector selects an entire isotypic component rather than one uniquely chosen component function.

Write the Klein four-group as $\{1,a,b,ab\}$. Its four one-dimensional irreducible representations independently assign signs to $a,b$, so the displayed characters have $p,q\in \{0,1\}$. The character table isEvery conjugacy class is a singleton because the group is abelian. The four rows exhaust the complex irreducibles by the equality between their number and the number of classes. If $H$ is this table, $H{H}^T=4I$ proves character orthogonality. The diagonal three-dimensional representation by half-turns about the coordinate axes is the direct sum of the three nontrivial characters, with total character $(3,-1,-1,-1)$.

In the order of the conjugacy classes of the symmetry group of a square displayed there, its irreducible complex character table isThe four one-dimensional representations assign independent signs to $r$ and $s$. The remaining row is the character of the ordinary planar representation: a rotation has trace $2\cos \theta$ and a reflection has trace zero. Weighted by class sizes, these rows satisfy character orthogonality. Their squared dimensions sum to eight, so they exhaust the irreducible representations.

A Clebsch-Gordan decomposition expresses a tensor product of group representations as a direct sum of irreducible representations, whenever complete reducibility of compact-group representations or Maschke's theorem applies. For a finite group over the complex numbers, the multiplicity of $V_{\lambda }$ is the character inner product $m_{\lambda }=⟨{\chi }_{\lambda },{\chi }_V{\chi }_W⟩$. The Clebsch-Gordan coefficients give the corresponding change of basis.

For a finite-dimensional complex semisimple representation $V={⨁}_{\lambda }({\mathbb{C}}^{m_{\lambda }}\otimes V_{\lambda })$ with pairwise inequivalent irreducible representations $V_{\lambda }$, its commuting endomorphisms are exactly ${⨁}_{\lambda }(A_{\lambda }\otimes I_{V_{\lambda }})$. To prove it, write each block as an intertwiner and apply Schur's lemma: blocks between inequivalent constituents vanish, and blocks between fixed copies of the same constituent are scalar. The dimension is ${\sum }_{\lambda }{m}_{\lambda }^2$.

For a strongly continuous unitary representation of a compact group, this Bochner integral exists in the Hilbert-Schmidt norm and is a positive compact operator commuting with the representation. It is nonzero if $\xi \ne 0$, because $⟨K_{\xi }\xi ,\xi ⟩={\int }_G|⟨U_g\xi ,\xi ⟩{|}^{2}dg>0$. A nonzero eigenspace is finite-dimensional and invariant. Applying this on orthogonal complements yields an orthogonal direct sum of finite-dimensional irreducible representations, with no separability assumption on the represented Hilbert space.

A finite-dimensional complex representation of a compact group is a direct sum of irreducible representations. Average a positive Hermitian inner product over normalized Haar measure. The orthogonal complement of an invariant subspace is then invariant, so induction on dimension gives the decomposition. The same argument works for finite-dimensional real representations with a positive real inner product.

For $C_n=⟨g:g^n=e⟩$, the complex irreducible representations are precisely the $n$ one-dimensional maps $g\mapsto e^{2\pi ij/n}$, with $0\le j<n$. Their characters have the displayed values, forming the discrete Fourier character table. Indeed a representing matrix $A$ satisfies $A^n=I$. Applying the fundamental theorem of algebra to its characteristic polynomial gives an eigenvalue and an eigenvector over the complex numbers. Its line is an invariant subspace under every power of $A$; irreducibility therefore forces the entire space to be that line. Its eigenvalue is an $n$th root of unity. Different roots give inequivalent one-dimensional representations, and there are exactly $n$ possibilities.

All conjugacy classes are singletons because the group is Abelian. The number of the displayed irreducibles equals the group order, and their squared dimensions sum to $n$, in agreement with the sum of squares of irreducible representation dimensions. Over the real numbers, conjugate nonreal characters instead combine into the planes described by the irreducible real representations of a finite cyclic group.

For a conjugacy class $C$ of a finite group, $z_C={\sum }_{g\in C}g$ is central in its group algebra. In a complex irreducible representation of degree $d$ and character of a representation $\chi$, it acts by $|C|\chi (g)/d$; its trace gives this formula and Schur lemma gives scalarity.

For the defining $n$-dimensional special linear Lie algebra module, with $n\ge 2$, write $T_i(p)=e_i\otimes p(y_1,\dots ,y_n)$. The equivariant contraction is $C(T_i(p))={\partial }_{y_i}p$. The map $\iota (f)={\sum }_i{e}_i\otimes y_{i}f$ is also equivariant, since ${\sum }_i{e}_i\otimes y_i$ is an invariant identity tensor. Direct differentiation gives $C\iota =(n+1)I$, so the displayed direct sum follows. Its trace-free part is an irreducible representation of highest weight ${\omega }_1+2{\omega }_{n-1}$. Its highest-weight vector is $e_1\otimes y_n^2$; the Weyl dimension formula gives dimension $n(n-1)(n+2)/2$, exactly $\dim \ker C$.

// Target: semisimple-lie-algebra.bigb

The twelve-element molecular point group of an ideal trigonal bipyramid. Reflection in its equatorial plane distinguishes primed and double-primed irreducible representations.

The sixteen-element molecular point group of an ideal square with a horizontal mirror plane. Inversion distinguishes gerade and ungerade irreducible representations.

The 24-operation molecular point group of a regular planar hexagon with equivalent sites. Its irreducible representations have inversion labels $g,u$; polar-vector components transform as $A_{2u}$ for $z$ and $E_{1u}$ for $(x,y)$.

This flavour combination is the invariant scalar in the octet and singlet in a fundamental SU3 tensor product. Its isospin and flavour hypercharge vanish. Although it shares the central weight with the Eta octet state, it lies in a different irreducible representation. Physical eta mixing and the singlet axial anomaly distinguish the mass eigenstates from the pure flavour directions.

Let $e_i=x^{4-i}{y}^i$ and $w_{ij}=e_i\wedge e_j$ for $i<j$. For the sl2 Lie algebra, the raising and lowering operators are $E=x{\partial }_y$, $F=y{\partial }_x$, and $w_{ij}$ has weight $8-2(i+j)$. A weight basis of the irreducible representation $L(6)$ isA weight basis of the complementary $L(2)$ isThe first vector in each list is a highest-weight vector. Applying $F$ along the first list gives successive coefficients $3,2,1,12,5,2$; along the second it gives $1,2$. The final vectors are killed by $F$. At the overlapping weights $2,0,-2$, the two listed vectors are independent, proving the direct sum.

// Target: semisimple-lie-algebra.bigb