Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

Lie theory · Map

SU(3)×SU(2)×U(1)X⟶SU(5)SU(3)\times SU(2)\times U(1)_X\longrightarrow SU(5)Color-first SU(5) block homomorphism

The block map diag(z² A,z⁻³ B), with primitive charge X and kernel Z6. Physical hypercharge is Y=−X/6.

Executable coverageHomomorphismFinite kernelCharge refined
Definition

The homomorphism ι(A,B,z)=diag(z² A,z⁻³ B) from SU(3) × SU(2) × U(1) to SU(5), with the color block first. Its kernel is generated by (exp(−2πi/3) I₃,−I₂,exp(2πi/6)) and its image is S(U(3) × U(2)).

Definition sources

The group map

Kernel⟨(ω₃⁻¹,−1,exp(2πi/6))⟩ ≅ Z6
ImageS(U(3) × U(2))

Not injective: keep the kernel when restricting representations.

Reference properties

PropertyValueEvidence
KernelZ6 with the explicitly stated generatorSources
ImageS(U(3) × U(2))Sources
InjectiveNoSources
Surjective onto SU(5)NoSources
Physical hyperchargeY=−X/6; integer Q=6Y=−XSources

Keep the charge

The same nonabelian multiplet can occur at different U(1) charges. The complete output is labeled by both SU highest weights and X. The kernel condition is −2t3+3t2+X=0 mod 6. The tool separately displays Y=−X/6 and transfers Q=−X when opening the product-group calculation. [sources]

From homomorphism to embedding

The map is not injective on the compact product. Quotienting by its actual kernel gives the block subgroup. Inverting the U(1) coordinate changes from the X convention to Q=6Y and identifies this quotient with the G_SM^(6) record. [sources]

Related objects and maps

Claims and sources

Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.

Definition

The homomorphism ι(A,B,z)=diag(z² A,z⁻³ B) from SU(3) × SU(2) × U(1) to SU(5), with the color block first. Its kernel is generated by (exp(−2πi/3) I₃,−I₂,exp(2πi/6)) and its image is S(U(3) × U(2)).

map:su-3-su-2-u1-to-su-5-block#definition
Kernel

Z6 with the explicitly stated generator

map:su-3-su-2-u1-to-su-5-block#kernel
Image

S(U(3) × U(2))

map:su-3-su-2-u1-to-su-5-block#image
Injective

No

map:su-3-su-2-u1-to-su-5-block#injective
Surjective onto SU(5)

No

map:su-3-su-2-u1-to-su-5-block#surjective
Physical hypercharge

Y=−X/6; integer Q=6Y=−X

map:su-3-su-2-u1-to-su-5-block#normalization
Keep the charge

The same nonabelian multiplet can occur at different U(1) charges. The complete output is labeled by both SU highest weights and X. The kernel condition is −2t3+3t2+X=0 mod 6. The tool separately displays Y=−X/6 and transfers Q=−X when opening the product-group calculation.

map:su-3-su-2-u1-to-su-5-block#branching-1
From homomorphism to embedding

The map is not injective on the compact product. Quotienting by its actual kernel gives the block subgroup. Inverting the U(1) coordinate changes from the X convention to Q=6Y and identifies this quotient with the G_SM^(6) record.

map:su-3-su-2-u1-to-su-5-block#global-form-1
Underlying compact product, with the X coordinate stated here

group:standard-model-z1

map:su-3-su-2-u1-to-su-5-block#relation-1
Parent group

group:su-5

map:su-3-su-2-u1-to-su-5-block#relation-2
Image after converting X to Q=−X

group:standard-model-z6

map:su-3-su-2-u1-to-su-5-block#relation-3