Registry · Proposition IV.P113 tau-effective formalized

IV.P113 — Quark electric charges

Quark electric charges are determined by color class: d-type quarks (n equiv 1 mod 3) have Q = -1/3 e, u-type quarks (n equiv 2 mod 3) have Q = +2/3 e, arising from the ternary eta-circle structure and the crossing coupling omega.

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.QuarkElectricCharges