Office Hours/📐 Mathematics/02
Mathematics · Document 3

Group Theory

Symmetry groups, Lie groups, and the structure of gauge theories

1. What is a Group?

A group is a set G with an operation · that satisfies four axioms:

1. Closure:
If a, b ∈ G, then a · b ∈ G
2. Associativity:
(a · b) · c = a · (b · c)
3. Identity:
∃e: e · a = a · e = a
4. Inverses:
∀a ∃a⁻¹: a · a⁻¹ = e
Groups encode symmetry. The set of all rotations of a square forms a group. The set of all permutations of objects forms a group. The gauge symmetries of physics form groups!

2. The Z₂ Group — The Simplest Non-Trivial Group

Z₂ = {e, g} has just two elements, with g² = e (applying g twice gives identity).

🎮 Interactive: Z₂ Group Operations
😊
Current state
e
Operations: e = e
·eg
eeg
gge ← g² = e!

Real-World Z₂ Examples

💡
Light Switch
ON ↔ OFF, two flips = original
🪞
Mirror
Reflection², returns to original
✋
Chirality
Left ↔ Right hand (can't rotate!)
Z²
T³/Z₂
The Z₂ projection on T³ creates chirality — why weak force only affects left-handed particles!

3. Cyclic Groups Zₙ

The cyclic group Zₙ is like clock arithmetic: numbers 0 to n-1, where n wraps back to 0.

🎮 Interactive: Cyclic Groups (Clock Arithmetic)
01234567891011Z12
Current element
0
0 + 1 = 1 ≡ 1 (mod 12)
Clock arithmetic: After 12 o'clock comes... 1! That's Z₁₂ in action.
Z₂ is the cyclic group Z₂ — it has order 2, meaning you cycle back after 2 operations. The subscript tells you the number of elements.

4. Lie Groups

Lie groups are continuous groups — groups with infinitely many elements that vary smoothly. The Standard Model uses these extensively!

GroupNameDimPhysics Role
U(1)Unitary 1×11Electromagnetism
SU(2)Special Unitary 2×23Weak force
SU(3)Special Unitary 3×38Strong force (QCD)
SO(3)Special Orthogonal33D rotations
G_SM = SU(3) × SU(2) × U(1)
The Standard Model Gauge Group

5. SU(2) and Qubits

SU(2) is the group of 2×2 unitary matrices with determinant 1. It acts on 2-component spinors and describes rotations in quantum mechanics.

🎮 Interactive: SU(2) Acting on the Bloch Sphere
|0⟩ (↑)|1⟩ (↓)
Qubit state
|ψ⟩ = cos(θ/2)|0⟩ + eiφsin(θ/2)|1⟩
P(|0⟩)
100%
P(|1⟩)
0%
Phase
0°
SU(2) acts on qubits: The group SU(2) rotates points on this sphere.
Note: θ = 180° only gives a sign flip, showing SU(2) → SO(3) is 2:1!

Key Properties of SU(2)

• 3 generators: The Pauli matrices σₓ, σᵧ, σᵤ

• Commutation: [σᵢ, σⱼ] = 2iεᵢⱼₖσₖ

• Covers SO(3): SU(2) → SO(3) is 2:1 (360° rotation = -1)

6. Group Generators and Lie Algebras

Every Lie group has an associated Lie algebra — the space of infinitesimal generators.

[T_a, T_b] = if_abc T_c
Lie bracket (commutator)

The structure constants f_abc encode the group's structure.

Z²
rank(G_SM) = 2 + 1 + 1 = 4
This '4' appears in α⁻¹ = 4Z² + 3

7. Connection to Z² Framework

Z²
T³/Z₂
Z₂ orbifold creates fixed points and chirality
Z²
SU(3)×SU(2)×U(1)
Standard Model gauge group emerges from compactification
Z²
sin²θ_W = 3/13
From intersection numbers of D-branes on the orbifold

Why Group Theory Matters

  • • Symmetries determine conservation laws (Noether's theorem)
  • • Gauge groups determine the forces of nature
  • • Z₂ creates chirality through orbifold projection
  • • Rank of gauge group appears in fine structure constant

Exercises

  1. Verify that Z₂ satisfies all four group axioms.
  2. In Z₁₂ (clock arithmetic), compute: 7 + 8 = ?
  3. How many elements does SU(2) have? (Hint: it's infinite!)
  4. The Pauli matrices satisfy σᵢσⱼ = δᵢⱼI + iεᵢⱼₖσₖ. Verify [σₓ, σᵧ] = 2iσᵤ.
  5. Why is rank(SU(n)) = n - 1? (Hint: traceless diagonal matrices)