Troisième théorème fondamental de réalisation de Cartan
De même qu’avec les groupes de Lie, à tout pseudo-groupe infinitésimal de Lie sur il est associé de façon naturelle une algèbre de Lie , qui est une sous-algèbre de Lie fermée de l’algèbre de Lie de tous les champs de vecteurs formels de , l’algèbre étant munie de la topologie définie par la filtration naturelle de l’algèbre des séries formelles. Le troisième théorème fondamental de Cartan dit qu’inversement étant donnée une sous-algèbre de Lie transitive fermée de l’algèbre , il existe...