gptkbp:instanceOf
|
gptkb:Lie_group
|
gptkbp:automorphismGroup
|
gptkb:F4_(Lie_group)
|
gptkbp:Cartan_matrix
|
F4 Cartan matrix
|
gptkbp:dimensions
|
52
|
gptkbp:Dynkin_diagram
|
gptkb:F4_Dynkin_diagram
|
gptkbp:fundamentalGroup
|
trivial
|
gptkbp:has_24_long_roots
|
yes
|
gptkbp:has_24_short_roots
|
yes
|
gptkbp:has_associated_Lie_group
|
gptkb:F4_(Lie_group)
|
gptkbp:has_compact_real_form
|
yes
|
gptkbp:has_compact_real_form_dimension
|
52
|
gptkbp:has_Killing_form
|
non-degenerate
|
gptkbp:has_maximal_compact_subgroup
|
gptkb:Spin(9)
Spin(9)/Z2
|
gptkbp:has_non-compact_real_form
|
yes
|
gptkbp:has_outer_automorphism_group
|
trivial
|
gptkbp:has_split_real_form
|
yes
|
gptkbp:has_split_real_form_dimension
|
52
|
gptkbp:hasConnection
|
yes
|
gptkbp:heldBy
|
gptkb:exceptional_Lie_algebra
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lie algebra of type F4
|
gptkbp:is_centerless
|
yes
|
gptkbp:is_exceptional
|
yes
|
gptkbp:is_not_classical
|
yes
|
gptkbp:isSimple
|
yes
|
gptkbp:over_complex_numbers
|
unique up to isomorphism
|
gptkbp:rank
|
4
|
gptkbp:realForm
|
compact real form
split real form
|
gptkbp:related_Lie_group
|
gptkb:F4_(Lie_group)
|
gptkbp:related_to_Albert_algebra
|
yes
|
gptkbp:related_to_octonions
|
yes
|
gptkbp:relatedTo
|
gptkb:Albert_algebra
gptkb:Lie_group
gptkb:exceptional_Jordan_algebra
gptkb:exceptional_Lie_algebra
gptkb:octonions
|
gptkbp:type
|
gptkb:F4_root_system
|
gptkbp:Weyl_group
|
1152
|
gptkbp:bfsParent
|
gptkb:exceptional_Lie_group_F4
|
gptkbp:bfsLayer
|
6
|