Registry · Proposition IV.P41 tau-effective formalized

IV.P41 — Self-Interaction from Non-Commutativity

Non-abelian field strength contains -ig[A_mu,A_nu] self-interaction: weak bosons and gluons self-interact, photons do not.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

IV.D97

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.SelfinteractionFromNoncommutativity