Carnot group

In mathematics, a Carnot group is a simply connected nilpotent Lie group, together with a derivation of its Lie algebra such that the subspace with eigenvalue 1 generates the Lie algebra. Carnot groups have a Carnot–Carathéodory metric. They were introduced by Pansu (1982, 1989) and Mitchell (1985).