部分群になるなら単位元が含まれないとダメなんじゃないですか?