Connected topological group

From Groupprops
Revision as of 21:13, 12 January 2012 by Vipul (talk | contribs)
Jump to: navigation, search
This article defines a property that can be evaluated for a topological group (usually, a T0 topological group)
View a complete list of such properties

Definition

Symbol-free definition

A topological group is termed connected if it satisfies the following equivalent conditions:

  1. It is connected as a topological space.
  2. The connected component of the identity element equals the whole group.

Equivalence of definitions

Definitions (1) and (2) are clearly equivalent.

Facts

  1. Connected implies no proper open subgroup