Registry · Definition IV.D97 tau-effective formalized

IV.D97 — Non-Abelian Gauge Field

For gauge group G with Lie algebra g, the gauge potential is a g-valued 1-form A_mu = A_mu^a T_a with non-abelian field strength F = dA - ig[A,A].

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

Depended on by (7)

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.NonabelianGaugeField