Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 324 / 4 / b / i / Solution

In the hidden subgroup problem, an oracle gives a function $f:G\to X$ that is constant on every left coset of an unknown subgroup $H\le G$ and takes distinct values on distinct cosets. The task is to determine $H$.