Jedenfalls, falls Du eine Darstellungsform suchst, probiers
mal mit der Fundamentalgruppe in der Ebene ohne die
Nägel(Falls dir der Begriff nichts sagt, dass ist die Gruppe
der geschlossenen Wege im jeweiligen Top. Raum mod Isotopien,
ist im Fall von n Nägeln isomorph zur Freien Gruppe über n
Erzeugern. Ist also a der Weg um den Einen, b der Weg um den
anderen Nagel, jeweils im Uhrzeigersinn, dann ist Deine Lösung
ab-1a-1b)
Viel Spass weiterhin… Gruss Florian
Ok. Ich nehm die freie Gruppe mit n Erzeugern (neutrales Element sei e).
Ich nehm ein Element g daraus, das
a) nicht e ist
b) zu dessen Erzeugung ALLE n Erzeuger notwendig sind (ok, a folgt aus b)
Damit hängt das Bild an allen Nägeln.
Nun muss noch gelten, dass g
c) zu e wird, wenn ich genau einen beliebigen (oder allgemeiner genau m beliebige) Erzeuger durch e ersetze. (Sauberer formuliert: wenn ich nach einer der durch m beliebige Erzeuger generierten Untergruppen faktorisiere).
Damit plumpst das Bild runter, wenn ich m beliebige Nägel ziehe.
Das ist die Aufgabe. ;-(
Für die Lösung brauch ich wohl noch ein Weilchen, aber ich bin auf dem Weg.
Das Problem gefällt mir ganz ausnehmend gut.
Das ist eines von denen, die einen nicht loslassen.
Hast Du mal über den Zusammenhang zu borromäischen Ringen nachgedacht? Das ist doch dasselbe in grün.