Open main menu

Groupprops β

Connected implies no proper closed subgroup of finite index

Contents

Statement

Related facts

Facts used

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.