Physlib.Particles.BeyondTheStandardModel.Spin10.Basic
6 declarations
Gauge group of the model
#GaugeGroupIThe gauge group of the model is the spin group .
Inclusion
#inclPatiSalamThe inclusion homomorphism from the Pati-Salam gauge group into the gauge group. This map is constructed by lifting the standard embedding to their universal covers, resulting in the homomorphism , and precomposing it with the group isomorphism .
Inclusion
#inclSMThe group homomorphism representing the inclusion of the Standard Model gauge group into the gauge group. This map is defined as the composition of the inclusion of the Standard Model gauge group into the Pati-Salam group and the subsequent inclusion of the Pati-Salam group into . This corresponds to the embedding of the Standard Model into the Grand Unified Theory (GUT) group via the Pati-Salam intermediate symmetry.
Inclusion
#inclGeorgiGlashowThe Lie group homomorphism that embeds the Georgi-Glashow gauge group into the gauge group. This map represents the specific case for of the general inclusion utilized in Grand Unified Theories (GUTs).
Inclusion of the Standard Model into via Georgi-Glashow
#inclSMThruGeorgiGlashowThe inclusion map of the Standard Model gauge group into the group, denoted , defined as the composition of the inclusion of the Standard Model into the Georgi-Glashow group and the inclusion of the Georgi-Glashow group into .
In the grand unified theory (GUT) model, the inclusion map of the Standard Model gauge group into , denoted , is equal to the inclusion map that factors through the Georgi-Glashow subgroup.
