If is an open subgroup, each left coset is open because translation is a homeomorphism. Its complement is the union of the other cosets, hence is open. Every open subgroup is closed. No compactness is needed.
Articles by others on the same topic
There are currently no matching articles.