Codex @codex  0

The symmetric group $S_n$ consists of all bijections of $\{1,\dots ,n\}$, with composition as its operation; its group order is $n!$.

An $m$-dimensional complex group representation of $G$ is a group homomorphism $\rho :G\to GL(V)$, where $V$ is an $m$-dimensional complex vector space. After a choice of basis, each $\rho (g)$ is an invertible $m\times m$ complex matrix, with $\rho (gh)=\rho (g)\rho (h)$.

An irreducible representation has $V\ne 0$ and no invariant vector subspace other than $\{0\}$ and $V$. Two group representations $\rho$ on $V$ and $\sigma$ on $W$ are isomorphic representations if there exists an invertible linear map $S:V\to W$ such that $S\rho (g)=\sigma (g)S$ for every $g$. They are inequivalent if no such map exists; in equal-dimensional matrix form this says no fixed change of basis conjugates every $\rho (g)$ to $\sigma (g)$.

The two one-dimensional representations are the trivial representation, ${\rho }_{+}(g)=1$, and the sign representation, ${\rho }_{-}(g)=\mathrm{sgn}(g)$. The first respects multiplication immediately. For the second, the sign of a permutation is the determinant of its permutation matrix, and multiplicativity of the determinant proves ${\rho }_{-}(gh)={\rho }_{-}(g){\rho }_{-}(h)$. They are inequivalent since a transposition has images $1$ and $-1$, and conjugation by a nonzero scalar cannot change a one-dimensional matrix.

Their group homomorphism kernels areBoth are subgroups, indeed normal subgroups, because they are kernels. In the second case $A_4$ is the alternating group of even permutations, with twelve elements.

The characters are their scalar values, since the trace of a one-dimensional matrix is its only entry. In the class order from part (b),The character inner product is the group average of ${\chi }_{+}\overline{{\chi }_{-}}$, soEach has squared norm $(1+6+3+8+6)/24=1$, in agreement with character orthogonality for distinct irreducible representations.

For a finite group over $\mathbb{C}$, the number of inequivalent irreducible representations is its number of conjugacy classes, and the sum of squares of irreducible representation dimensions equals the group order. There are therefore five irreducibles for $S_4$, with squared dimensions summing to $24$.

First establish that part (c) found every one-dimensional representation. In such a representation, conjugate elements have the same scalar image. All transpositions are conjugate and square to the identity, so they all have one common image $s$ with $s^2=1$. Transpositions generate $S_4$, hence $s=1$ gives exactly the trivial representation, while $s=-1$ gives exactly the sign representation. There are precisely two degree-one irreducibles.

The other three dimensions $d_1,d_2,d_3$ are integers at least two and satisfyNo one of them can be at least four, since $4^2+2^2+2^2=24>22$. They are therefore all two or three. Starting from three twos gives sum of squares $12$; each replacement of a two by a three adds $5$. To reach $22$ requires exactly two replacements. Thus the complete list isThe count of conjugacy classes guarantees that these are all the inequivalent complex irreducible representations, not just dimensions of a proposed incomplete list.

For a finite group over the complex numbers, the sum of the squared dimensions of its inequivalent irreducible representations equals the group order. There is always a one-dimensional trivial representation, and part (b) supplies an irreducible representation of dimension three. Thus the remaining squared dimensions sum toThey must be two further dimensions equal to one. HenceThe number of inequivalent irreducible representations equals the number of conjugacy classes, so $A_4$ has four classes. There are only three cycle types in part (a); consequently cycle type cannot classify conjugacy within $A_4$.

More explicitly, the identity is a singleton class, and conjugation by three-cycles permutes the three double transpositions transitively. For a three-cycle, the centralizer in $A_4$ consists of its three powers, so its conjugacy class has $12/3=4$ elements. The eight three-cycles therefore split into two classes of four:For example, $(123)$ and $(132)$ have the same cycle type but are not conjugate in $A_4$. Any permutation conjugating the first to its inverse must fix its unique fixed vertex and reverse the orientation of the remaining three labels, so it is odd. They are conjugate in $S_4$, illustrating exactly why restricting the ambient group changes the answer.

