Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-134/1/e/solution

The inclusion of a full subgraph sends each generator of to the equally named generator of . Define
by fixing the generators in and sending every other generator to the identity. Every commutator relation of maps to a valid relation, so is a group homomorphism. Its composite with the natural map is the identity. The natural map has a left inverse and is therefore injective, proving that is isomorphic to a subgroup of .

New to topics? Read the docs here!