Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-120/1/a/ii/solution

Apply the same pumping of a group multiplier automaton to the accepted pair containing the given representative . Since , there is a nonempty loop entirely after the tape containing has ended. Write , with the letters read during this loop. Repeating the loop any number of times leaves the other tape equal to , and the group multiplier automaton accepts the resulting padded convolution of words. Consequently
These words over an alphabet have distinct lengths because . Hence there are infinitely many representatives of in . No uniqueness of representatives was assumed in either part.

New to topics? Read the docs here!