Beschreibung
Die freie Fundamentalgruppe ist ein Wort, das ich mir ausgedacht habe um das Analogon einer Fundamental group zur Freie Kurvenhomotopie zu beschreiben.
Definition
Sei eine Fundamental group. Die Freie Fundamentalgruppe erlaubt das Verschieben des Starpunkts. Damit können Konjugationen rückgängig gemacht werden. Es gilt also für alle Elemente .
Ist das nicht einfach die Abelianisierung der Fundamentalgruppe?