Closed normal subgroup

From Groupprops
Revision as of 01:12, 2 January 2012 by Vipul (talk | contribs) (Created page with "{{topological subgroup property}} ==Definition== A '''closed normal subgroup''' of a topological group is a subgroup that is both a [[defining ingredient::closed sub...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article defines a property that can be evaluated for a subgroup of a semitopological group

Definition

A closed normal subgroup of a topological group is a subgroup that is both a closed subgroup (i.e., it is closed as a subset of the whole group with the underlying topology) and a normal subgroup.