So let $X$ be a finite CW complex which is connected.


Q1: Is $\pi\_1(X)$ necssarily a finitely presented group?


If the answer is yes, then how does prove it. I've tried to prove it using 
an induction argument but I'm stuck... So every time one glues a cell then one needs
to show that this only throws in finitely many new generators and finitely many new relations... If the argument is too involved then I'd like to have a reference.


For every finitely presented group $G=\langle g\_1,\ldots g\_n| R\_1,\ldots R\_m\rangle$
one may construct a connected finite CW complex $X$ having only cells of dimensions $\leq 2$ such that $\pi\_1(X)\simeq G$. You have one circle for every generator and one 2-cell for every relation. 


Q2: So did topologists try to prove results going in the other direction namely, say that $X$ is a finite connected CW complex with $n\_i$ cells of dimension $i$ for $i\leq k$. Suppose that we know nothing about the incidence relations of these cells (except that $X$ is connected) then what can we say about the fundamental group of $X$ (outside the fact that it is finitely presented)? 


One might ask similar questions where one imposes some incidence relations on the various cells etc. 



On the fundamental group of a finite CW complex
Let $X$ be a CW-complex, and write $X\_k$ for the $k$-skeleton. The cellular approximation theorem says that any based map $S^1\to X$ is homotopic to a cellular map, and that any two cellular maps that are homotopic are homotopic via a cellular homotopy. This means that the map $\pi\_1(X\_1)\to\pi\_1(X\_2)$ is surjective, and the map $\pi\_1(X\_2)\to\pi\_1(X)$ is an isomorphism. Thus, we need only deal with $\pi\_1(X\_2)$.


Next, $X\_1$ is just a connected combinatorial graph (with loops and multiple edges allowed). We can choose a maximal tree $T$ in this graph, and let $A$ be the set of edges not in $T$. For each edge $a\in A$ we have a loop $a'$ given by moving from the basepoint to the start of $a$ within $T$, then traversing $a$, then returning to the basepoint through $T$. It is a standard fact that $\pi\_1(X\_1)$ is freely generated by $\{a':a\in A\}$. 


Next, $X\_2$ is obtained from $X\_1$ by attaching some $2$-cells. Each attaching map is an unbased map $S^1\to X\_1$. After choosing a path from the image of the basepoint to the basepoint in $X$ we get an element of $\pi\_1(X\_1)$, whose conjugacy class is independent of this choice. An argument with van Kampen's Theorem (most easily done one cell at a time) shows that $\pi\_1(X\_2)$ is obtained from $\pi\_1(X\_1)$ by killing off these elements. This gives a finite presentation of $\pi\_1(X\_2)$.


