Does homeomorphic and isomorphic always imply homeomorphically isomorphic? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T09:54:00Z http://mathoverflow.net/feeds/question/44060 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Ricky Demer 2010-10-29T05:20:09Z 2013-02-22T13:37:35Z <p>Let $(G,\cdot,T)$ and $(H,\star,S)$ be topological groups such that <br> $(G,T)$ is homeomorphic to $(H,S)$ and $(G,\cdot)$ is isomorphic to $(H,\star)$.</p> <p>Does it follow that $(G,\cdot,T)$ and $(H,\star,S)$ are isomorphic as topological groups? <br> If no, what if they are both Hausdorff? What if they are both Hausdorff and two-sided complete?</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/44070#44070 Answer by Greg Kuperberg for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Greg Kuperberg 2010-10-29T06:40:56Z 2010-10-29T18:27:00Z <p>The 2-adic rationals $\mathbb{Q}_2$ and the 3-adic rationals $\mathbb{Q}_3$ are homeomorphic, because each one is a countable disjoint union of Cantor sets. They are also isomorphic as groups if you assume the axiom of choice, because they are both fields of characteristic 0 and therefore vector spaces over $\mathbb{Q}$ (of the same cardinal dimension). However, the 2-adic integers $\mathbb{Z}_2$ are a compact subgroup of $\mathbb{Q}_2$ in which every element is infinitely divisible by 3. On the other hand, in $\mathbb{Q}_3$, any non-trivial sequence $x, x/3, x/9, \ldots$ is unbounded in the complete metric, and is therefore not contained in a compact subgroup.</p> <hr> <p>Keith Conrad asks whether these is an example without the axiom of choice, and Jason De Vito asks whether there is an example using Lie groups. In fact, there is a cheap example using disconnected Lie groups. Let $G$ and $H$ be two connected Lie groups that are homeomorphic but not isomorphic. For instance, abelian $\mathbb{R}^3$, the universal cover $\widetilde{\text{SL}(2,\mathbb{R})}$, and the Heisenberg group of upper unitriangular, real $3 \times 3$ matrices are all homeomorphic, but not isomorphic. If $G'$ and $H'$ are $G$ and $H$ with the discrete topology, then $G' \times H$ and $G \times H'$ are explicitly isomorphic and explicitly homeomorphic. But they are not continuously isomorphic, because the connected component of the identity is $G$ for one of them but $H$ for the other one.</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/44097#44097 Answer by Jonathan Kiehlmann for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Jonathan Kiehlmann 2010-10-29T09:53:01Z 2010-10-29T09:53:01Z <p>Another example: there are uncountably many different (count-ably based) abelian pro-$p$ groups isomorphic to the product of all the cyclic $p$-groups. Each of these must be homeomorphic to the Cantor set. </p> <p>[This is in my transfer report, and shortly to be in a pre-print on the arxiv.]</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/44221#44221 Answer by Ady for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Ady 2010-10-30T05:46:36Z 2010-10-30T05:46:36Z <p>The Banach spaces $c_{0}$ and $\ell_{2}$ may be viewed as isomorphic Abelian groups, that are also homeomorphic (due to Kadec). Still, they are clearly not isomorphic as topological groups.</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/51154#51154 Answer by Steven Gubkin for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Steven Gubkin 2011-01-04T20:07:46Z 2011-01-04T20:07:46Z <p>Sorry for the necromancy, but the following was too cute to resist:</p> <p>Let </p> <p>$A$ be $Z_4$ with the discrete topology</p> <p>$B$ be $Z_4$ with the indiscrete topology</p> <p>$C$ be $Z_2 \times Z_2$ with the discrete topology</p> <p>$D$ be $Z_2 \times Z_2$ with the indiscrete topology.</p> <p>Then $A \times D$ is not isomorphic to $B \times C$ as a topological group, but the the underlying spaces are homeomorphic and the groups are isomorphic.</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/122500#122500 Answer by Wlodzimierz Holsztynski for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Wlodzimierz Holsztynski 2013-02-21T04:38:46Z 2013-02-22T05:33:51Z <p>I see above counter-examples in this thread. On the other hand, in the Abelian case there are positive results, which go way further than the question. In the case of (general) solenoids, they themselves are their own first homology groups with coefficients in $S^1$. It follows that when two of them are homeomorphic (or just homologically equivalent) then they are isomorphic as topological groups--see Karol Borsuk and myself, Fund. Math. 1970. This line was developed much further in later papers by James Keesling.</p> <p>The following five classifications of (general) solenoids are identical: <strong>(i)</strong> homological (with coefficients in $S^1$; i.e. cohomological with coefficients in $Z$; for Čech theories), <strong>(ii)</strong> shape-theoretical, <strong>(iii)</strong> homotopic, <strong>(iv)</strong> topological, <strong>(v)</strong> as topological groups.</p> http://mathoverflow.net/questions/44060/does-homeomorphic-and-isomorphic-always-imply-homeomorphically-isomorphic/122604#122604 Answer by Tom Goodwillie for Does homeomorphic and isomorphic always imply homeomorphically isomorphic? Tom Goodwillie 2013-02-22T05:43:12Z 2013-02-22T13:37:35Z <p>Any two $2$-dimensional rational vector spaces in $\mathbb R$ are isomorphic as groups and also order-isomorphic (I believe), hence homeomorphic when given the relative topology from $\mathbb R$. But any isomorphism as topological groups would have to be given by multiplication by a real number. So for example $\mathbb Q+\mathbb Q\pi$ and $\mathbb Q+\mathbb Q\sqrt 5$ are a counterexample.</p> <p>EDIT: Or the same thing with $\mathbb Z$ instead of $\mathbb Q$.</p>