Hは部分群(かつ正規)になるが、aHは群だろうか?

eg
Z/2Z