Open subgroup

From Groupprops
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 semitopological group is termed an open subgroup if it is an open subset in the subspace topology.

Relation with other properties

Stronger properties

Weaker properties

Facts