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.
Articles by others on the same topic
There are currently no matching articles.