Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Lie_group
|
| gptkbp:belongs_to_classification |
gptkb:exceptional_Lie_groups
|
| gptkbp:dimensions |
248
|
| gptkbp:fundamentalGroup |
trivial
|
| gptkbp:has_maximal_torus_rank |
8
|
| gptkbp:has_root_system |
gptkb:E_8_root_system
|
| gptkbp:has_trivial_center |
true
|
| gptkbp:hasConnection |
true
|
| gptkbp:is_a_non-compact_Lie_group |
true
|
| gptkbp:is_a_simple_Lie_group |
true
|
| gptkbp:is_adjoint_group |
true
|
| gptkbp:Lie_algebra |
gptkb:E_8_(split_real_form_Lie_algebra)
|
| gptkbp:maximal_compact_subgroup |
gptkb:Spin(16)/Z_2
|
| gptkbp:real_rank |
8
|
| gptkbp:realForm |
gptkb:E_8_(Lie_algebra)
gptkb:E_8_(complex_Lie_group) |
| gptkbp:type |
split real form
|
| gptkbp:used_in |
theory of Lie groups
theory of algebraic groups theory of automorphic forms |
| gptkbp:bfsParent |
gptkb:E_8_Lie_algebra
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
E 8 (split real form)
|