Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2023/prelims/mathematics-i/6/b/ii/solution

Suppose were finite, say . There are at most left cosets, each with elements by part (i), and they partition . Hence would be a finite set with at most elements. This contradicts the assumption that is an infinite group. Therefore .

New to topics? Read the docs here!