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!