Physical Applications of Group Theory
Group theory earns its place in physics the moment you notice that a Hamiltonian commutes with a set of symmetry operations. If is invariant under a group of unitary operators , then for every , and each carries an eigenspace of into itself. Those eigenspaces therefore carry representations of , and — barring accidental degeneracy — the representations are irreducible. That single sentence converts the vague word "symmetry" into hard, countable predictions: which levels are degenerate, how a perturbation splits them, which spectral lines are allowed, and how many molecular vibrations are infrared or Raman active. No wavefunction is solved along the way; the answers are read off character tables. The engine that does the reading is the character — the trace of a representation matrix. Because traces are invariant under change of basis and constant on conjugacy classes, decomposing any reducible representation into its irreducible pieces reduces to a single weighted inner product of two short lists of numbers. This "magic formula" splits a molecule's displacement representation into translations, rotations, and genuine vibrations, and splits an atomic multiplet dropped into a crystal into the irreps of the crystal site. Selection rules follow from the same arithmetic: a transition amplitude is an integral over all space, and by Schur's lemma it vanishes unless its integrand contains the totally symmetric representation. The framework is uniform across the discrete point groups of spectroscopy and the continuous rotation group SO(3) of angular momentum — the same characters, orthogonality, and decomposition — which is why crystal-field splittings are computed by subducing SO(3) irreps to a finite point group.
- A symmetry group of organizes the Hilbert space into irreducible representations: energy levels are degenerate precisely because they span an irrep, and the degeneracy equals the irrep's dimension.
- Any reducible representation is decomposed into irreps by one weighted character inner product — the magic formula — with no diagonalization required.
- A matrix element is forced to zero unless the trivial representation appears in — the origin of every optical selection rule.
- Molecular normal modes and their IR/Raman activity come from building from unmoved-atom counts and subtracting the translations and rotations; H₂O gives .
- The same machinery handles continuous groups: SO(3) has irreps of dimension , and subducing to the octahedral group gives the ligand-field splitting .
- Key idea: A symmetry of block-diagonalizes the problem by irrep — degeneracies are irrep dimensions, splittings are decompositions of subduced or perturbed representations, and a matrix element survives only if its integrand contains the trivial representation. Everything reduces to character arithmetic.
Where this lives today
The character-table calculations in this article are run, in effect, every day. Vibrational spectroscopists still build to assign infrared and Raman bands, and the mutual exclusion rule remains a first-line diagnostic for a centre of symmetry in an unknown compound. Ligand-field theory — the subduction of to a site point group — underlies the colours and magnetic moments of transition-metal and lanthanide complexes. In the solid state, the same little-group analysis at high-symmetry points of the Brillouin zone classifies electronic bands and phonons by their irreps; multidimensional irreps force the degeneracies and symmetry-protected crossings that define topological insulators and Dirac and Weyl semimetals, whose entire classification is a group-theory exercise. The Wigner–Eckart theorem is the backbone of atomic-clock and trapped-ion quantum-computing calculations, where transition strengths between sublevels reduce to Clebsch–Gordan coefficients. And in particle physics the very notion of a particle is an irreducible representation of a symmetry group — the idea, scaled from SO(3) to the Poincaré and gauge groups, that Wigner set in motion.
The physical picture
Picture the Hamiltonian as a big matrix that must look identical after any operation of the symmetry group. Change to a basis of functions that transform "cleanly" — each set spanning an irrep — and that matrix cannot connect functions belonging to different irreps, because a symmetry-invariant operator has no invariant way to link them. The matrix therefore falls apart into independent blocks, one per irrep, and the states inside a single block are automatically degenerate. Symmetry performs this block-diagonalization for free, before any dynamics: the block sizes are fixed by group theory alone, and only each block's energy is left to the physics. A doubly degenerate level or a triply degenerate level exists because the group offers no operation that singles out one partner state from the others.
A matrix element tells the complementary story. It is an integral over all space, and if you rotate the entire picture by a symmetry of the system the integral cannot change its value. But the only piece of an integrand that survives averaging over the whole group is the piece that is itself invariant — the totally symmetric representation. So a transition is allowed exactly when the product of "how the bra, the operator, and the ket transform" contains that invariant component; otherwise the integral is not merely small, it is identically zero. Lower the symmetry with a perturbation, and a level splits by exactly the way its irrep decomposes when restricted to the smaller group — which is what the crystal-field diagram below computes for a electron placed at the centre of an octahedron.
The core equations
The starting point is the defining statement of a symmetry: the Hamiltonian is unchanged by every group operation, so it commutes with each unitary representative. This is what forces energy eigenspaces to be invariant subspaces, and hence to carry representations of .
where: — the Hamiltonian; — the unitary operator representing group element on the Hilbert space; — the symmetry group. Reading it: if then , so is another eigenstate at the same energy — the eigenspace is closed under . Everything computational rests on decomposing a reducible representation into irreps. Because characters are basis-independent and constant on conjugacy classes, the multiplicity of each irrep is a single inner product, best summed class-by-class with the class sizes as weights.
where: — how many times irrep appears in ; — the group order; — character of the reducible representation; — character of irrep ; — number of elements in class . Reading it: dot the reducible character into each irreducible one, weight by class size, divide by ; the answer is always a non-negative integer — a built-in check. Selection rules are the second pillar and follow from the same orthogonality. A matrix element cannot depend on the choice of frame, so it must equal its own group average, and that average projects onto the trivial (totally symmetric) representation .
where: — the trivial representation; — irreps of the initial and final states; — irrep under which the operator transforms; — direct product of representations. Reading it: form the triple product, decompose it with equation (2), and check whether ; if the invariant is absent the amplitude is exactly zero. To use equation (3) you need the symmetry of the operator. The electric-dipole operator is proportional to the position vector, so it transforms as the coordinates ; the Raman (polarizability) operator transforms as the quadratic forms.
where: E1 — electric-dipole process, ; Raman — polarizability process, quadratic in coordinates. Reading it: a mode or transition is infrared active if its irrep appears among in the character table's basis column, and Raman active if it appears among the quadratic forms. For molecular vibrations the reducible representation is the -dimensional space of Cartesian displacements. Only atoms left fixed by an operation contribute to its character, and each contributes the trace of the orthogonal matrix acting on its .
where: — atoms left in place by ; — its rotation angle; the sign is for proper operations () and for improper ones (). Reading it: a proper rotation contributes per fixed atom, an improper one ; multiply by the count of fixed atoms and you have class by class. The physical vibrations are what is left after removing the three rigid translations and three rigid rotations, whose irreps are read straight off the character table's basis columns.
where: — full displacement representation; — irreps spanning ; — irreps spanning ; — subtraction of multiplicities. Reading it: what remains has dimension (or for a linear molecule), the correct count of normal modes. The discrete story carries over unchanged to the continuous rotation group SO(3), whose irreps are the angular-momentum multiplets . A rotation by is diagonal in the basis, and summing the diagonal phases gives a compact closed form.
where: — angular-momentum quantum number, with ; — rotation angle; — magnetic quantum number. Reading it: evaluating this at the rotation angles of a finite point group is exactly what subduces an atomic multiplet to a crystal site. Finally, combining two angular momenta is the decomposition of a tensor product of SO(3) irreps — the Clebsch–Gordan series, the continuous-group version of equation (2).
where: — the angular momenta combined; — total angular momentum, stepping by 1. Reading it: the dimensions must balance, , another automatic check.
The goal is to prove, from symmetry alone, that a matrix element is forced to vanish unless the integrand contains the trivial representation, then to specialize to the electric dipole and recover the atomic rule . The whole argument is that an integral over all space is a number, and a number cannot change under a relabelling of coordinates by a symmetry of the system, so must equal its own average over the group — a projection onto the invariant part of the integrand.
Step 1. Because the volume measure is invariant under every , the integral is unchanged if we act with on all three factors and then average over the group: . Why: this rewrites the single integral as the group average of itself, which is the trick that exposes what part of the integrand can survive.
Step 2. The product is an object built from three pieces living in , and , so under it transforms in the tensor product . Why: products of representation-carrying quantities transform in the product representation, which is the only fact about tensor products we need.
Step 3. Averaging a representation over the group is the projector onto its trivial-irrep content, because — every non-trivial irrep sums to zero by orthogonality with the constant character. Why: the group average annihilates everything that is not invariant, leaving only the totally symmetric part standing.
Step 4. Therefore : if the trivial representation does not appear in the triple product, the projection is zero and identically, not merely small. Why: this is the selection rule in its most general form, valid for any group and any operator.
Step 5. Specialize to the electric dipole, , which transforms as for a free atom. Then , so a non-zero amplitude to a state requires ; parity ( is odd) then kills , leaving . Why: the abstract rule collapses to the textbook atomic result the instant you feed it the rotation group and the dipole operator. *The abstract rule specializes cleanly: for atoms it returns , and for molecules it becomes the point-group rule that a mode is IR active if and only if its irrep lies in .*
Go deeper · Derivation B · 2 minNormal modes and IR/Raman activity of water
The goal is to count and label every vibration of H₂O and decide which are infrared and which Raman active, using nothing but the character table. Water has atoms and point group with ; we place the molecule in the plane with the axis along , the standard convention that makes the antisymmetric stretch come out as . The plan is to build the displacement character from unmoved-atom counts, decompose it with the magic formula, and strip away the translations and rotations.
Step 1. Count atoms left in place by each operation: fixes all three; (the axis) fixes only the oxygen; the molecular plane fixes all three; the perpendicular plane fixes only the oxygen. So . Why: only atoms that stay put contribute to the character, so this count is the whole geometric input.
Step 2. Multiply by the per-atom contribution : for it is , for it is , and for each reflection it is . Hence . Why: this turns the geometry of Step 1 into the reducible character that equation (2) will digest.
Step 3. Apply the magic formula against the four irreps , , , , each class of size 1: , , , , giving . Why: the nine displacement coordinates are now sorted into symmetry species, and confirms the dimension.
Step 4. Remove the rigid motions read from the table: and . Subtracting, . Why: the three translations and three rotations carry no vibrational information, and removing them leaves exactly genuine modes.
Step 5. Read off the activities: carries (IR) and (Raman); carries (IR) and (Raman). Both species are therefore simultaneously infrared and Raman active — the symmetric stretch and bend () and the antisymmetric stretch () all appear in both spectra. Why: with no inversion centre nothing forbids mutual activity, and this is exactly what is measured for water. *As a check: decomposes to , and after removing translations and rotations — three fundamentals, all IR and Raman active, in agreement with the observed bands at 3657, 1595 and 3756 cm⁻¹.*
Go deeper · Derivation C · 1 minSplitting of a d level in an octahedral crystal field
The goal is to compute how a five-fold degenerate free-ion level splits when the ion sits at the centre of an octahedron, by subducing the SO(3) irrep to the finite octahedral rotation group . This is the founding calculation of ligand-field theory: it turns the continuous rotational symmetry of a free atom into the discrete cubic symmetry of a crystal site and reads the level pattern off a character table. The group has order 24 and classes with rotation angles .
Step 1. Evaluate the SO(3) character at each class angle. At it is the dimension, ; at , ; at , ; at , . So over the characters are . Why: these five numbers are the reducible character of the level regarded as a representation of the smaller group .
Step 2. Decompose with the magic formula, using class sizes and . Against one gets . Why: the doublet appears once, and the class-weighted inner product gives the integer directly.
Step 3. Against one gets ; the same arithmetic against returns zero. Why: only and survive, so the five-dimensional level splits into a doublet and a triplet with nothing left over.
Step 4. Assemble the result, , with dimensions . In the full group (adding inversion) both keep the even label from , giving . Why: the barycentre-preserving split of the orbitals into the doublet and the triplet is the celebrated ligand-field splitting. *As a check: over the classes of decomposes to ; in the full group the labels become (upper, ) and (lower, ), separated by the measured .*
Limiting cases
How the general formalism specializes at the extremes of symmetry:
| Case | Result | Meaning |
|---|---|---|
| Full rotational symmetry | Free atom: SO(3) irreps give the familiar -fold degeneracy of orbital angular momentum. | |
| Cubic crystal field () | A level (, five-fold) splits into a doublet and a triplet — the ligand-field splitting . | |
| No symmetry | Only the trivial one-dimensional irrep exists: every level is non-degenerate and every transition is symmetry-allowed. | |
| Centrosymmetric molecule | IR active Raman inactive | An inversion centre imposes the mutual exclusion rule — no fundamental is both IR and Raman active. |
Worked examples
1 · Vibrations of ammonia (fully worked, C₃ᵥ)
Ammonia NH₃ is a trigonal pyramid with atoms and point group , . Find the number, symmetry species, and IR/Raman activity of its normal modes.
Step 1. Count unmoved atoms. fixes all four; each (about the principal axis through N) fixes only the nitrogen; each mirror plane contains N and one hydrogen, fixing two atoms. So over .
Step 2. Per-atom contributions: gives ; gives ; gives . Multiply: .
Step 3. Decompose with the magic formula, class sizes , against , , : , , . Thus , and the dimension checks: .
Step 4. Remove translations and rotations . Then , of dimension .
Step 5. Read activities: carries and — IR and Raman active; carries and — IR and Raman active. So ammonia has four distinct fundamental frequencies (2A₁ + 2E), every one of them both infrared and Raman active — the symmetric stretch and the umbrella bend (), and the degenerate stretch and degenerate bend (), observed near 3337, 950, 3444 and 1627 cm⁻¹.
2 · Mutual exclusion in carbon dioxide (linear, D∞ₕ)
CO₂ is linear and centrosymmetric, . Show that it has four vibrational modes and that no fundamental is both IR and Raman active.
Step 1. A linear molecule has vibrations, so CO₂ has modes. Analysing the displacement representation of the group sorts them into a symmetric stretch , an antisymmetric stretch , and a doubly degenerate bend — a total of , as required.
Step 2. Classify by parity. The subscript (gerade, even under inversion) or (ungerade, odd) is decisive: quadratic forms are always , and the coordinates are always . Hence Raman activity lives on modes and IR activity on modes.
Step 3. Apply it. The symmetric stretch is Raman active only (it appears among ) and IR silent — the two C=O bonds lengthen in phase, so the dipole never changes. The antisymmetric stretch (2349 cm⁻¹) and the bend (667 cm⁻¹) are IR active only. No mode is both: this is the mutual exclusion rule, and observing a band in only one of the two spectra is a direct fingerprint of a centre of symmetry.
Physics of the portrait
Group theory did not walk into physics on its own; it was carried there, against considerable resistance, by a handful of people who saw that symmetry was not decoration but computation. The clearest single figure is Eugene Wigner, whose 1931 book made representation theory a working tool of the quantum physicist.
Origins · 1 minEugene Wigner and how this was discovered
Eugene Paul Wigner, a Hungarian-born chemical engineer turned theoretical physicist, was the person who most decisively made group theory indispensable to physics — at a time when many dismissed it as the "Gruppenpest," the group-theory plague. Drawn into the new quantum mechanics in the late 1920s, Wigner realized that the degeneracies and selection rules of atomic spectra were not accidents of the Schrödinger equation but consequences of rotational symmetry, expressible entirely through the representation theory of the rotation group. His 1927 papers introduced the representation-theoretic analysis of atomic terms, and the resulting Wigner–Eckart theorem — that every matrix element of an irreducible tensor operator factorizes into a geometric Clebsch–Gordan coefficient times a single reduced matrix element — remains the most-used consequence of Schur's lemma in all of spectroscopy. His 1931 monograph Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren systematized the field and taught a generation to compute with characters. Wigner also proved that symmetries must be represented by unitary or antiunitary operators, pioneered time-reversal, and laid the groundwork for classifying relativistic particles by the irreducible representations of the Poincaré group. He shared the 1963 Nobel Prize in Physics "through the discovery and application of fundamental symmetry principles" — the citation that made "symmetry principle" a household phrase in physics.
Going further
Texts. Tinkham, Group Theory and Quantum Mechanics (Dover) — the classic physicist's treatment of characters and selection rules · Hamermesh, Group Theory and Its Application to Physical Problems (Dover) · Arfken, Weber & Harris, Mathematical Methods for Physicists, 7th ed., ch. 16–17 · Stone & Goldbart, Mathematics for Physics (CUP 2009), ch. on group representations and their applications · Hassani, Mathematical Physics, ch. on group representation theory · Cotton, Chemical Applications of Group Theory, 3rd ed. (for the spectroscopy). The key numerical results are: (1) the H₂O displacement character in the -plane convention decomposes to , giving ; (2) the NH₃ character decomposes to and ; (3) the SO(3) character over the classes of gives ; (4) the Clebsch–Gordan dimensions satisfy . Note the convention subtlety: with the molecule in the plane the same physics labels the antisymmetric stretch — the mode count and activities are convention-independent, only the Mulliken label flips.
Prerequisites. Group Representations · Reducible and Irreducible Representations · Schur's Lemmas · Characters and Orthogonality Theorems · Character Tables and Decomposition of Representations · Tensor Products and Clebsch–Gordan Decomposition. Leads to. The Rotation Group SO(3) · Lie Algebras and the Exponential Map · Tensor Products and Clebsch–Gordan Decomposition.
Ask the tutor: Tell me a molecule or an ion in a crystal field and I will build its character, decompose it, and read off the degeneracies, normal modes, and IR/Raman selection rules step by step.
Why does a symmetry of the Hamiltonian create degeneracy?
If commutes with every , and is an eigenstate with energy , then is also an eigenstate with the same , because . The whole set therefore lies in one energy level and forms an invariant subspace — a representation of . Generically that representation is irreducible (if it were reducible, an extra symmetry would be hiding), so the degeneracy of the level equals the dimension of an irrep. This is why the allowed degeneracies of a system are dictated in advance by its symmetry group: for a point group they are the irrep dimensions listed in the character table, and nothing else can occur without an accident.
What is the "magic formula" really doing?
It is an orthogonal projection. The irreducible characters form an orthonormal basis for class functions under . Any reducible character is an integer combination , so the inner product with picks out its coefficient by orthogonality — exactly as projecting a vector onto a basis direction returns its component. Summing class-by-class with the class sizes as weights is a bookkeeping speed-up, since the character is constant on each class. That every comes out a non-negative integer is a strong check: a fractional or negative answer means an arithmetic slip.
How do I know which operator symmetry to use for a transition?
Match the operator to the physical process and read its transformation from the character table's basis columns. Electric-dipole (E1) transitions use , transforming as — so a mode or state is IR active when its irrep sits beside , , or . Raman scattering probes the polarizability, quadratic in the field, so its operator transforms as , and Raman activity is read from the quadratic-form column. Magnetic-dipole transitions use the rotations , and electric-quadrupole transitions the quadratic forms again. The table lists all of these precisely so you can look up the operator's irrep and feed it into the triple-product selection rule.
Why place water in the xz plane rather than the yz plane?
Purely to match the most common textbook label. The physics is identical either way: H₂O has three modes, two of species and one of the type, all IR and Raman active. But the name of that mode depends on which in-plane axis you call . In the -plane convention the antisymmetric stretch comes out ; in the -plane convention the identical mode is called , because and are distinguished only by their behaviour under the two vertical mirrors, and swapping the planes swaps the labels. Mulliken's conventions do not fully fix the choice for , so both appear in the literature. Always state your axis choice; never treat the -versus- label as physical.
Can group theory tell me how strong an allowed transition is?
No — and this is its single most important limitation. Group theory is a binary oracle: it certifies only that an amplitude is either forced to zero or not forced to zero. When a transition is allowed, the actual magnitude depends on the overlap of the real wavefunctions and the dynamics, which no character table contains. A symmetry-allowed line can still be extremely weak, and a formally forbidden line can appear once the assumptions relax — through vibronic coupling, higher multipoles, or spin–orbit mixing. The value of the method is in the zeros it guarantees and the degeneracies it enforces; for intensities you hand the surviving matrix elements to perturbation theory or a direct computation.
How does the same framework handle both molecules and atoms?
Through the identical toolkit — characters, orthogonality, decomposition — applied to different groups. For a molecule the group is a finite point group with a handful of tabulated irreps, and you decompose the displacement representation. For a free atom the group is the continuous rotation group SO(3), whose irreps are the multiplets of dimension , with the character formula replacing a finite table. Crystal-field theory is the bridge: take the atomic , evaluate its SO(3) character only at the rotation angles present in the crystal's point group, and decompose with the same magic formula — the continuous problem reduced to a finite one.