Physics Standard Model Group Structure

The gauge group and its ranks

The Standard Model of particle physics describes three of the four known forces through a gauge group, a mathematical object whose symmetries dictate how force-carrying particles behave. The group is written SU(3)×SU(2)×U(1). The SU(3) part governs the strong force, which binds quarks inside protons and neutrons. The SU(2) and U(1) parts together describe the electroweak force, which unifies electromagnetism with the weak force responsible for radioactive decay. Each factor has a rank, a number that measures the size of its symmetry: SU(3) has rank 3, SU(2) has rank 2, and U(1) has rank 1. These three numbers add to 6.

The ranks carry physical meaning. The 3 of SU(3) matches the three spatial dimensions of our everyday world. The 2 of SU(2) is one less, and the 1 of U(1) is the scalar phase, a simple rotation in a complex plane. In the Recognition Science framework, these ranks are not arbitrary inputs but emerge from a deeper structure: the framework's forcing chain derives three spatial dimensions, and the gauge ranks mirror that derivation. The framework models the gauge group's rank decomposition as a direct reflection of this dimensional structure.

Force carriers also come in exact counts. SU(3) has 8 gluons, computed as 3² − 1. SU(2) has 3 weak bosons, computed as 2² − 1. Adding the single photon of U(1) gives 12 total force carriers before electroweak symmetry breaking. After that breaking, the observable carriers are 5 types: gluon, W+, W−, Z, and photon. This 5 matches another framework constant, the configuration dimension.

In Recognition Science, a machine-checked library of formal theorems certifies these counts. The library defines the five gauge boson types, proves there are exactly 5, proves the rank sum equals 6, proves the gluon count equals 8, and proves the total carrier count equals 12. These proofs are checked by a computer, with no unproved assumptions. The library's certificate bundles these four facts into a single structure. What this establishes in plain language is that the Standard Model's group structure, its ranks and particle counts, are consistent with the framework's derived dimensions and configuration space.

theorem totalRank : rankSU3 + rankSU2 + rankU1 = 6 := by decide

theorem smGaugeBosonCount : Fintype.card SMGaugeBosonType = 5 := by decide

theorem gluon_count : gluonCount = 8 := by decide

theorem w_boson_count : wBosonCount = 3 := by decide

theorem total_carriers_eq : totalCarriers = 12 := by decide

What this page does not claim

This module does not derive the gauge group from first principles; it certifies that the ranks and counts match the Standard Model. The framework does not claim to explain the specific force strengths or couplings of the gauge groups. The match between the SU(3) rank and spatial dimension is a modeled correspondence, not a proven physical identity.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Physics/StandardModelGroupStructure.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: