gptkbp:instanceOf
|
gptkb:Lie_group
orthogonal group
|
gptkbp:centralTo
|
gptkb:Z/2Z
|
gptkbp:compact
|
true
|
gptkbp:dimensions
|
21
|
gptkbp:fundamentalGroup
|
trivial
|
gptkbp:has_associated_symmetric_space
|
gptkb:Spin(7)/G2
|
gptkbp:has_holonomy_group
|
gptkb:Spin(7)
|
gptkbp:has_triality_automorphism
|
false
|
gptkbp:hasSubgroup
|
gptkb:Spin(8)
gptkb:SO(8)
|
https://www.w3.org/2000/01/rdf-schema#label
|
Spin(7)
|
gptkbp:is_a_double_cover_of
|
gptkb:SO(7)
|
gptkbp:is_a_holonomy_group_for
|
gptkb:Riemannian_manifolds
|
gptkbp:is_a_special_holonomy_group_in
|
gptkb:Berger's_classification
|
gptkbp:isTransitiveOn
|
7-sphere S^7
|
gptkbp:Lie_algebra
|
spin(7)
|
gptkbp:rank
|
3
|
gptkbp:realForm
|
gptkb:Spin(7,C)
compact real form
|
gptkbp:relatedTo
|
gptkb:Clifford_algebra_Cl(7)
gptkb:octonions
exceptional geometry
|
gptkbp:simply_connected
|
true
|
gptkbp:used_in
|
gptkb:string_theory
gptkb:M-theory
|
gptkbp:bfsParent
|
gptkb:holonomy_group
gptkb:G_2
gptkb:Riemannian_holonomy_group
|
gptkbp:bfsLayer
|
6
|