Carnot group
simply connected nilpotent Lie group equipped with a derivation of its Lie algebra such that the subspace with eigenvalue 1 generates the Lie algebra
en-GB/kɑːɹnɒt ˈɡɹuːp/
en-US/kɑɹˈnoʊ ˈɡɹup/
simply connected nilpotent Lie group equipped with a derivation of its Lie algebra such that the subspace with eigenvalue 1 generates the Lie algebra