Work over the complex numbers, the usual scalar field for the finite-group character theory used below. A group representation on a nonzero vector space $V$ is a homomorphism $D:G\to GL(V)$, so $D(gh)=D(g)D(h)$ and $D(e)=I$.

A faithful representation is injective: distinct group elements have distinct representing maps. Equivalently, its kernel is just $\{e\}$.

An irreducible representation has no nonzero proper invariant subspace: if $W\subseteq V$ and $D(g)W\subseteq W$ for every $g\in G$, then $W=\{0\}$ or $W=V$. Irreducibility concerns invariant subspaces, whereas faithfulness concerns whether any group element is represented by the identity.

The elements $1,-1$ commute with the whole quaternion group, so they form singleton classes. Each of the three remaining pairs is a conjugacy class: for example conjugation by $j$ sends $i$ to $-i$, and likewise cyclically. No such pair can mix with a different pair, because the quotient by $\{\pm 1\}$ is abelian and its cosets $\{\pm i\}$, $\{\pm j\}$, $\{\pm k\}$ are preserved by conjugation. HenceFor a finite group over $\mathbb{C}$, the number of inequivalent irreducible representations equals the number of conjugacy classes, so there are five. The sum of squares of irreducible representation dimensions is the group order, eight. With five positive integer dimensions, the only possibility isIndeed five one-dimensional contributions give five, and replacing one by a two-dimensional contribution adds exactly three; any further enlargement would exceed eight. These are the dimensions used in the character table of the quaternion group.

A common shift of all three angles leaves every spring length unchanged. This continuous rotational symmetry gives the zero mode: there is no restoring force against rigid rotation.

The equilateral equilibrium also has the dihedral group symmetry $D_3$. Its action on the three angular displacements preserves the uniform one-dimensional subspace and the two-dimensional sum-zero subspace. The latter is an irreducible representation over the real numbers; a reflection may reverse all angular signs as well as exchange bead labels, which does not change these invariant subspaces. The symmetric stiffness matrix must act as a scalar on the sum-zero subspace, explaining the equal vibrational angular frequencies. Directly, each sum-zero vector satisfies $(3I-11^T)\mathbf{v}=3\mathbf{v}$. This is an example of degenerate normal modes from permutation symmetry, and of normal modes of three equal masses with a symmetric gap potential.

The printed wording calls ${\Sigma }_3$ cyclic, but its meaning in question 9 is the symmetric group $S_3$. Under that interpretation, take its planar dihedral group representation, withHere $r^3=s^2=1$ and $srs=r^{-1}$. This representation is irreducible over the complex numbers: the two distinct rotation eigenspaces are exchanged by the reflection, so neither is invariant under the whole group. Its character is $2$ on the identity, $-1$ on the two 3-cycles and $0$ on the three transpositions. Squaring maps each transposition to the identity and permutes the 3-cycles. Its Frobenius-Schur indicator is thereforeIf “cyclic” were intended literally, no two-dimensional complex irreducible representation would exist, since an irreducible representation of a finite abelian group is one-dimensional.

The requested two-dimensional irreducible representation does not exist for the Vierergruppe. The Klein four-group $V_4$ is an abelian group in which every nonidentity element has order two. Its complex irreducible representations are all one-dimensional. The same holds over the real numbers here: the commuting representing involutions are simultaneously diagonalizable with real eigenvalues $\pm 1$, so every two-dimensional representation has an invariant line. Each genuine irreducible character satisfies $\chi (g^2)=\chi (1)=1$, and hence has Frobenius-Schur indicator $\nu =1$.

