Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-104/5/a/solution

Let
be the group of finitely supported functions with pointwise multiplication. The left-translation action
defines the restricted wreath product
Suppose and are finite generating sets for and . Embed each as a lamp supported at the identity of . Conjugating these lamps by words in produces copies of at every coordinate, and these copies generate . Thus together with the identity-coordinate copy of is a finite generating set for .

New to topics? Read the docs here!