ConceptComplete

Symmetry Groups in Physics

Group theory provides the mathematical language for symmetry in physics. The symmetries of a physical system -- rotations, translations, permutations, gauge transformations -- form groups whose representation theory determines the structure of quantum states, selection rules, and conservation laws.


Symmetry Groups and Their Actions

Definition8.1Symmetry Group of a Physical System

A symmetry of a physical system is a transformation that leaves the system's laws (Lagrangian, Hamiltonian, or equations of motion) invariant. The set of all symmetries forms a group GG under composition. Key examples: the rotation group SO(3)\mathrm{SO}(3) for rotationally invariant systems, the Poincare group ISO(3,1)\mathrm{ISO}(3,1) for relativistic systems, the symmetric group SnS_n for identical particle permutations, and gauge groups U(1)\mathrm{U}(1), SU(2)\mathrm{SU}(2), SU(3)\mathrm{SU}(3) for internal symmetries.

ExampleThe Rotation Group SO(3)

SO(3)={RGL(3,R):RTR=I,detR=1}\mathrm{SO}(3) = \{R \in \mathrm{GL}(3,\mathbb{R}) : R^TR = I,\, \det R = 1\} is a 3-dimensional Lie group. Every rotation is specified by an axis n^\hat{n} and angle θ\theta: R(n^,θ)=eiθn^JR(\hat{n},\theta) = e^{-i\theta\hat{n}\cdot\mathbf{J}} where J=(J1,J2,J3)\mathbf{J} = (J_1,J_2,J_3) are the generators satisfying [Ji,Jj]=iεijkJk[J_i,J_j] = i\varepsilon_{ijk}J_k. The topology of SO(3)RP3\mathrm{SO}(3) \cong \mathbb{RP}^3 is non-simply connected: π1(SO(3))=Z2\pi_1(\mathrm{SO}(3)) = \mathbb{Z}_2. Its universal cover SU(2)S3\mathrm{SU}(2) \cong S^3 is the spin group, with the double cover SU(2)SO(3)\mathrm{SU}(2) \to \mathrm{SO}(3) explaining spinor representations.


Lie Algebras and Generators

Definition8.2Lie Algebra of a Symmetry Group

The Lie algebra g\mathfrak{g} of a Lie group GG consists of tangent vectors at the identity with the commutator bracket [X,Y]=XYYX[X,Y] = XY - YX. For matrix Lie groups, g={X:etXG for all t}\mathfrak{g} = \{X : e^{tX} \in G \text{ for all } t\}. The structure is encoded in structure constants: [Ta,Tb]=ifabcTc[T_a,T_b] = if_{abc}T_c where {Ta}\{T_a\} is a basis. The Killing form κ(X,Y)=tr(adXadY)\kappa(X,Y) = \mathrm{tr}(\mathrm{ad}_X \circ \mathrm{ad}_Y) classifies the algebra: g\mathfrak{g} is semisimple if and only if κ\kappa is non-degenerate.

ExampleLie Algebras in Physics

su(2)\mathfrak{su}(2): generators {J1,J2,J3}\{J_1,J_2,J_3\} with [Ji,Jj]=iεijkJk[J_i,J_j] = i\varepsilon_{ijk}J_k. Basis: J±=J1±iJ2J_\pm = J_1 \pm iJ_2, J3J_3 with [J3,J±]=±J±[J_3,J_\pm] = \pm J_\pm, [J+,J]=2J3[J_+,J_-] = 2J_3. su(3)\mathfrak{su}(3): 8 generators (Gell-Mann matrices λ1,,λ8\lambda_1,\ldots,\lambda_8), rank 2. Poincare algebra: 10 generators (PμP_\mu translations, MμνM_{\mu\nu} Lorentz transformations) with [Pμ,Pν]=0[P_\mu,P_\nu] = 0, [Mμν,Pρ]=i(ημρPνηνρPμ)[M_{\mu\nu},P_\rho] = i(\eta_{\mu\rho}P_\nu - \eta_{\nu\rho}P_\mu), [Mμν,Mρσ]=i(ημρMνσ)[M_{\mu\nu},M_{\rho\sigma}] = i(\eta_{\mu\rho}M_{\nu\sigma} - \cdots). Casimir operators: P2=PμPμP^2 = P_\mu P^\mu (mass) and W2=WμWμW^2 = W_\mu W^\mu (spin), where Wμ=12εμνρσMνρPσW^\mu = \frac{1}{2}\varepsilon^{\mu\nu\rho\sigma}M_{\nu\rho}P_\sigma is the Pauli-Lubanski vector.


Discrete Symmetries

Definition8.3Discrete Symmetry Groups

Discrete symmetries cannot be continuously connected to the identity. In quantum mechanics: parity PP (spatial inversion xx\mathbf{x}\to-\mathbf{x}), time reversal TT (complex conjugation and ttt\to-t, an antiunitary operator), and charge conjugation CC (particle \leftrightarrow antiparticle). The CPT theorem states that any Lorentz-invariant local quantum field theory is invariant under the combined CPTCPT transformation. Individual symmetries CC, PP, TT can be violated (weak interactions violate PP and CPCP).

RemarkPoint Groups and Crystal Symmetry

In solid-state physics, the symmetry of a crystal is described by its space group (230 types in 3D) combining point group operations (rotations, reflections) with lattice translations. The point group (32 crystallographic types) determines selection rules for optical transitions, Raman activity, and phonon symmetries. The irreducible representations of the point group label the electronic band structure at high-symmetry points in the Brillouin zone.