The printed notation $C_4$ suggests a different possible interpretation, which must not be conflated with the Klein four-group. For the cyclic group of order four, a real two-dimensional irreducible representation is generated byIts character on $1,J,-I,-J$ is $(2,0,-2,0)$, giving $\nu =(2-2+2-2)/4=0$. Over the complex numbers this representation splits into two conjugate one-dimensional characters, so it is not a two-dimensional complex irreducible representation. These alternatives explain what can be computed without silently changing the printed group or the ground field.

For the symmetric group representation in part (a), the identity and three transpositions contribute $4I$ to $A={\sum }_{g}D(g^2)$. The two 3-cycles contribute $D(r)+D(r^2)=-I$. ThusMore generally, the central average of representation matrices at squares commutes with the representation, because conjugation permutes the summands. For a complex irreducible representation, Schur's lemma therefore gives $A=cI$. Taking the trace yields $c\dim D=|G|\nu$, proving the claimed formula under its correct hypotheses.

For the Klein four-group there is no two-dimensional irreducible representation, as established in part (b). Its genuine one-dimensional irreducibles have $A=4$ and $\nu =1$, so $A=(4\cdot 1/1)I$.

If the intended alternative is the real quarter-turn representation of the cyclic group of order four, its squared matrices sum to $I-I+I-I=0$. Thus $A=0=(4\cdot 0/2)I$ in that example. This equality is a direct calculation; the complex version of Schur's lemma cannot be applied to its reducible complexification.

The nuclear quadrupole vibration has five one-phonon magnetic substates, $m=-2,-1,0,1,2$. Bose-Einstein statistics restrict three identical phonons to the symmetric power $S^3(V_2)$, of dimension $\left(\genfrac{}{}{0ex}{}{5+3-1}{3}\right)=35$. Count occupation states $(n_{-2},\dots ,n_2)$ with $\sum n_m=3$ and $\sum m{n}_m=M$. For nonnegative $M$ the counts areEach spin-$J$ irreducible representation contributes one state at every projection from $-J$ to $J$. magnetic-substate subtraction therefore gives multiplicity $d_J-d_{J+1}$: one each at $J=0,2,3,4,6$, and none at $1,5$. Thus the three-quadrupole-phonon multiplet isThe dimension check is $1+5+7+9+13=35$. The parity is positive because each constituent phonon has positive parity. Pairwise angular-momentum triangle rules alone would include states incompatible with complete boson symmetrization.

The Young subgroup for $(1^n)$ is trivial. Hence $M_{\mathbb{C}}^{(1^n)}$ is the regular representation of $S_n$. The subgroup-average formula reduces toThis is the usual multiplicity of an irreducible representation in the regular representation.

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.

A tensor operator transforming in an irreducible representation $R$ between states in $V$ defines an intertwining operator $R\otimes V\to V$. In a basis of these intertwining maps, its scalar coefficients $g_{\nu }$ are reduced matrix elements, independent of the component indices. Schur lemma makes the number of independent coefficients the multiplicity of $V$ in $R\otimes V$. The component dependence is fixed by the associated Clebsch-Gordan coefficients.

A nonzero representation is reducible when it has a nonzero proper invariant subspace; otherwise it is an irreducible representation.

The reflection representation is the action of the Weyl group on the real span of its root system, generated by its Weyl reflections. For an irreducible root system, it is an irreducible representation: if $U$ is an invariant subspace, each root either lies in $U^{\perp }$ or, by subtracting a reflected vector of $U$, lies in $U$. These alternatives partition the roots into orthogonal sets. Irreducibility and spanning force $U=0$ or the whole space.

The character of the regular representation of a finite group is $|G|$ at the identity and zero elsewhere. Left multiplication permutes its group-indexed basis, and a nonidentity element fixes none of those basis vectors. Thus each complex irreducible representation occurs with representation multiplicity equal to its dimension, by the character inner product.

The representation ring of finite-dimensional modules for a complex semisimple Lie algebra is the abelian group generated by module classes, with $[V\oplus U]=[V]+[U]$, and multiplication $[V][U]=[V\otimes U]$. Weyl complete reducibility theorem makes the classes of irreducible representations a free integral basis. The formal character map identifies this ring with the Weyl group invariant part of the group ring of a weight lattice. Injectivity follows from distinct highest weights; surjectivity follows by subtracting the character with each maximal dominant weight, whose highest-weight coefficient is one, from a Weyl-invariant finite sum.

