En
topología, podemos asociar a cada punto
p de un
espacio topológico X un
grupo que nos informa sobre la estructura 1-dimensional de la porción de espacio que rodea a este punto. Los elementos de este grupo, llamado
grupo fundamental de X relativo al
punto base p, son clases de equivalencia de lazos (curvas cerradas) con origen en el punto
p.