Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given any Group $G$, is there a topological space whose fundamental group is exactly $G$?

If yes, what (which Theorem) is this result based on?

share|cite|improve this question
up vote 7 down vote accepted

Given $G$ one can construct the so called classifying space $BG$ whose fundamental group is $G$ (and whose all other homotopy groups are trivial) If you just want the fundamental group, you can keep the $2$-skeleton of $BG$. Google for these keywords, and yiu will find details about this; it is also explained in textbooks on homotopy theory.

This result is not based on any theorem: it is just a construction.

There is a theorem, though, that tells us that if $X$ and $Y$ are two different spaces which satisfy the same conditions (all homotopy groups trivial except the fundamental group, and the latter isomorphic to $G$) then $X$ and $Y$ are in fact homotopy equivalent. This is Whitehead's theorem. (One needs sensible hypothesis on the spaces: that they be CW-complexes, for example) This has the consequence that, up to homotopy, there is exactly one space satisfying those conditions.

share|cite|improve this answer

If we write the group $G$ in terms of generators and relations, starting with one 0-cell, we add 1-cells corresponding to each generator and 2-cells corresponding to each relation. Then the fundamental group of this 2-dimensional cell complex is $G$.

See page 52 of Hatcher's Algebraic Topology for details.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.