In a recent question, I initially doubted that $\mathbb{C}^\times\cong S^1$, my intuition being that $\mathbb{C}^\times$ has one more "dimension" than $S^1$ - in rigorous terms, $S^1$ is (or rather, can be given the structure of) a 1-dimensional Lie group, and $\mathbb{C}^\times$ is (can be given the structure of) a 2-dimensional Lie group.

My question is rather naive: Given a Lie group $G$ of dimension $n\in\mathbb{N}\cup\{\infty\}$, for which $m\in\mathbb{N}\cup\{\infty\}$ does there exist a Lie group $H$ of dimension $m$ such that $G\cong H$ as groups (forgetting about the manifold structure)? Surely there is at least one $G$ such that the answer isn't all $m$?

  • $\begingroup$ I guess your question is motivated by the fact that for all $n,m \in \mathbb{N}$, you have a group ($\mathbb{Q}$-vector space) isomorphism $\mathbb{R}^n \simeq \mathbb{R}^m$, right ? $\endgroup$ – Joel Cohen Jun 10 '11 at 1:23
  • 1
    $\begingroup$ I had also thought about that while composing the question, but I was mainly motivated by my incorrect intuition about $\mathbb{C}^\times\cong S^1$. $\endgroup$ – Zev Chonoles Jun 10 '11 at 2:16
  • $\begingroup$ Still informally, re the dimension issue, $C^x$ is homotopic to $S^1$, by retraction. $\endgroup$ – gary Jun 10 '11 at 16:52

I believe all 1-dimensional (connected) real lie groups are abelian, so given a non-abelian lie group there exists no lie group of dimension 1 isomorphic to it.


A related question was asked at MathOverflow. The author argues that there is a unique Lie group structure on $SU(2)$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.