ついでに。
任意の部分群が有限生成なる群を特徴付けよ。