数学において、ホモトピー群 (homotopy group) は代数トポロジーにおいて位相空間を分類するために使われる。1次の最も簡単なホモトピー群は基本群であり、空間のについての情報がわかる。直感的には、ホモトピー群は位相空間の基本的な形、"穴"、についての情報を持っている。"n" 次ホモトピー群を定義するために、（付き）"n" 次元球面から与えられた（基点付き）空間の中への基点を保つ写像はと呼ばれる同値類へと集められる。2つの写像がホモトープ (homotopic) とは、一方から他方へ連続的に変形できることをいう。これらのホモトピー類たちが基点付きの与えられた空間 "X" の "n" 次ホモトピー群 ("n"-th homotopy group) と呼ばれる群 ("X") をなす。異なるホモトピー群を持つ位相空間は決して同じ（同相）ではないが、逆は正しくない。のホモトピーの概念はカミーユ・ジョルダン (Camille Jordan) によって導入された。現代数学においては圏を、その各対象に、問題の対象についての十分な量の情報が残っているより単純な対象を割り当てることによって研究するのが一般的である。ホモトピー群は群を位相空間に割り当てるそのような方法である。トポロジーと群の間のつながりによって数学者は群論の見識をトポロジーに適用することができる。例えば、2つの位相的な対象が異なるホモトピー群を持てば、それらは同じ位相的構造を持っていない（このことは位相的な手法のみを用いて証明することは難しいかもしれない）。例えば、トーラスは球面とは異なる。トーラスには「穴」があるが球面にはないからである。しかしながら、連続性（トポロジーの基本的な概念）は局所的な構造しか扱わないから、明らかな大域的な差異をフォーマルに定義することは難しくあり得る。しかしながら、ホモトピー群は、大域的な構造についての情報を持っているのである。例えば、トーラス "T" の1次ホモトピー群はである、なぜならばトーラスの普遍被覆は複素平面 C で、トーラス "T" ≅ C / Z に写るからである。ここで商は群や環の圏ではなく位相空間の圏におけるものである。一方で球面 "S" はを満たす、なぜならばすべてのループは定値写像に収縮できるからである（このことおよびより複雑なホモトピー群の例はを参照）。したがってトーラスは球面と同相ではない。"n" 次元球面 "S" において、基点 "a" を選ぶ。基点 "b" を持つ空間 "X" に対し、("X") を、基点 "a" を基点 "b" に写す写像のホモトピー類全体の集合と定義する。とくに、同値類は球面の基点上定数なホモトピーによって与えられる。同値なことだが、("X") を"n" 次元立方体から "X" への、"n" 次元立方体の境界を "b" へ写す写像 "g": [0,1] → "X" のホモトピー類の群として定義できる。"n" ≥ 1 に対して、ホモトピー類全体は群をなす。群演算を定義するために、次のことを思い出そう：基本群において、2つのループ "f" と "g" の積 "f" ∗ "g" は次のように定義される：基本群における合成のアイデアは、1つめの道を辿り引き続いて2つめの道を辿るというもの、あるいは同じことだが、それら2つの定義域を一緒にするというものである。"n" 次ホモトピー群に対して欲しい合成の概念は次の点を除いて同じである：今定義域は立方体であり、面に沿って貼りあわせなければならない。したがって写像 "f

出典:wikipedia