a_i \mapsto a_{(i+1)\ \mathrm{mod}\ n}