Beschreibung
Der Periodische Zopf (nicht zu verwechseln mit dem Zyklischer Zopf) ist ein Zopf, dessen realisierender Homöomorphismus der gebohrten Kreisfläche nach der Nielsen-Thurston Klassifikation periodisch ist.
Charakterisierung:
DIe untere Eigenschaft besagt, dass periodische Zöpfe konjugiert zu einer Potenz zweier Elemente ist. Für einen periodischen Zopf auf Strängen gilt damit oder . Dies ist ein einfacher Weg, um Periodizität zu prüfen.
Eigenschaften
Endliche Ordnung
Ist der realisierende Homöomorphismus periodisch, so führt eine endliche Anwendung von zu einer Abbildung , die isomorph zur Identität ist. Die Isomorphie erlaubt dabei die Mengenweise Rotation des Randes. Für den Zopf gilt damit Nach Kérékjartó und Eilenberg ist der Zopf damit konjugiert zu einer Potenz von oder .
Beweis: Es soll ein Beweis für die Form gegeben werden. Angenommen, der betrachtete Zopf ist periodisch im oberen Sinne. Der obere Automorphismus von der durchbohrten Kreisscheibe setzt sich zu einem Automorphismus der Kreisscheibe fort. Ergebnisse der Topologie konnten zeigen, dass jeder solche Automorphismus in konjugiert zu einer einfachen Rotation der Kreisscheibe ist. Die Bedingung der Peridiodizität sagt uns, dass die Rotation um einen rationalen Winkel rotiert. Die Rotation habe eine Ordnung von . verhält sich wegen der Konjugation ähnlich. Die markierten Punkte der Kreisscheibe werden generell entlang von Orbits der Länge getauscht, es sei denn einer der Punkte liegt im Mittelpunkt der Rotation, dann ist er nämlich fix. Jeder Automorphismus der Kreisscheibe wirkt also auf folgende zwei Arten auf die Punkte. (Mehrfachanwendungen der unteren beiden Bilder sind auch erlaubt) Wie man sehen kann, induzieren die beiden unterschiedlichen Automorphismen unterschiedliche Zöpfe .
Zentralisator
Ist der Zopf periodisch, dann ist er konjugiert zu einer Potenz der Rotationen oder . Der Zentralisator des Zopfes sind alle Zöpfe, die den Zopf dieser Rotation invariant lässt. Algebraisch ist der Zentralisator eine Zopfgruppe auf einem Annulus.
Bedingungen für Ordnungserhaltung
Sei ein Periodischer Zopf.
- Ist konjugiert zu , so erhält der Zopf eine Ordnung auf
- Ist konjugiert zu , so erhält der Zopf keine Ordnung
Beweis: Das ist jetzt kein Beweis aber eine Intuition. 2) ist offensichtlich war. Ordne die Erzeuger der Fundamentalgruppe . tauscht sie aus, deshalb kann kein Erzeuger am größten gewesen sein. Bei funktioniert der gleiche Trick nicht. Wegen der Bohrung in der Mitte wickelt sich immer ein um den Mittelpunkt. Dies erlaubt uns dieses als den größten Erzeuger zu deklarieren. Anwendung von bildet diesen dann nicht auf einen kleineren Erzeuger ab.
sicResultsBraid]]