有限生成群のすべての商は有限生成であるということは正しい(単純に生成元の商における像をとればよい)が、有限生成群の部分群は有限生成である必要はない。