where, in the above, 09! denotes the word consisting of |al 0's, Thus, o(U™—"*SaS3) = 1, and so afi“! = a({7™-"*) as desired. In fact, from this it is easy to see that o(U*) € H can always be written in the form a8-! for words a, in a and b with [al = |]. Heneo, the image of ¢ consists only of group elements in A which can be written in the form a! for words a and 3 (not necessarily of the same length). Since Dy is only nonempty if @ is in the image of @, the only group elements for which Dy will he nonempty are those which can be written in the form a3—!, Next we further clarify the different forms that group elements can take in Hf. Claim: If 03-1 = ven! in H, then |a| — [3] = |v] — |. If fa] — [3] > 0, then the initial segment of eof length |a|—|3| is equal to the initial segment of v. Similarly. if Jal —|] < 0, the initial segment of 3 of length |3|—|al is cqual to the initial sogment of w. Proof. First suppose that |a| = ||. Then by the discussion above, a=? = a(U™) for some rn. Hence we must have that o(U" 58% =aftun Since @ is idempotent pure, USS; must be an idempotent, and so | Now suppose that fa| > [3], Then aif"! = a9a,3~! with lao] = [3]. Again, by the disession above, a,9~! = o(U") for some n. Hence 0 SayU"S353) = egy haw and again S3,U"SzS} is an idempotent. This can only happen if ap is an initial segment of wand Jeno] + |x| = |v]. Hence lal —|3| = |o| — |u|. The case of |] > fal is similar 0 As abowe, the tight spectrum of 5; (9,:) is homeomorphic to Bjq,:). the space of infinite words in O and 1, There is a homeomorphism 4: Sjq} — Zo.) which takes an infinite sequence zr, looks for the first entry which is not equal to 1, switches it to 1, switches the previous entries to 0, and leaves the rest of the entries unchanged. If all entries are equal to 1, A switches them all to 0. Ono sees that this is the extension of the action of Z im Example 3-4 to infinite sequences. Qur maps @y will involve this homeomorphism. We can now describe the partial action ({Dg}ycar.{8,}gcur)- If g is not of the form a3! for some words a, J in a and 6, then Dy = 0. Otherwise, we have three cases = [3], then Dy = Dy-1 = Eyoa). and y(x) = N-*(z), 1 1. ig =a" with | 2. Ifg =a8" with [al > [3], then a3~! = agag3-! with lao = ||. Further, the word ‘g does not depend on the particular representation of a7! by the above claim. In = Efaay and Dy = agXto}- The map 4, is given by Gg(2£) = 4 X"*0-"°(x) this case we have Dy, 16