Solution

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

If is an open subgroup, each left coset is open because left translation is a homeomorphism in a topological group. Its complement is the union of all the other cosets,
This is open, so is closed. No compactness or separation assumption is required.

New to topics? Read the docs here!