Totally disconnected and normal in connected implies central

From Groupprops
Jump to: navigation, search
This page describes additional conditions under which a subgroup property implication can be reversed, viz a weaker subgroup property, namely Normal subgroup (?), can be made to imply a stronger subgroup property, namely central subgroup
View other subgroup property implication-reversing conditions


Suppose G is a Connected topological group (?) and H is a normal subgroup of G, such that H is a totally disconnected space in the subspace topology (i.e., the connected components of H are one-point subsets). Then, H is a central subgroup of G, i.e., H is contained in the Center (?) of G.

A case of particular interest is where H is a discrete subgroup of G, i.e., a closed subgroup of G that is a discrete space under the subspace topology. This particular case says that any discrete normal subgroup of a connected topological group is central. However, there are many examples of totally disconnected normal subgroups that are not discrete.

Related facts


This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

Given: A connected topological group G, a normal subgroup H that is totally disconnected in the subspace topology.

To prove: H is contained in the center of G.

Proof: The idea is to look at a fixed but arbitrary element in H and a continuously varying element of G that conjugates on this element. Note that the construction used in this proof involves conjugation, but viewed in a different way from usual. In the usual way of thinking about conjugation, the conjugating element is kept fixed and the element being conjugated is varied. Here, the element being conjugated is kept fixed and the conjugating element is varied continuously.

Step no. Assertion/construction Given data used Facts used Previous steps used Explanation
1 For h \in H, consider the map \pi_h: G \to H given by g \mapsto ghg^{-1}. This is a well-defined map. H is normal in G [SHOW MORE]
2 \pi_h is a continuous map from G as a topological space to H endowed with the subspace topology. G is a topological group. Step (1) [SHOW MORE]
3 The image of G under \pi_h is a connected subset of H (viewed with the subspace topology). G is connected. The image of a connected set under a continuous map is connected. Step (2) [SHOW MORE]
4 The image of G under \pi_h must be a one-point set. H is totally disconnected in the subspace topology. Step (3) [SHOW MORE]
5 The image of G under \pi_h is \{ h \}, so ghg^{-1} = h for all g \in G, and hence h is in the center of G. Step (4) [SHOW MORE]
6 H is contained in the center of G Steps (1), (5) [SHOW MORE]