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}|.
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 129 / 1 / i / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-129/1/i/solution