Registry · Theorem IV.T52 tau-effective formalized

IV.T52 — Weak Gauge Group

The weak gauge group is SU(2)_L: unique connected simply connected compact Lie group with Lie algebra su(2), restricted to left-handed fermion doublets by the Chirality Selection Theorem.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

IV.T40 IV.T38

Depended on by (5)

IV.D117 IV.D118 IV.D119 IV.P59 IV.T54

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WeakGaugeGroup