>>有限ＣＷ複体のホモトピー群っていつでも有限生成じゃないの？
単連結ならそうなる。一般にはならない。