A nilpotent Freiman dimension lemma

We prove that a K -approximate subgroup of an arbitrary torsion-free nilpotent group can be covered by a bounded number of cosets of a nilpotent subgroup of bounded rank, where the bounds are explicit and depend only on K . The result can be seen as a nilpotent analogue to Freiman’s dimension lemma.