teoría de matemáticas que asocia un sistema de grupos cociente a cada espacio topológico