Published online by Cambridge University Press: 17 April 2009
Perhaps the simplest example is the lexicographic sum of copies Zn of the integers indexed by the integers. If one performs the shift in the 0-indexed summand m0 → (m+1)0 while leaving all the other summands fixed, and follows this with the shift Zn → Zn+1 in the index set, then the element 00. will be sent on 11; whereas under these automorphisms performed in the other order, it will be sent on 01. This non-commutativity contradicts Theorem 9 in [1].