4-многообразие с данной фундаментальной группой

[FFFF]

Если дана группа $G$ то можно построить двумерный клеточный комплекс $X_G$ : $\pi_1(X_G)=G$ - это не очень сложно. Такая же теорема есть для 4-многообразий, не подскажете, в какой книжке её можно посмотреть? У Хатчера не нашёл.

[FFFF]

если кому-то потребуется, то нужно взять трубчатую окрестность $X_G$, вложить в $\mathbb{R}^5$ и взять границу. У полученного 4-многообразия фундаментальная группа будет в точности $G$