complex Lie group F4

URI: https://gptkb.org/entity/complex_Lie_group_F4

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:Lie_group
gptkbp:automorphismGroup	trivial inner automorphisms only
gptkbp:centralTo	trivial
gptkbp:definedIn	complex numbers
gptkbp:dimensions	52
gptkbp:Dynkin_diagram	gptkb:F4_Dynkin_diagram
gptkbp:fundamentalGroup	trivial
gptkbp:hasMaximalSubgroup	gptkb:Spin(9)
gptkbp:hasSubgroup	gptkb:G2 gptkb:SO(9) gptkb:Spin(9) SU(2)×G2 SU(2)×SO(7) SU(2)×SU(2)×SU(2) SU(2)×SU(2)×SU(2)×SU(2) SU(2)×SU(2)×SU(3) SU(2)×SU(2)×SU(4) SU(2)×SU(3)×SU(3) SU(2)×SU(6) SU(2)×Sp(6) SU(3)×SU(3) SU(3)×SU(3)×SU(3) Sp(3)×SU(2)
https://www.w3.org/2000/01/rdf-schema#label	complex Lie group F4
gptkbp:isomorphicTo	F4(C)
gptkbp:Lie_algebra	gptkb:F4_Lie_algebra
gptkbp:rank	4
gptkbp:realForm	compact Lie group F4
gptkbp:relatedTo	gptkb:Albert_algebra gptkb:exceptional_Jordan_algebra gptkb:octonions
gptkbp:simplyConnected	true
gptkbp:splitRealForm	split real Lie group F4
gptkbp:type	gptkb:Lie_group gptkb:F4_root_system
gptkbp:Weyl_group	Weyl group of type F4
gptkbp:bfsParent	gptkb:F4_(Lie_group)
gptkbp:bfsLayer	7