Beschreibung
Die freie Fundamentalgruppe ist ein Wort, das ich mir ausgedacht habe um das Analogon einer Fundamentalgruppe zur Freie Kurvenhomotopie zu beschreiben.
Definition
Sei eine Fundamentalgruppe. 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?