En topología algebraica, el grupo libre sobre un conjunto de "k" elementos es el grupo fundamental de "k" círculos con un punto en común.