Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:Metric
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            gptkb:free_group
                                        
                                         free product of groups  | 
                            
| gptkbp:citation | 
                                    
                                        
                                            
                                            Graev, M. I. (1948). Free topological groups. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya.
                                        
                                        
                                         | 
                            
| gptkbp:introducedIn | 
                                    
                                        
                                            
                                            1948
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Mark_Graev
                                        
                                         | 
                            
| gptkbp:preserves | 
                                    
                                        
                                            
                                            group structure
                                        
                                        
                                         | 
                            
| gptkbp:provides | 
                                    
                                        
                                            
                                            left-invariant metric
                                        
                                        
                                         right-invariant metric  | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            
                                            topological group theory
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Mark_Graev
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Graev metric
                                        
                                        
                                         |