Classifying space of a discrete group

ID: classifying-space-of-a-discrete-group

Give a discrete group a contractible free CW complex . The quotient has universal cover , so it has fundamental group and no higher homotopy groups. It is thus an Eilenberg–MacLane space , even when is nonabelian. The cohomology of with the appropriate local coefficients computes group cohomology.

New to topics? Read the docs here!