Nagata's compactification theorem
                        
                            GPTKB entity
                        
                    
                Statements (16)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            gptkb:Noetherian_schemes
                                        
                                         separated morphisms of finite type  | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:algebraic_geometry
                                        
                                         | 
                            
| gptkbp:generalizes | 
                                    
                                        
                                            
                                            Temkin's compactification theorem
                                        
                                        
                                         | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            existence of compactifications in algebraic geometry
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Masayoshi_Nagata
                                        
                                         | 
                            
| gptkbp:publishedIn | 
                                    
                                        
                                            
                                            Nagata, M. (1962). Imbedding of an abstract variety in a complete variety. J. Math. Kyoto Univ.
                                        
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:compactification
                                        
                                         gptkb:Zariski's_Main_Theorem scheme theory  | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            Every separated finite type scheme over a Noetherian scheme can be embedded as an open subscheme of a proper scheme.
                                        
                                        
                                         | 
                            
| gptkbp:yearProved | 
                                    
                                        
                                            
                                            1962
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Masato_Nagata
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Nagata's compactification theorem
                                        
                                        
                                         |