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 |
SU(3)_C × SU(2)_L × U(1)_Y
via predicate surface "gaugeGroupFactorOf"
ⓘ
linked to:
Standard Model
|
| 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) in Type I string theory
via predicate surface "requiresGaugeGroup"
ⓘ
linked to:
SO(32) heterotic 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 |
SU(2)
ⓘ
linked to:
rotation group SU(2)
|
|
SU(2)
linked to:
rotation group SU(2)
|
weak isospin in the Standard Model via predicate surface "isGaugeGroupOf" ⓘ |
| SO(32) heterotic string theory | SO(32) ⓘ |
| E8×E8 heterotic string theory |
E8×E8
ⓘ
linked to:
E8×E8 heterotic string theory
|
| Donaldson–Witten theory | SU(2) via predicate surface "hasGaugeGroup" ⓘ |
| Donaldson–Witten theory |
SO(3)
via predicate surface "hasGaugeGroup"
ⓘ
linked to:
rotation group SO(3)
|
| BF theory | Lie group G via predicate surface "hasGaugeGroup" ⓘ |
| U(1) | electromagnetic interaction via predicate surface "isGaugeGroupOf" ⓘ |
| U(1) |
QED
via predicate surface "isGaugeGroupOf"
ⓘ
linked to:
quantum electrodynamics
|
| Georgi–Glashow model |
SU(5)
ⓘ
linked to:
Georgi–Glashow SU(5) grand unified theory
|
| Georgi–Glashow model | SU(3)×SU(2)×U(1) via predicate surface "breaksToGaugeGroup" ⓘ |
| Georgi–Glashow model |
Standard Model gauge group
via predicate surface "breaksToGaugeGroup"
ⓘ
linked to:
Standard Model
|
| Georgi–Glashow SU(5) grand unified theory | SU(5) via predicate surface "hasGaugeGroup" ⓘ |
| 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" ⓘ |
| heterotic supergravity |
E8×E8
via predicate surface "hasGaugeGroup"
ⓘ
linked to:
E8×E8 heterotic string theory
|
| heterotic supergravity | SO(32) via predicate surface "hasGaugeGroup" ⓘ |
| Type I string theory | SO(32) ⓘ |
| Type I string theory | SO(32) via predicate surface "ChanPatonGaugeGroup" ⓘ |
| Faddeev–Popov ghosts | Feynman gauge via predicate surface "appearInGauge" ⓘ |
| Faddeev–Popov ghosts | Landau gauge via predicate surface "appearInGauge" ⓘ |
| Faddeev–Popov ghosts | Rξ gauges via predicate surface "appearInGauge" ⓘ |
| BPST instanton |
SU(2)
ⓘ
linked to:
rotation group SU(2)
|
| non-Abelian Berry connection | unitary group ⓘ |
| non-Abelian Berry connection |
U(N)
ⓘ
linked to:
U(n)
|