| 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 
 | 
                        
                            
                                | 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 | 7 
 | 
                        
                            
                                | https://www.w3.org/2000/01/rdf-schema#label | F4 (Lie group) 
 |