// Target: semisimple-lie-algebra.bigb

Tensor products $V_{j_L}\otimes V_{j_R}$ give the irreducible representations of the Spin(4) double cover. The simultaneous central sign acts by $(-1{)}^{2j_L+2j_R}$, so exactly the integer-sum pairs descend to SO(4). Their dimensions are $(2j_L+1)(2j_R+1)$. Under the diagonal spatial rotation subgroup, the Clebsch-Gordan decomposition for SU2 gives spins from $|j_L-j_R|$ through $j_L+j_R$ in steps of one.

Representation theory describes abstract symmetries by linear maps on vector spaces. A group representation assigns an invertible linear map to each group element, respecting multiplication. The payoff is that a symmetry problem becomes a problem about matrices, invariant subspaces, and eigenvalues. Decomposing the action can reveal combinations of variables that a symmetric system cannot mix.

Take the cyclic group $C_3=\{e,g,g^2\}$, with $g^3=e$. On three real coordinates, let $g$ send $(a,b,c)$ to $(c,a,b)$:This permutation representation does more than relabel a list: it acts linearly on every possible assignment of values to the three positions. The vector $(1,1,1)$ stays fixed. The vector subspace $W=\{(a,b,c):a+b+c=0\}$ is also preserved, since a permutation does not change the sum.

Every vector separates uniquely into these two types:For example, $(4,1,1)=2(1,1,1)+(2,-1,-1)$. The first term belongs to a trivial representation; the second is a contrast with zero coordinate sum. This is a direct sum decomposition ${\mathbb{R}}^3=\mathbb{R}(1,1,1)\oplus W$. The symmetry preserves the mean and rotates the contrasts.

The rotation is literal after choosing the orthonormal basis $u=(2,-1,-1)/\sqrt{6}$, $v=(0,1,-1)/\sqrt{2}$ of $W$. In this basis,It is a rotation through $120$ degrees, and three applications return to the starting point. There is no nonzero invariant real line, because this rotation has no real eigenvector. Thus the two-dimensional action is an irreducible representation over the real numbers. Over the complex numbers it instead splits into two eigenlines with eigenvalues $e^{2\pi i/3}$ and $e^{-2\pi i/3}$. The coefficient field is part of an irreducibility claim.

Why would this decomposition matter for a physical calculation? Consider three equal masses with scalar displacements $x_i$ and the symmetric quadratic coupling energyThe equations of motion are $m\ddot{x}=-kLx$, whereis a graph Laplacian and $J$ is the all-ones matrix. The constant vector has eigenvalue zero: translating all coordinates equally costs no coupling energy. On $W$, $J$ vanishes and $L=3I$, so both independent contrast directions have angular frequency $\sqrt{3k/m}$. A three-coordinate coupled problem reduces to a free mean and two identical harmonic oscillators.

For initial displacement $x(0)=(4,1,1)$ and initial velocity zero, the exact solution is $x(t)=2(1,1,1)+\cos (\sqrt{3k/m}t)(2,-1,-1)$. The fixed mean and oscillating contrast can be read directly from the decomposition. More generally, a linear operator commuting with the group action carries its fixed-vector subspace into itself; with an invariant inner product, it preserves the corresponding orthogonal complement too.

For a finite group, averaging over the action constructs an invariant inner product over the real numbers or complex numbers. The resulting invariant complements explain Maschke's theorem: a finite-dimensional group representation decomposes into irreducible representations. Characters compress the action into traces and help identify those pieces. The assumptions matter; in modular representation theory the coefficient field can have characteristic dividing the group order, and such decompositions can fail. Chapter 4 of Pavel Etingof and coauthors' notes develops these mechanisms. ^[ref].