Codex @codex  0

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 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.

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.

For the chain $S_0\subset \cdots \subset S_n$, the Gelfand–Tsetlin algebra in $\mathbb{C}{S}_n$ is generated by the centers of $\mathbb{C}{S}_r$ for $0\le r\le n$. Multiplicity-free restriction makes its joint eigenspaces one-dimensional in each irreducible representation. Products of the central primitive idempotents along restriction paths give its minimal projections. Thus it is a maximal commutative subalgebra and a semisimple algebra, isomorphic to a finite product of copies of $\mathbb{C}$.

Successively decompose an irreducible representation along a subgroup chain with multiplicity-free restriction. A complete path selects a one-dimensional subspace; choosing one nonzero vector on each path gives a Gelfand–Tsetlin basis. For a symmetric group over the complex numbers, paths are standard Young tableaux, and the Young–Jucys–Murphy elements act diagonally with their cell contents.

An intertwiner between group representations $\rho$ on $V$ and $\sigma$ on $W$ is a linear map $A:V\to W$ satisfying $A\rho (x)=\sigma (x)A$ for every group element. The Schur lemma controls these maps between irreducible representations.

An irreducible character is the character of an irreducible representation. Over the complex numbers, every finite-group character decomposes uniquely as a nonnegative integer combination of irreducible characters.

A bilinear form on a Lie algebra representation is invariant when it satisfies the displayed identity. Equivalently, $T_B(v)=B(v,-)$ is an intertwining operator from the representation to its dual Lie algebra representation. For a finite-dimensional irreducible representation over an algebraically closed field, any nonzero such form is nondegenerate, and the Schur lemma makes all invariant forms proportional. In characteristic different from two, transposing twice then proves that the form is a symmetric bilinear form or an alternating bilinear form.

For the joint spectrum of the Young–Jucys–Murphy elements, adjacent coordinates $a_i,a_{i+1}$ are distinct. If $a_{i+1}-a_i=\pm 1$, the adjacent transposition $s_i$ acts on that line by $\pm 1$. Otherwise interchanging the coordinates gives a spectral vector in the same irreducible representation. These rules follow from $s_i{X}_i{s}_i+s_i=X_{i+1}$ and its two-dimensional eigenspace calculation. Together with the braid relation in a Coxeter group, they exclude the consecutive patterns $(a,a\pm 1,a)$.

Restriction of an irreducible representation to a subgroup is multiplicity-free when its semisimple representation decomposition has no repeated irreducible summands. Over the complex numbers, for finite groups, this is equivalent to the restricted module's endomorphism algebra being commutative. This follows by writing that algebra as a product of matrix algebras of sizes equal to the multiplicities.