On Freiman's Theorem in Nilpotent Groups

We generalize a result of Tao which extends Freiman’s theorem to the Heisenberg group. We extend it to simply connected nilpotent Lie groups of arbitrary step.