Dense cyclic subgroup - MathOverflow most recent 30 from http://mathoverflow.net2013-05-22T01:25:22Zhttp://mathoverflow.net/feeds/question/37239http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/37239/dense-cyclic-subgroupDense cyclic subgroupBad English2010-08-31T09:24:27Z2010-08-31T10:38:49Z
<p>Does anyone know a continuous group (not necessarily locally compact) with dense cyclic subgroup other than a torus? </p>
http://mathoverflow.net/questions/37239/dense-cyclic-subgroup/37241#37241Answer by Charles Matthews for Dense cyclic subgroupCharles Matthews2010-08-31T09:56:02Z2010-08-31T09:56:02Z<p>How about the Bohr compactification of the infinite cyclic group? </p>
http://mathoverflow.net/questions/37239/dense-cyclic-subgroup/37242#37242Answer by Xandi Tuni for Dense cyclic subgroupXandi Tuni2010-08-31T09:58:07Z2010-08-31T09:58:07Z<p>How about the infinite cyclic group itself with the discrete topology? Or p-adic integers?</p>
http://mathoverflow.net/questions/37239/dense-cyclic-subgroup/37245#37245Answer by Gjergji Zaimi for Dense cyclic subgroupGjergji Zaimi2010-08-31T10:10:02Z2010-08-31T10:10:02Z<p>You already have some examples in the other answers. Groups which have a dense cyclic subgroup are called <em>Monothetic</em> groups. In the article "On monothetic groups" by P.R. Halmos and H. Samelson, you can find many of their properties, such as</p>
<blockquote>
<p>Every compact connected separable (abelian) group is monothetic.</p>
</blockquote>
http://mathoverflow.net/questions/37239/dense-cyclic-subgroup/37247#37247Answer by Keivan Karai for Dense cyclic subgroupKeivan Karai2010-08-31T10:29:40Z2010-08-31T10:29:40Z<p>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. </p>