Im mathematischen Gebiet der Knotentheorie ist ein zusammengesetzter Knoten ein Knoten, der sich (auf die unten beschriebene Weise) als zusammenhängende Summe zweier nichttrivialer Knoten zerlegen lässt. Knoten, die nicht zusammengesetzt sind, heißen Primknoten. Jeder Knoten lässt sich eindeutig in Primknoten zerlegen, analog zur Zerlegung von natürlichen Zahlen in Primzahlen.
Zusammenhängende Summe von Knoten
Die Bildung der zusammenhängenden Summe (auch: Knotensumme oder verbundene Summe) zweier orientierter Knoten wird durch die folgende Sequenz von Diagrammen beschrieben:
- Finde ein Rechteck in der Ebene mit zwei gegenüberliegenden, von der Orientierung passenden, Kanten auf jeweils einem Knotendiagramm, das ansonsten disjunkt zu beiden Knotendiagrammen ist.
- Verbinde die Knoten durch Entfernen der beiden gegenüberliegenden Kanten und Hinzufügen der beiden anderen Kanten des Rechtecks.
Da es Knoten gibt, die nicht äquivalent zu sich selbst mit umgekehrter Orientierung sind (sogenannte nicht-invertierbare Knoten), ist die verbundene Summe im Allgemeinen nur für orientierte Knoten eindeutig definiert. Für diese ist das Ergebnis also unabhängig davon, welches Rechteck (und sogar welche Diagramme der beteiligten Knoten) man verwendet. Der in dem Beispiel gezeigte Knoten ist der erste Knoten in der Tabellierung der Knoten, welcher nicht-invertierbar ist.
Eindeutige Zerlegbarkeit
Ein Satz von Horst Schubert besagt, dass jeder Knoten auf eindeutige Weise als zusammenhängende Summe von Primknoten zerlegt werden kann. Dies gilt sowohl für orientierte als auch für nicht-orientierte Knoten.
Unzerlegbarkeit im Fall von alternierenden Diagrammen
Ist ein Knoten durch ein alternierendes Diagramm gegeben, so gilt: er ist genau dann prim, wenn schon dieses Diagramm prim ist. Ein Diagramm heißt prim, wenn jede Kreisscheibe, deren Rand das Diagramm nur in zwei Punkten, die keine Doppelpunkte sind, schneidet, das Diagramm in einem zusammenhängenden Bogen schneidet. Die Unzerlegbarkeit lässt sich also anhand eines solchen Diagramms überprüfen. Nicht-alternierende Diagramme besitzen diese Eigenschaft nicht, siehe nebenstehendes Beispiel.
Weblinks
- Eric W. Weisstein: Prime Knot. In: MathWorld (englisch).
- Eric W. Weisstein: Composite Knot. In: MathWorld (englisch).