fundamental group

mathematical group of the homotopy classes of loops in a topological space