Une algèbre de Lie
est dite nilpotente s'il existe s tel que
, où
est défini récursivement par
pour tout
et
. On dispose donc d'une suite descendante
.
Cette algèbre de Lie est de plus stratifiée s'il existe un sous-espace
tel que pour tout
, on a
, où les
sont définis par
et
pour
. Ainsi, si
est une base de
, les vecteurs de la forme
engendrent l'algèbre entière (ici,
et
est un des vecteurs de la base pour tout
).
Les algèbres de Lie des groupes de Carnot possèdent une famille de dérivations particulières
, appelées dilatations. Elles sont paramétrées par un scalaire
et définies de telle sorte que
soit l'espace propre associé à la valeur propre
.