gptkbp:instanceOf
|
gptkb:Lie_group
|
gptkbp:automorphismGroup
|
trivial
|
gptkbp:centralTo
|
trivial
|
gptkbp:compact
|
gptkb:compact_real_form_of_F4
|
gptkbp:complexification
|
gptkb:complex_Lie_group_F4
|
gptkbp:discoveredBy
|
gptkb:Élie_Cartan
|
gptkbp:discoveredIn
|
1894
|
gptkbp:Dynkin_diagram
|
four nodes, one triple bond
|
https://www.w3.org/2000/01/rdf-schema#label
|
F4 (Lie group)
|
gptkbp:Lie_algebra
|
gptkb:F4_(Lie_algebra)
|
gptkbp:rank
|
4
|
gptkbp:real_dimension
|
52
|
gptkbp:realForm
|
3 real forms
|
gptkbp:related_algebra
|
gptkb:Albert_algebra
|
gptkbp:relatedTo
|
gptkb:exceptional_Jordan_algebra
gptkb:octonions
|
gptkbp:split_form
|
split real form of F4
|
gptkbp:type
|
gptkb:Lie_group
gptkb:F4_root_system
|
gptkbp:used_in
|
gptkb:theory_of_algebraic_groups_over_finite_fields
theory of Lie algebras
theory of symmetric spaces
theory of algebraic groups
theory of buildings
exceptional structures in mathematics
theory of Lie groups and Lie algebras
theory of algebraic groups over function fields
theory of algebraic groups over global fields
theory of algebraic groups over local fields
theory of algebraic groups over number fields
theory of algebraic groups over p-adic fields
theory of algebraic groups over real and complex numbers
|
gptkbp:Weyl_group
|
Weyl group of order 1152
|
gptkbp:bfsParent
|
gptkb:exceptional_Jordan_algebra
|
gptkbp:bfsLayer
|
6
|