The fundamental group of a bouquet of circles is the free group on generators, represented by the oriented circles. For finite , iterated Seifert-van Kampen theorem proves the claim by attaching one circle at a time. Nontrivial reduced words in a free group distinguish based loops, while free homotopy classes correspond to conjugacy classes.
Articles by others on the same topic
There are currently no matching articles.