Closed subgroup of finite index

From Groupprops
Revision as of 22:37, 12 January 2012 by Vipul (talk | contribs) (Created page with "{{topological subgroup property}} ==Definition== A subgroup of a topological group is termed a '''closed subgroup of finite index''' or '''open subgroup of finite in...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines a property that can be evaluated for a subgroup of a semitopological group

Definition

A subgroup of a topological group is termed a closed subgroup of finite index or open subgroup of finite index if it satisfies the following equivalent conditions:

  1. It is a closed subgroup that is also a subgroup of finite index in the whole group
  2. It is an open subgroup that is also a subgroup of finite index in the whole group

Equivalence of definitions