digilib@itb.ac.id +62 812 2508 8800

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.