Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Lie_group
|
| gptkbp:centralTo |
gptkb:Z/2Z
|
| gptkbp:compact |
true
|
| gptkbp:dimensions |
36
|
| gptkbp:fundamentalGroup |
trivial
|
| gptkbp:has_associated_symmetric_space |
gptkb:F4/Spin(9)
|
| gptkbp:has_maximal_compact_subgroup |
gptkb:Spin(9)
|
| gptkbp:has_triality_automorphism |
false
|
| gptkbp:hasConnection |
true
|
| gptkbp:hasSubgroup |
gptkb:F4
gptkb:Spin(10) |
| https://www.w3.org/2000/01/rdf-schema#label |
Spin(9)
|
| gptkbp:is_a_double_cover_of |
gptkb:SO(9)
|
| gptkbp:is_a_real,_simple_Lie_group |
true
|
| gptkbp:isTransitiveOn |
the 15-sphere S^{15}
|
| gptkbp:Lie_algebra |
spin(9)
|
| gptkbp:member |
gptkb:Spin(n)_family
|
| gptkbp:realForm |
Spin(9,ℂ)
|
| gptkbp:relatedTo |
gptkb:octonions
|
| gptkbp:universalCover |
gptkb:SO(9)
|
| gptkbp:used_in |
the theory of projective planes over the octonions
|
| gptkbp:bfsParent |
gptkb:F4/Spin(9)
gptkb:exceptional_Lie_group_F4 |
| gptkbp:bfsLayer |
6
|