As noted above, though, only free groups can occur as fundamental groups of 1-dimensional CW-complexes (that is, graphs).
上記で注意したように、自由群でさえ、1-次元のCW複体の基本群として現れる（つまりグラフである）。