## Dense cyclic subgroup

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

Does anyone know a continuous group (not necessarily locally compact) with dense cyclic subgroup other than a torus?

-

Anything procyclic. Someone below already listed the $p$-adic integers, although I'm not sure why this example wasn't one in which you're interested. Another is the absolute Galois group of a finite field of size $q$, which is topologically generated ($=$ equal to the closure of the abstract subgroup generated) by the Frobenius automorphism $x\mapsto x^q$. This is just $\hat{\mathbb{Z}}$, the product over all primes $p$ of $\mathbb{Z}_p$. – Keenan Kidwell Aug 31 2010 at 12:11
Take your favorite group, and give it the indiscrete topology.  Then the identity element comprises a dense cyclic subgroup.  Presumably you don't want this. – Theo Johnson-Freyd Aug 31 2010 at 15:36

## 4 Answers

You already have some examples in the other answers. Groups which have a dense cyclic subgroup are called Monothetic groups. In the article "On monothetic groups" by P.R. Halmos and H. Samelson, you can find many of their properties, such as

Every compact connected separable (abelian) group is monothetic.

-

### 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.

First, it is clear the group has to be abelian. Now, if you assume that $G$ is locally compact, then by the classification you can decompose $G$ as $G={\mathbb R}^n \times H$ where $H$ has a compact open subgroup. Clearly, there can be no ${\mathbb R}^n$ factor, so $G$ has a compact open subgroup. Now, suppose $G$ is itself compact and topologically generated by $g$. Then any character $\chi$ in the dual of $G$ vanishing on $g$ will be identically zero. So, the map $\chi \mapsto \chi (g)$ is injective, hence the dual is a subgroup of $U(1)$. Conversely, you can also see that if $\Gamma$ is a subgroup of $U(1)$ (considered with the discrete topology) then the dual of $\Gamma$ has a dense cyclic subgroup. By taking various subgroups you can, for instance, get the $p$-adic integers, or the n-torus.

-

How about the Bohr compactification of the infinite cyclic group?

-

How about the infinite cyclic group itself with the discrete topology? Or p-adic integers?

-

I care about is not a question of existence obvious examples like this. In some sense and for some reasons p-adic integers for me are not much better than infinite dimensional torus (IDT). It is easy to understand, that forgetting about topology, p-adic integers realized subgroup of IDT. Need something unlike torus. Sorry for my english. – Bad English Aug 31 2010 at 11:09
{"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": 24, "mathjax_display_tex": 0, "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": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9327758550643921, "perplexity_flag": "head"}