QはZ加群として有限生成か?