The left cosets of an open subgroup form an open cover of the compact group. A finite subfamily therefore covers the group. Distinct cosets are disjoint, so every coset must occur in this finite subfamily. Hence .
Articles by others on the same topic
There are currently no matching articles.