Quantum Hidden Subgroup Problems: A Mathematical Perspective