## On closed totally disconnected subgroups of connected real Lie groups

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

So the following statement seems to be obvious but I don't see how to prove it:

Q: How does one prove that a closed totally disconnected subgroup of a connected real Lie group is discrete?

Note that it is essential to take into account the group structure since the Cantor set is a closed totally disconnected subset of $\mathbf{R}$ which is not discrete.

-
Belated comment: adding a tag 'lie-groups' would be appropriate here? – Jim Humphreys Apr 16 2011 at 17:50
and what if we consider a topological group which is not locally euclidean? – Giuseppe Apr 16 2011 at 18:12

2
@Giuseppe: If the group isn't locally Euclidean, then the subgroup needn't be discrete. For example, let $G$ be a direct product of infinitely many circle groups. The circle group has a subgroup of order $2$, so $G$ has a subgroup that is a direct product of infinitely many $2$-element discrete groups. This subgroup is closed and totally disconnected but not discrete. – Stephen S Apr 17 2011 at 8:22
@Stephen: thanks a lot for your attention. – Giuseppe Apr 18 2011 at 6:07

## 3 Answers

Let's just give a quick argument:

Let $G$ be a Lie group (with Lie algebra $\mathbb g$) and $H \subset G$ be a closed subgroup. If $H$ is not discrete, then there exists a sequence $(g_n)_{n \in \mathbb N}$ of elements of $H$, which converges to $1_G$. Write $g_n = \exp( \alpha_n \xi_n)$ (for $n$ large enough), where $\xi_n \in \mathbb g$ are unit vectors (with respect to some innerproduct) and $\alpha_n \in \mathbb R_{> 0}$. Since $g_n \to 1_G$, we get $\alpha_n \to 0$. Let $\delta \in \mathbb R$ and find integers $k_n(\delta)$, such that $|\alpha_n \cdot k_n -\delta|< \alpha_n$.

Let $\xi$ be some accumulation point of the set $\lbrace \xi_n \mid n \in \mathbb N \rbrace$. Now, it is easy to see that $$g_n^{k_n(\delta)} = \exp(\alpha_n k_n(\delta) \xi_n) \to \exp(\delta \xi)$$ on a subsequence. This implies that the whole 1-parameter subgroup generated by $\xi$ lies in $H$. In particular, $H$ is not totally disconnected.

-

Thanks a lot Andreas, this is exactly what I was looking for. – Hugo Chapdelaine Apr 16 2011 at 17:36
Corollary: Any continuous Galois representation on Euclidean space has finite image. – Kevin Ventullo Apr 16 2011 at 21:10

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

0)The solution by Gleason, Montgomery, and Zippin of the fifth Hilbert's problem says that any òpcally euclidean topological group admits a compatible analytical structure.

1)By Cartan--Von Neumann theorem on closed subgroups, if $G$ is a Lie group (i.e. smooth group manifold) and $H$ is a closed subgroup of $G$, then $H$ is an embedded Lie subgroup of $G$, so its connected components w.r.t. the subspace topology and its connected components w.r.t. this Lie group structure are the same.

2)The connected components of a topological manifold are open.

Now 0),1) and 2) should be conclusive for more than your question, i.e.:

If $G$ is a locally euclidean topological group and $H$ is a totally disconnected, closed subgroup of $G$ then $H$ is discrete topological subgroup of $G$.

-
Hi Giuseppe, but $H$ is not necessarily a topological manifold. So are you saying that $H$ is a $0$-dimensional manifold so therefore discrete? – Hugo Chapdelaine Apr 16 2011 at 16:22

1
Cartan's theorem implies that $H$ is necessarily a smooth submanifold of $G$. So if it's totally disconnected, it must be 0-dimensional, i.e. discrete. – Brad Hannigan-Daley Apr 16 2011 at 16:42
So what is the definition of a 0-dimensional manifold? – Hugo Chapdelaine Apr 16 2011 at 16:55

1
@Hugo: exactly what it sounds like: a (second-countable Hausdorff etc.) space which is locally homeomorphic to a point, hence discrete. – Qiaochu Yuan Apr 16 2011 at 17:33
Well take $G=H=\mathbf{Z}_p$, then $H$ is not discrete. The result that you claim in $0)$ probably applies to topological groups which have a topological real manifold structure. – Hugo Chapdelaine Apr 16 2011 at 17:35
show 4 more comments

To complement what has been said earlier: a Lie group $G$ has no small subgroup, i.e. there exists a neighborhood $U$ of the identity $e\in G$ such that the only subgroup of $G$ contained in $U$, is ${e}$. [To see it, let $B$ be a small ball around $0$ in the Lie algebra of $G$, such that the exponential map $\exp$ induces a diffeomorphism between $B$ and its image. Set $U=\exp(B/2)$. Then for every $x\in U\backslash{e}$, there exists $p>1$ such that $x^p\notin U$.]

Let then $H$ be a closed subgroup of $G$. If $H$ is totally disconnected, then there is a basis of neighborhoods of $e$ in $H$, consisting of open subgroups of $H$. So $H\cap U={e}$, meaning that $H$ is discrete.

-

So how do you show the existence of such a basis of neighborhoods at $e$ in $H$. Definitely you need $H$ to be closed but I don't see how to use it. – Hugo Chapdelaine Apr 26 2011 at 14:54
Well, I suppose I'm appealing to van Dantzig's theorem... – Alain Valette Apr 26 2011 at 16:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 70, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9316482543945312, "perplexity_flag": "head"}