MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We know how to tell if a topological group is a Lie group: this was famously asked by Hilbert and answered gloriously by Gleason, Montgomery and Zippin in the 50s (a locally compact topological group can be turned into a Lie group iff there is one neighborhood of 1 which does not contain a non-trivial subgroup)

Can one tell when an abstract group is in some way a Lie group?

A natural follow up questions is, of course: if a group is Lie-sable (urgh), is it in a unique way? For comparison, a topological group which can made into a Lie group can be made in exactly one way.

share|cite|improve this question
Generally it's not a Lie group in a unique way -- the groups $\mathbb R^n$ for $n \geq 1$ are all isomorphic as groups, but not as Lie groups with their standard Lie groups structures. – Ryan Budney May 1 '11 at 19:58
Doesn't algori's answer to… (and Kramer's paper I linked to in a comment there) at least partially answer your follow-up question? – Theo Buehler May 1 '11 at 20:03
@Mariano, your question is very close to a standard question in group theory, being the question of if a group is linear i.e. if it is realizable as a subgroup of a matrix group. For this there's the Tits alternative. – Ryan Budney May 1 '11 at 20:18
Another condition: if $G$ is a (connected) Lie group, there is a number $k$ such that every torsion subgroup contains an abelian normal subgroup of index at most $k$ (This extends Jordan's bound for $GL$; see [Dong Hoon Lee: On Torsion Subgroups of Lie Groups. Proc. Amer. Math. Soc. Vol. 55, No. 2, 1976 ]) – Mariano Suárez-Alvarez May 2 '11 at 3:14
In a Lie group $G$, every $g$ sufficiently close to the identity has the property that, for all positive integers $n$, there is an $h$ with $h^n=g$. The subgroup generated by all such $g$ must then contain the connected component of the identity, and so has at most countable index in $G$. For example, this shows that $\mathbb{Z}_p$ (forgetting the topology) cannot be given the structure of a Lie group. (This example is maybe not so interesting, as every torsion-free abelian Lie group is $\mathbb{R}^n$ for some $n$, but oh well) – Julian Rosen May 2 '11 at 8:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.