In der Mathematik, genauer in der algebraischen Topologie, sind die Homotopiegruppen ein Werkzeug, um topologische Räume zu klassifizieren. Die stetigen Abbildungen einer n-dimensionalenSphäre in einen gegebenen Raum werden zu Äquivalenzklassen, den sogenannten Homotopieklassen zusammengefasst. Dabei heißen zwei Abbildungen homotop, wenn sie stetig ineinander überführt werden können. Diese Homotopieklassen bilden eine Gruppe, die die n-te Homotopiegruppe des Raumes genannt wird.