Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-1/6/i/solution

False. Take the finite, hence countable, cyclic group . Its elements and have orders two and three. A group embedding preserves the order of every element, whereas conjugate group elements have the same order: . Therefore their images cannot be conjugate in any containing group. This gives the required obstruction. The torsion-free group hypothesis in Question 5 avoids this conflict of element orders.

New to topics? Read the docs here!