Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
topological spaces
|
| gptkbp:concerns |
gptkb:fundamental_group
homology group |
| gptkbp:field |
gptkb:topology
|
| gptkbp:namedAfter |
gptkb:Heinz_Hopf
gptkb:Kurt_Reidemeister |
| gptkbp:state |
abelianization of the fundamental group is isomorphic to the first homology group
|
| gptkbp:yearProposed |
1930s
|
| gptkbp:bfsParent |
gptkb:Marie_Reidemeister
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Reidemeister–Hopf theorem
|