= Solution
For every $x\in BC^{-1}$, choose one representation $x=b_xc_x^{-1}$. Define
$$
F:A\times BC^{-1}\longrightarrow AB^{-1}\times AC^{-1},
\qquad
F(a,x)=(ab_x^{-1},ac_x^{-1}).
$$
The image determines
$$
(ab_x^{-1})^{-1}(ac_x^{-1})=b_xc_x^{-1}=x,
$$
and the chosen representative then determines $a=(ab_x^{-1})b_x$. Thus $F$ is injective, and counting its domain and codomain proves the <Noncommutative Ruzsa triangle inequality>
$$
|A|\,|BC^{-1}|\leq|AB^{-1}|\,|AC^{-1}|.
$$
Back to article page
