Noncommutative Ruzsa triangle inequality

For nonempty finite subsets $A,B,C$ of an arbitrary group,Choose one representation $x=b_x{c}_x^{-1}$ for each $x\in B{C}^{-1}$. The map $(a,x)\mapsto (a{b}_x^{-1},a{c}_x^{-1})$ is injective.

If a finite subset $A$ of a group satisfies $|A^3|\le K|A|$, then repeated use of the Noncommutative Ruzsa triangle inequality gives

Let $H$ be a finite subgroup and choose $x$ with $H\cap xH{x}^{-1}=\{1\}$. For $A=H\cup \{x\}$, the set $A^2$ has size at most $3|H|+1$, while $A^3$ contains the double coset $HxH$ of size $|H{|}^2$. Thus bounded doubling alone gives no tripling bound in arbitrary groups.