Find the exact object.

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

Lie theory · Group

Spin(8)\mathrm{Spin}(8)Simply connected compact spin group in eight dimensions

Simply connected compact form of D₄. The compact spin group in the even Clifford algebra of Euclidean R⁸, with its standard vector action on R⁸.

Compare this group
Executable coverageCompact Lie groupSimple algebraSimply connected
Definition

The compact spin group in the even Clifford algebra of Euclidean R⁸, with its standard vector action on R⁸.

Definition sources
Real dimension
2828
Source and assumptions
Compact rank
44
Source and assumptions
Center
C2×C2\mathrm{C}_{2} \times \mathrm{C}_{2}
Source and assumptions
Fundamental group π₁
00
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension2828Sources
Compact rank44Sources
CenterC2×C2\mathrm{C}_{2} \times \mathrm{C}_{2}Sources
Fundamental group π₁00Sources
CompactYesSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSimply connected compact form of D₄Sources
Real Lie algebraso(8)\mathfrak{so}(8)Sources

Global structure and topology

The vector homomorphism Spin(8) → SO(8) has kernel {±1}. Its full center is C₂ × C₂, and quotienting by that full center gives PSO(8). [sources]

Representation category and descent

The vector representation and the two half-spin representations each have dimension 8. Triality permutes these representations and their order-two central kernels. Therefore the three intermediate central quotients are isomorphic as abstract groups, while their specified covering maps carry different representation information. [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 compact spin group in the even Clifford algebra of Euclidean R⁸, with its standard vector action on R⁸.

group:spin-8#definition
Real dimension

28

group:spin-8#dimension
Compact rank

4

group:spin-8#rank
Center

C₂ × C₂

group:spin-8#center
Fundamental group π₁

0

group:spin-8#pi1
Compact

Yes

group:spin-8#compact
Connected

Yes

group:spin-8#connected
Abelian

No

group:spin-8#abelian
Simple real Lie algebra

Yes

group:spin-8#simple-algebra
Global form

Simply connected compact form of D₄

group:spin-8#global-form
Real Lie algebra

so(8)

group:spin-8#lie-algebra
Global structure and topology

The vector homomorphism Spin(8) → SO(8) has kernel {±1}. Its full center is C₂ × C₂, and quotienting by that full center gives PSO(8).

group:spin-8#topology-1
Representation category and descent

The vector representation and the two half-spin representations each have dimension 8. Triality permutes these representations and their order-two central kernels. Therefore the three intermediate central quotients are isomorphic as abstract groups, while their specified covering maps carry different representation information.

group:spin-8#representations-1
Real Lie algebra

algebra:so-8-compact-r

group:spin-8#relation-1
Real-form context

real-form:so-8-compact-r

group:spin-8#relation-2
Explicit homomorphism

map:spin-8-to-so-8

group:spin-8#relation-3