Punosteoria on topologian ja algebran haara , joka tutkii punoksia ja punosryhmiä, jotka koostuvat niiden ekvivalenssiluokista.
Lankapunos on esine, joka koostuu kahdesta yhdensuuntaisesta tasosta ja kolmiulotteisessa avaruudessa, joka sisältää järjestetyn joukon pisteitä ja , sekä ei-leikkaavista yksinkertaisista kaarista , jotka leikkaavat jokaisen yhdensuuntaisen tason välillä ja kerran ja yhdistävät pisteitä pisteisiin .
Yleensä oletetaan, että pisteet sijaitsevat linjalla in , ja pisteet sijaitsevat linjalla in , yhdensuuntaiset kanssa ja sijaitsevat kunkin alle .
Punokset projisoidaan läpi kulkevalle tasolle ja tämä projektio voidaan tuoda yleisasentoon niin, että kaksoispisteitä on vain äärellinen määrä pareittain eri tasoilla ja leikkauspisteet ovat poikittaisia .
Punokset ja solmut yleistyvät nipun käsitteellä .
Kaikkien punosten joukossa, joissa on n lankaa ja kiinteitä lankoja, otetaan käyttöön ekvivalenssisuhde. Sen määräävät homeomorfismit , missä on alue välillä ja , jotka ovat identtisiä . Letit ja ovat vastaavia, jos on olemassa homeomorfismi , joka on sellainen, että .
Ekvivalenssiluokat, joita kutsutaan myös punoksiksi, muodostavat punosryhmän . Yksikköpunos on ekvivalenssiluokka, joka sisältää n yhdensuuntaisen segmentin punoksen. Sylke , syljen käänteiskohta , määritellään heijastuksella tasossa
Punoksen lanka liittyy permutaatioon, joka on symmetrisen ryhmän elementti , ja määrittää sen . Jos tämä permutaatio on identtinen, punosta kutsutaan värilliseksi (tai puhtaaksi) punokseksi. Tämä kartoitus määrittelee epimorfismin n elementin permutaatioryhmään, jonka ydin on kaikkia puhtaita punoksia vastaava alaryhmä, joten on lyhyt tarkka sekvenssi .