 Home

Codex Wiki

List of universities

University of Cambridge

Course of the University of Cambridge

Mathematics course of the University of Cambridge

Past exam of the mathematics course of the University of Cambridge

2022

Paper 129

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>
$$
\boxed{|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

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

 Ancestors (11)

 Discussion (0)

 Articles by others on the same topic (0)

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

 Ancestors (11)

 Discussion (0)  Subscribe (1)

 Articles by others on the same topic (0)

 Discussion (0)