En topología , una rama de las matemáticas , para , el i -ésimo grupo de homotopía con coeficientes en un grupo abeliano G de un espacio base X es el conjunto puntiagudo de clases de homotopía de aplicaciones base del espacio de Moore de tipo a X , y se denota por . [1] Para , es un grupo . Los grupos son los grupos de homotopía habituales de X .