Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Lie_group
|
| gptkbp:centralTo |
gptkb:Z/2Z
|
| gptkbp:compact |
true
|
| gptkbp:connectedTo |
true
|
| gptkbp:dimensions |
78
|
| gptkbp:fundamentalGroup |
trivial
|
| gptkbp:has_maximal_compact_subgroup |
gptkb:Spin(13)
|
| gptkbp:hasConnection |
true
|
| gptkbp:hasSubgroup |
gptkb:Spin(14)
Spin(14,1) Spin(14,C) Spin(14,R) Spin(n) for n>13 |
| https://www.w3.org/2000/01/rdf-schema#label |
Spin(13)
|
| gptkbp:is_a_compact_Lie_group |
true
|
| gptkbp:is_a_double_cover_of |
SO(13)
|
| gptkbp:is_a_real_Lie_group |
true
|
| gptkbp:is_a_simple_group |
true
|
| gptkbp:is_related_to_Clifford_algebra |
Cl(13)
|
| gptkbp:isMatrixGroup |
false
|
| gptkbp:Lie_algebra |
spin(13)
|
| gptkbp:realForm |
Spin(13,C)
|
| gptkbp:represents |
spinor representation
vector representation |
| gptkbp:universal_covering_group_of |
SO(13)
|
| gptkbp:bfsParent |
gptkb:Spin(11)
gptkb:Spin(12) |
| gptkbp:bfsLayer |
8
|