I remember reading several times that Lie groups, and particularly compact Lie groups can be seen as analogous to finitely generated groups.
I can see the analogy between the generators, exponential map and so on but I don't know any formalization of those analogies.
Is there some theory unifying Lie groups and finitely generated groups ?