リーマン幾何学
The real Heisenberg group is a Carnot group which can be viewed as a flat model in Sub-Riemannian geometry as Eculidean space in Riemannian geometry. The Engel group is also a Carnot group.