gptkbp:instanceOf
|
gptkb:Lie_group
|
gptkbp:centralTo
|
Z2 × Z2
|
gptkbp:compact
|
true
|
gptkbp:complexification
|
gptkb:Spin(8,C)
|
gptkbp:connectedTo
|
true
|
gptkbp:dimensions
|
28
|
gptkbp:has_8-dimensional_conjugate_spinor_representation
|
true
|
gptkbp:has_8-dimensional_spinor_representation
|
true
|
gptkbp:has_8-dimensional_vector_representation
|
true
|
gptkbp:has_triality_automorphism
|
true
|
gptkbp:hasConnection
|
true
|
gptkbp:hasSubgroup
|
gptkb:Spin(10)
gptkb:Spin(9)
|
gptkbp:heldBy
|
orthogonal group
double cover of SO(8)
|
https://www.w3.org/2000/01/rdf-schema#label
|
Spin(8)
|
gptkbp:is_a_Lie_group_of_type
|
gptkb:D4
|
gptkbp:is_a_real_Lie_group
|
true
|
gptkbp:is_a_simple_Lie_group
|
true
|
gptkbp:Lie_algebra
|
so(8)
|
gptkbp:rank
|
4
|
gptkbp:realForm
|
gptkb:Spin(8,C)
compact
|
gptkbp:relatedTo
|
gptkb:octonions
gptkb:Clifford_algebra_Cl(8)
triality
|
gptkbp:bfsParent
|
gptkb:exceptional_Lie_group_F4
gptkb:octonions
|
gptkbp:bfsLayer
|
6
|