Find the exact object.

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

Lie theory · Group

SU(4)\mathrm{SU}(4)Special unitary group in four dimensions

Simply connected compact form of A₃. Complex unitary 4 × 4 matrices with determinant 1.

Compare this group
Executable coverageCompact Lie groupSimple algebraSimply connected
Definition

Complex unitary 4 × 4 matrices with determinant 1.

Definition sources
Real dimension
1515
Source and assumptions
Compact rank
33
Source and assumptions
Center
C4\mathrm{C}_{4}
Source and assumptions
Fundamental group π₁
00
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension1515Sources
Compact rank33Sources
CenterC4\mathrm{C}_{4}Sources
Fundamental group π₁00Sources
CompactYesSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSimply connected compact form of A₃Sources
Real Lie algebrasu(4)≅so(6)\mathfrak{su}(4) \cong \mathfrak{so}(6)Sources

Global structure and topology

SU(4) is simply connected. Its center consists of the scalar fourth roots of unity. The identification Spin(6) ≅ SU(4) gives the vector cover SU(4) → SO(6) with kernel {±I}. [sources]

Representation category and descent

Finite-dimensional complex irreducibles have A₃ dominant integral highest weights. The defining 4 and its dual are the two chiral spin representations in the Spin(6) identification; the exterior square of the 4 is the vector 6. [sources]

Names and aliases

Spin(6)

Aliases identify the stated object under this record’s conventions. Type names and broader search terms are kept separate.

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

Complex unitary 4 × 4 matrices with determinant 1.

group:su-4#definition
Real dimension

15

group:su-4#dimension
Compact rank

3

group:su-4#rank
Center

C₄

group:su-4#center
Fundamental group π₁

0

group:su-4#pi1
Compact

Yes

group:su-4#compact
Connected

Yes

group:su-4#connected
Abelian

No

group:su-4#abelian
Simple real Lie algebra

Yes

group:su-4#simple-algebra
Global form

Simply connected compact form of A₃

group:su-4#global-form
Real Lie algebra

su(4) ≅ so(6)

group:su-4#lie-algebra
Global structure and topology

SU(4) is simply connected. Its center consists of the scalar fourth roots of unity. The identification Spin(6) ≅ SU(4) gives the vector cover SU(4) → SO(6) with kernel {±I}.

group:su-4#topology-1
Representation category and descent

Finite-dimensional complex irreducibles have A₃ dominant integral highest weights. The defining 4 and its dual are the two chiral spin representations in the Spin(6) identification; the exterior square of the 4 is the vector 6.

group:su-4#representations-1
Real Lie algebra

algebra:su-4-r

group:su-4#relation-1
Real-form context

real-form:su-4-r

group:su-4#relation-2
Explicit homomorphism

map:su-4-to-so-6

group:su-4#relation-3
Explicit homomorphism

map:su-4-to-psu-4

group:su-4#relation-4