>>912 てかHがその条件満たせばその部分集合もおのずと条件満たすから
　正規部分群がtrivial出ない限り部分群じゃないのはいくらでも作れるね。