Gurevichin lause on perustavanlaatuinen tulos algebrallisesta topologiasta , joka yhdistää homotopiateorian homologiateoriaan kartoituksen avulla , joka tunnetaan nimellä Gurevich-homomorfismi .
Lause on nimetty Vitold Gurevichin mukaan ; se yleistää Henri Poincarén aikaisemmat tulokset .
Antaa olla polkuun yhdistetty topologinen avaruus ja olla positiivinen kokonaisluku. Gurevichin homomorfismi:
määritellään seuraavasti: jos on generaattori , niin kuvauksen homotoopialuokka on kartoitettu .
Tällä homomorfismilla saadaan aikaan isomorfismi :
perusryhmän abelenisoinnin ja ensimmäisen homologisen ryhmän välillä.
Jos u on -kytkentäinen, niin Hurewiczin homomorfismi on isomorfismi. Lisäksi se on epimorfismi .