Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:concerns | 
                                    
                                        
                                            
                                            smoothness of algebraic varieties
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:algebraic_geometry
                                        
                                         | 
                            
| gptkbp:formedBy | 
                                    
                                        
                                            
                                            1960s
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Oscar_Zariski
                                        
                                         gptkb:Joseph_Lipman  | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:commutative_algebra
                                        
                                         singularity theory  | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            If the module of derivations of a variety is free, then the variety is smooth.
                                        
                                        
                                         | 
                            
| gptkbp:status | 
                                    
                                        
                                            
                                            open problem
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Oscar_Zariski
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            6
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Zariski–Lipman conjecture
                                        
                                        
                                         |