to do
Classifying space of a group (aka first Eilenberg--MacLane space)