Sea un espacio topológico, , con subconjuntos abiertos y conexos por caminos, tales que también es conexo por caminos. Sea .
Supongamos que conocemos los grupos fundamentales
,
y
.
Entonces, , donde,
si y son las inclusiones naturales,
entonces y son las aplicaciones inducidas tales que
que actúa ,
y análogamente
que actúa .
|