Connected implies no proper closed subgroup of finite index

From Groupprops
Revision as of 22:16, 12 January 2012 by Vipul (talk | contribs) (Related facts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

In a connected topological group, there cannot be any proper closed subgroup of finite index (i.e., a closed subgroup that is also a subgroup of finite index).

Related facts

Facts used

  1. Closed subgroup of finite index implies open

Proof

The proof is direct from Fact (1), and the observation that the existence of a proper subgroup (and hence a proper nonempty subset) that is both closed and open means that the group is not connected.