Gurevichin lause

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 .

Sanamuoto

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 .

Kirjallisuus