Registry · Proposition IV.P115 tau-effective formalized

IV.P115 — Gluon count

The strong sector admits exactly 8 independent connection modes corresponding to the 8 generators of su(3): dim_R su(3) = 3^2 - 1 = 8, each basis element corresponding to a gluon type as an independent gauge boson.

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.GluonCount