Grup homotopi adalah salah satu jenis invarian aljabarik dari sebuah ruang topologi.
Objek ini memiliki struktur yang kaya untuk dieksplorasi. Kita akan mempelajari
konstruksi ruang topologi yang hanya memiliki satu buah grup homotopi nontrivial,
ruang yang demikian dikenal sebagai ruang Eilenberg-MacLane. Kita juga
akan meninjau beberapa sifat dari ruang Eilenberg-MacLane.
Perpustakaan Digital ITB