I have the following automorphsim of
with rotation the argument of the functions by
Let be the image of the coordinate function and let be a unitary implementing the above mentioned automorphism . (What exactly is meant by implementing an automorphism? Is it something like where then is some unitary function.)
show that