Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-i/6/a/i/solution

Each left coset is nonempty, since it contains , and every lies in its own left coset. Suppose and intersect, say with . Then
Since is a subgroup, , and . The reversed relation gives . Thus any two left cosets are either equal or disjoint, and together they cover . Therefore is a partition of a set . No finiteness or normal subgroup assumption is needed.

New to topics? Read the docs here!