gaugeGroup
P5369
predicate
Indicates a relationship where a physical or theoretical model is associated with the gauge group that defines its underlying symmetry structure.
All labels observed (11)
| Label | Occurrences |
|---|---|
| hasGaugeGroup | 12 |
| gaugeGroup canonical | 11 |
| isGaugeGroupOf | 5 |
| appearInGauge | 3 |
| breaksToGaugeGroup | 2 |
| requiresGaugeGroup | 2 |
| ChanPatonGaugeGroup | 1 |
| gaugeGroupFactorOf | 1 |
| gaugeGroupOf | 1 |
| unifiesGaugeGroups | 1 |
| usesGaugeGroup | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: gaugeGroup
Generated description
Indicates a relationship where a physical or theoretical model is associated with the gauge group that defines its underlying symmetry structure.
Sample triples (40)
| Subject | Object |
|---|---|
| Z boson | SU(2)_L × U(1)_Y ⓘ |
| Standard Model | SU(3)×SU(2)×U(1) ⓘ |
| SU(2)_L | weak interaction via predicate surface "gaugeGroupOf" ⓘ |
| SU(2)_L |
Standard Model
via predicate surface "gaugeGroupFactorOf"
ⓘ
surface form:
SU(3)_C × SU(2)_L × U(1)_Y
|
| quantum electrodynamics | U(1) via predicate surface "hasGaugeGroup" ⓘ |
| quantum chromodynamics | SU(3) via predicate surface "hasGaugeGroup" ⓘ |
| Salam–Weinberg model | SU(2)_L via predicate surface "hasGaugeGroup" ⓘ |
| Salam–Weinberg model | U(1)_Y via predicate surface "hasGaugeGroup" ⓘ |
| Schwinger model | U(1) ⓘ |
| Green–Schwarz mechanism |
SO(32) heterotic string theory
via predicate surface "requiresGaugeGroup"
ⓘ
surface form:
SO(32) in Type I string theory
|
| Green–Schwarz mechanism | SO(32) in heterotic string theory via predicate surface "requiresGaugeGroup" ⓘ |
| gluon | SU(3) via predicate surface "hasGaugeGroup" ⓘ |
| SU(3) | quantum chromodynamics via predicate surface "isGaugeGroupOf" ⓘ |
| SU(3) | strong interaction via predicate surface "isGaugeGroupOf" ⓘ |
| Chern–Simons theory | compact Lie group via predicate surface "usesGaugeGroup" ⓘ |
| Yang monopole |
rotation group SU(2)
ⓘ
surface form:
SU(2)
|
|
rotation group SU(2)
surface form:
SU(2)
|
weak isospin in the Standard Model via predicate surface "isGaugeGroupOf" ⓘ |
| SO(32) heterotic string theory | SO(32) NERFINISHED ⓘ |
| E8×E8 heterotic string theory | E8×E8 NERFINISHED ⓘ |
| Donaldson–Witten theory | SU(2) via predicate surface "hasGaugeGroup" ⓘ |
| Donaldson–Witten theory | SO(3) via predicate surface "hasGaugeGroup" NERFINISHED ⓘ |
| BF theory | Lie group G via predicate surface "hasGaugeGroup" ⓘ |
| U(1) | electromagnetic interaction via predicate surface "isGaugeGroupOf" ⓘ |
| U(1) | QED via predicate surface "isGaugeGroupOf" NERFINISHED ⓘ |
| Georgi–Glashow model | SU(5) NERFINISHED ⓘ |
| Georgi–Glashow model | SU(3)×SU(2)×U(1) via predicate surface "breaksToGaugeGroup" ⓘ |
| Georgi–Glashow model | Standard Model gauge group via predicate surface "breaksToGaugeGroup" NERFINISHED ⓘ |
| Georgi–Glashow SU(5) grand unified theory | SU(5) via predicate surface "hasGaugeGroup" NERFINISHED ⓘ |
| Georgi–Glashow SU(5) grand unified theory | SU(3)×SU(2)×U(1) via predicate surface "unifiesGaugeGroups" ⓘ |
| Type I supergravity | SO(32) via predicate surface "hasGaugeGroup" NERFINISHED ⓘ |
| heterotic supergravity | E8×E8 via predicate surface "hasGaugeGroup" NERFINISHED ⓘ |
| heterotic supergravity | SO(32) via predicate surface "hasGaugeGroup" NERFINISHED ⓘ |
| Type I string theory | SO(32) NERFINISHED ⓘ |
| Type I string theory | SO(32) via predicate surface "ChanPatonGaugeGroup" NERFINISHED ⓘ |
| Faddeev–Popov ghosts | Feynman gauge via predicate surface "appearInGauge" NERFINISHED ⓘ |
| Faddeev–Popov ghosts | Landau gauge via predicate surface "appearInGauge" NERFINISHED ⓘ |
| Faddeev–Popov ghosts | Rξ gauges via predicate surface "appearInGauge" ⓘ |
| BPST instanton | SU(2) NERFINISHED ⓘ |
| non-Abelian Berry connection | unitary group ⓘ |
| non-Abelian Berry connection | U(N) NERFINISHED ⓘ |