Find the exact object.

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

Lie theory · Map

SU(4)⟶PSU(4)\mathrm{SU}(4) \longrightarrow \mathrm{PSU}(4)Full central quotient of SU(4)

A ↦ its coset in SU(4)/C₄. Kernel: {I,iI,−I,−iI} ≅ C₄.

Reference coverageCovering or central quotient
Definition

A ↦ its coset in SU(4)/C₄.

Definition sources

The group map

Kernel{I,iI,−I,−iI} ≅ C₄
ImagePSU(4)\mathrm{PSU}(4)

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

Reference properties

PropertyValueEvidence
Domainsu-4Sources
Codomainpsu-4Sources
Specified homomorphismA ↦ its coset in SU(4)/C₄.Sources
Kernel{I,iI,−I,−iI} ≅ C₄Sources
ImagePSU(4)\mathrm{PSU}(4)Sources
InjectiveNoSources
SurjectiveYesSources
Covering degree44Sources

Global and representation consequences

This is the full adjoint quotient. It has a different kernel from the vector-cover map SU(4) → SO(6). [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(4)/C₄.

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

su-4

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

psu-4

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

A ↦ its coset in SU(4)/C₄.

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

{I,iI,−I,−iI} ≅ C₄

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

PSU(4)

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

No

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

Yes

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

4

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

This is the full adjoint quotient. It has a different kernel from the vector-cover map SU(4) → SO(6).

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

group:su-4

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

group:psu-4

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