Compact-open subgroup
= 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.