Compact-open subgroup
ID: compact-open-subgroup
A compact-open subgroup is both a compact subset and an open subgroup. Its coset space is discrete, and compact subsets meet only finitely many cosets. Finite intersections of compact-open subgroups are again compact-open, making them useful common stabilizers for finitely many vectors.
New to topics? Read the docs here!