El grupo fundamental es un invariante matemático, ya que dos espacios homeomorfos comparten el mismo grupo fundamental.