Published online by Cambridge University Press: 20 November 2018
1.1. Introduction. Soit G un sous-groupe de Lie, de dimension q, du groupe GLP (R). Soient Gi(n) = C i 0,e (R n , G) le groupe des germes en 0 des applications g de classe C i de R n dans G telles que g(0) = e (où e est l'élément neutre de G); Diffi (n) le groupe des germes en 0 des difféomorphismes τ d'un voisinage de 0 dans Rn sur un voisinage de 0 dans R n tels que τ(0) = 0; C 0 i (R n , R p ) l'ensemble des germes en 0 des applications de classe C i de R n dans R p ; l'anneau des germes en 0 des fonctions numériques de classe C ∞ sur R n et m son idéal maximal. Pour ƒ ∈ C 0 ∞(R n , R p ), nous désignerons par j r (ƒ) le jet d'ordre r de ƒ en 0. On munit l'ensemble
de la structure de groupe définie par la multiplication: