Topological simplicity and dense subgroups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T13:31:37Z http://mathoverflow.net/feeds/question/35356 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/35356/topological-simplicity-and-dense-subgroups Topological simplicity and dense subgroups Colin Reid 2010-08-12T14:02:42Z 2010-08-12T16:48:46Z <p>Let \$G\$ be a (topologically) simple Hausdorff topological group. Let \$H\$ be a dense subgroup of \$G\$. Now throw away the topology. What restrictions are known on the structure of \$H\$ as an abstract group? I imagine not much can be said if \$G\$ has a very coarse topology, but I am particularly interested in the case where \$G\$ is totally disconnected and locally compact, that is, the intersection of all open compact subgroups of \$G\$ is trivial.</p> <p>A related question: two (t.d.l.c.) topological groups \$G\$ and \$K\$ have a dense subgroup \$H\$ in common. Suppose \$G\$ is (topologically) simple. What does this say about \$K\$?</p> <p>I don't have a precise question I want to answer here, this is more of an appeal for references on the subject.</p> http://mathoverflow.net/questions/35356/topological-simplicity-and-dense-subgroups/35371#35371 Answer by Yiftach Barnea for Topological simplicity and dense subgroups Yiftach Barnea 2010-08-12T16:48:46Z 2010-08-12T16:48:46Z <p>In many cases a simple topological group contains a nonabelian free group which is dense. This is true for Lie groups and for many examples of locally compact totally disconnect groups. In many of these cases every limit group can be found as a dense subgroup. Now, I do not rememebr the details, but you can find more informtaion in the webpage of the Workshop on "The Algebraic Structure of Profinite Groups" see <a href="https://www.ma.rhul.ac.uk/profinite_groups/" rel="nofollow">https://www.ma.rhul.ac.uk/profinite_groups/</a>. </p>