Find the exact object.

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

Lie theory · Map

SU(3)⟶PSU(3)\mathrm{SU}(3) \longrightarrow \mathrm{PSU}(3)Adjoint quotient of SU(3)

A ↦ its coset in SU(3)/C₃. Kernel: {exp(2πik/3)I : k = 0,1,2} ≅ C₃.

Executable coverageCovering or central quotient
Definition

A ↦ its coset in SU(3)/C₃.

Definition sources

The group map

Kernel{exp(2πik/3)I : k = 0,1,2} ≅ C₃
ImagePSU(3)\mathrm{PSU}(3)

Not injective: keep the kernel when restricting representations. The map is surjective.

Reference properties

PropertyValueEvidence
Domainsu-3Sources
Codomainpsu-3Sources
Specified homomorphismA ↦ its coset in SU(3)/C₃.Sources
Kernel{exp(2πik/3)I : k = 0,1,2} ≅ C₃Sources
ImagePSU(3)\mathrm{PSU}(3)Sources
InjectiveNoSources
SurjectiveYesSources
Covering degree33Sources

Global and representation consequences

The defining 3 is not a representation of PSU(3). A highest weight (p,q) descends precisely when p + 2q ≡ 0 mod 3. [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

A ↦ its coset in SU(3)/C₃.

map:su-3-to-psu-3#definition
Domain

su-3

map:su-3-to-psu-3#domain
Codomain

psu-3

map:su-3-to-psu-3#codomain
Specified homomorphism

A ↦ its coset in SU(3)/C₃.

map:su-3-to-psu-3#formula
Kernel

{exp(2πik/3)I : k = 0,1,2} ≅ C₃

map:su-3-to-psu-3#kernel
Image

PSU(3)

map:su-3-to-psu-3#image
Injective

No

map:su-3-to-psu-3#injective
Surjective

Yes

map:su-3-to-psu-3#surjective
Covering degree

3

map:su-3-to-psu-3#covering-degree
Global and representation consequences

The defining 3 is not a representation of PSU(3). A highest weight (p,q) descends precisely when p + 2q ≡ 0 mod 3.

map:su-3-to-psu-3#meaning-1
Domain group

group:su-3

map:su-3-to-psu-3#relation-1
Codomain group

group:psu-3

map:su-3-to-psu-3#relation-2