群論の初歩だと思うのだが。