Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse".

Here I am taking an abstract group $G$ and looking for necessary conditions for it to admit the structure of a Lie group.

Of course I am thinking of structures with underlying manifold not $0$-dimensional (since every group can be given the discrete topology this wouldn't be interesting).

In the mentioned question they take a manifold, put a group structure on it and look at the constraints this imposes on its "geometric structure" (homotopy, co-homology, bundles...); so here I want to take a group, put a manifold structure over it and find constraints on its "algebraic structure" (subgroups, quotients, representation, whatever...).

In this question: Given a group $ G $, how many topological/Lie group structures does $ G $ have? there is a wonderful answer which addresses the problem of existence and uniqueness of Lie structure on a topological group.

But this is not what I'm looking for, because there it is assumed a priori that $G$ admits the structure of a topological group; then this structure is "smoothened" to obtain a Lie structure. What I want to do is to start with a $G$ without any topological structure. So my question could also be rephrased as:

Which algebraic properties distinguish Lie groups from abstract groups?

To be explicit, the no-small-subgroups property quoted in the second question is the kind of things I'm looking for.

share|cite|improve this question

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.