上で定義された二項演算はこの集合を商群と呼ばれる群にし、この場合位数3の巡回群に同型である。