Statements (12)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
topological spaces
|
gptkbp:concerns |
gptkb:fundamental_group
homology group |
gptkbp:field |
gptkb:topology
|
https://www.w3.org/2000/01/rdf-schema#label |
Reidemeister–Hopf theorem
|
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 |
7
|