|
gptkbp:instanceOf
|
gptkb:Lie_group
|
|
gptkbp:automorphismGroup
|
trivial
|
|
gptkbp:centralTo
|
trivial
|
|
gptkbp:class
|
one of five exceptional simple Lie groups
|
|
gptkbp:compact_real_form
|
F4(-52)
|
|
gptkbp:dimensions
|
52
|
|
gptkbp:discoveredBy
|
gptkb:Élie_Cartan
|
|
gptkbp:Dynkin_diagram
|
gptkb:F4_Dynkin_diagram
|
|
gptkbp:firstAppearance
|
1894
|
|
gptkbp:fundamentalGroup
|
trivial
|
|
gptkbp:quaternionic_real_form
|
F4(-20)
|
|
gptkbp:rank
|
4
|
|
gptkbp:realForm
|
3
|
|
gptkbp:related_algebra
|
gptkb:F4_Lie_algebra
|
|
gptkbp:relatedConcept
|
gptkb:exceptional_Lie_algebra
gptkb:Lie_algebra_of_type_F4
exceptional group
|
|
gptkbp:relatedGroup
|
gptkb:Spin(8)
gptkb:G2
gptkb:SO(9)
gptkb:Spin(9)
E8
E6
E7
|
|
gptkbp:relatedTo
|
gptkb:Albert_algebra
gptkb:exceptional_Jordan_algebra
gptkb:octonions
|
|
gptkbp:split_real_form
|
F4(4)
|
|
gptkbp:type
|
gptkb:Lie_group
gptkb:F4_root_system
compact simple Lie group
|
|
gptkbp:used_in
|
gptkb:theory_of_algebraic_groups_over_finite_fields
theory of Lie algebras
theory of algebraic groups
theory of algebraic geometry
theory of Jordan algebras
theory of Lie type groups
theory of algebraic groups over complex numbers
theory of algebraic groups over real numbers
theory of octonions
|
|
gptkbp:Weyl_group
|
gptkb:Weyl_group_of_F4
1152
|
|
gptkbp:bfsParent
|
gptkb:quaternion_projective_plane
|
|
gptkbp:bfsLayer
|
7
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
exceptional Lie group F4
|