groupe de Lie

ALGEBRE
ANALYSE

Une structure algébrique G est un groupe de Lie réel ou complexe si elle satisfait aux 3 conditions suivantes:
1) G est une variété différentielle réelle ou complexe.
2) A G sont associées une multiplication fonction de GxG vers G et une loi interne nommée inversion conférant à G la structure de groupe
3) Les applications induites par la multiplication et l’inversion sont analytiques réelles ou complexes.