Flätningsteori är en gren av topologi och algebra som studerar flätor och flätgrupper sammansatta av deras ekvivalensklasser.
En fläta av trådar är ett objekt som består av två parallella plan och i tredimensionellt utrymme som innehåller ordnade uppsättningar av punkter och , och av icke-korsande enkla bågar som skär varje parallellt plan mellan och en gång och förbinder punkter med punkter .
Man brukar anta att punkterna ligger på linjen i , och punkterna ligger på linjen i , parallellt med och ligger under för varje .
Flätorna projiceras på ett plan som passerar genom och , denna projektion kan föras till ett allmänt läge så att det bara finns ett ändligt antal dubbla punkter som ligger i par på olika nivåer, och skärningspunkterna är tvärgående .
Flätor och knutar generaliseras av begreppet en bunt .
I uppsättningen av alla flätor med n trådar och med fasta , introduceras en ekvivalensrelation. Det bestäms av homeomorphisms , var är området mellan och , som är identiska på . Flätor och är likvärdiga om det finns en homeomorfism sådan att .
Ekvivalensklasserna, även kallade flätor i det följande, bildar flätgruppen . En enhetsfläta är en ekvivalensklass som innehåller en fläta med n parallella segment. Ett spott , motsatsen till ett spott , definieras av en reflektion i ett plan
Tråden på flätan ansluter till och definierar en permutation, ett element i den symmetriska gruppen . Om denna permutation är identisk, kallas flätan en färgad (eller ren) fläta. Denna mappning definierar en epimorfism på permutationsgruppen av n element vars kärna är den undergrupp som motsvarar alla rena flätor, så att det finns en kort exakt sekvens