Recently, I was asked to calculate the fundamental group of the space $X= \{a,b,c,d\}$ with open sets generated by $\{ a, c, abc, acd \}$.


Turns out, $\pi\_1(X)\cong \mathbb Z$ and in fact, $X$ is the quotient of $S^1$ (with the northern and southern hemispheres identified). But the result was not so easy to prove and this motivates the questions:


* Is the fundamental group of every connected manifold (other restrictions / generalizations on the manifold are welcome) the fundamental group of a finite space? (Of course, it would not be Hausdorff). (I observe that there are many redundant points on a manifold where homotopy-equivalent loops need not traverse)
* Is calculating $\pi\_1$ of such finite spaces easier than for the given space? (If yes, this gives a method to calculate fundamental groups of many familiar spaces)


Perhaps the fact that -- $\pi\_1$ of any CW complex just depends on its 1-skeleton [edit:2 skeleton]-- may be helpful.



Can the fundamental group of any manifold be realized as the fund grp of a finite space?
In fact, there is the following **theorem**: *Every finite CW complex is weakly homotopy equivalent to a finite topological space, and vice versa.* 


For simplicial complexes, this theorem is realized by mapping a complex to its face poset, and using the correspondence between finite posets and finite topological spaces. In the other direction, one maps a poset to its order complex. 


In general it is not easy to compute homotopy groups of a finite topological space. I know that there are some techniques in Jonathan Barmak's Ph.D. thesis.


