「有限生成群の部分群は有限生成か?」の反例とかもよくある問題だな