Fletteteori er en gren af topologi og algebra , der studerer fletninger og fletningsgrupper sammensat af deres ækvivalensklasser.
En fletning af tråde er et objekt bestående af to parallelle planer og i tredimensionelt rum indeholdende ordnede sæt af punkter og , og af ikke-skærende simple buer , der skærer hvert parallelt plan mellem og én gang og forbinder punkter med punkter .
Det antages normalt, at punkterne ligger på linjen i , og punkterne ligger på linjen i , parallelt med og er placeret under for hver .
Fletningerne projiceres på et plan, der går igennem , og denne projektion kan bringes i en generel position, så der kun er et begrænset antal dobbeltpunkter, der ligger parvis i forskellige niveauer, og skæringspunkterne er tværgående .
Fletninger og knuder generaliseres af begrebet et bundt .
I sættet af alle fletninger med n tråde og med faste , introduceres en ækvivalensrelation. Det bestemmes af homeomorphisms , hvor er området mellem og , som er identiske på . Fletninger og er ækvivalente, hvis der eksisterer en homøomorfi sådan, at .
Ækvivalensklasserne, også kaldet fletninger i det følgende, udgør flettegruppen . En enhedsfletning er en ækvivalensklasse, der indeholder en fletning af n parallelle segmenter. Et spyt , det omvendte af et spyt , er defineret ved en refleksion i et plan
Tråden af fletningen forbinder til og definerer en permutation, et element i den symmetriske gruppe . Hvis denne permutation er identisk, så kaldes fletningen en farvet (eller ren) fletning. Denne kortlægning definerer en epimorfi på permutationsgruppen af n elementer, hvis kerne er den undergruppe , der svarer til alle rene fletninger, således at der er en kort nøjagtig sekvens