su2Generators
plain-language theorem explainer
The definition assigns three as the number of SU(2) generators, identifying them with the three massive weak bosons. Researchers deriving isospin symmetry from three-dimensional ledger geometry in Recognition Science cite this assignment. The declaration is a direct constant definition with no lemmas invoked.
Claim. The number of generators of SU(2) equals three.
background
The Weak Force Emergence module derives the weak nuclear force from ledger structure, with SU(2)_L symmetry emerging from three-dimensional geometry that yields three rotation generators. Upstream results define W as the wallpaper group count in Masses.Anchor, LeptonGenerations.TauStepDerivation, and MassTopology, supplying symmetry counts tied to spatial structure. The module document states that the SU(2) structure comes from 3D ledger geometry.
proof idea
The declaration is a direct definition that assigns the constant 3, matching the three weak bosons. It functions as a one-line constant declaration without applying any lemmas.
why it matters
This supplies the generator count required by the IsospinCert structure and by the theorems su2_from_3d and weak_bosons_eq_generators. It realizes the T8 framework step in which three spatial dimensions determine the three generators of rotations, grounding weak force emergence from 3D ledger geometry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.