>539について質問。
「可微分閉多様体の２次元ホモトピー群は基本群上の加群として有限生成」

有限ＣＷ複体のホモトピー群っていつでも有限生成じゃないの？
多様体だから、有限ＣＷ複体だし。

基本群上の加群っていうのが意味が（基本群は環じゃないから）理解できないんだけど、
これってどういう意味？>539について質問。
「可微分閉多様体の２次元ホモトピー群は基本群上の加群として有限生成」

有限ＣＷ複体のホモトピー群っていつでも有限生成じゃないの？
多様体だから、有限ＣＷ複体だし。

基本群上の加群っていうのが意味が（基本群は環じゃないから）理解できないんだけど、
これってどういう意味？