Symmetry of iteration graphs

Abstract

We examine iteration graphs of the squaring function on the rings ℤ/nℤ when n = 2 k p, for p a Fermat prime. We describe several invariants associated to these graphs and use them to prove that the graphs are not symmetric when k = 3 and when k ⩾ 5 and are symmetric when k = 4.