F4 (Lie group)

GPTKB entity

Statements (35)
Predicate Object
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