La carte unique d 'une Lie - Algèbre exponentielle est un difféomorphisme entre le groupe de Lie - Algèbre et le groupe de mensonges simplement associé, associé à nilpotent.
L'unique carte d'une algèbre de Lie exponentielle est un difféomorphisme entre l'algèbre de Lie et le groupe de Lie connecté, simplement connecté, associé à nilpotent.