群について質問がある。

位数3(a1,a2,a3)の群Gがあるとして、これに一種の結合(×)を考えて下記のような九九の表ができるとする。

   a1 a2 a3
a1 a1 a2 a3
a2 a2 a3 a1
a3 a3 a1 a2

このとき3個の要素の間に入れ替えを行う方法は6通りある。

{a1,a2,a3}

@{a1,a2,a3}
A{a1,a3,a2}
B{a2,a3,a1}
C{a2,a1,a3}
D{a3,a1,a2}
E{a3,a2,a1}

その中でも入れ替えを行ったあとでも九九の表がそのままのものがある、それは@とA。
本に書いてあるこれの意味がよくわからない。

G={a1,a2,a3}
の元を
G={a2,a3,a1}
に入れ換えたら
a2×a2=a3
という結合は
a3×a3=a1
(a2×a2=a2)
になる。
という解釈でよいの?
これなら確かにAは九九の表が変わらないはず。

でもこれいまいちしっくりこない。
九九の表って、a2とa2が結合したらa3になりますよ、っていう関係を示してるんだよね?
なんで元の配置に影響を受けるんだろう……。
根本的なことを理解できてないから、なんかアドバイスでもいいからほしい。

夜にまたくる。