Statements (14)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:algebra
                                        
                                         number theory  | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            Finiteness of number fields of given degree and bounded discriminant
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Charles_Hermite
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:algebraic_number_field
                                        
                                         discriminant integral basis  | 
                            
| gptkbp:sentence | 
                                    
                                        
                                            
                                            Every algebraic number field of degree n over the rationals has an integral basis with discriminant bounded in terms of n.
                                        
                                        
                                         | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            
                                            algebraic number theory
                                        
                                        
                                         | 
                            
| gptkbp:yearProved | 
                                    
                                        
                                            
                                            1850s
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Charles_Hermite
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            6
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Hermite's theorem
                                        
                                        
                                         |