Registry · Theorem IV.T69 tau-effective formalized

IV.T69 — SU(3) Gauge Algebra

The gauge algebra of the strong sector is isomorphic to su(3), forced by three structural constraints: chi_minus-dominant polarity (non-abelian), primorial depth-3 eta-circle (three color classes, rank 3), and color-neutral vacuum (tracelessness, SU not U).

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.Su3GaugeAlgebra