Classifying space

From Groupprops
Jump to: navigation, search

Definition

Classifying space of an abstract group

A classifying space of a group G is a topological space whose fundamental group is G and whose universal covering space is weakly contractible.

Every group possesses a classifying space which is also a CW-space, viz., can be given a CW-complex structure, and in this case the universal covering space exists and is actually contractible.