1: \begin{abstract}

2: We present a polynomial time exact quantum  algorithm

3: for the hidden subgroup problem in $\Z_{m^k}^n$. The

4: algorithm uses the quantum Fourier transform modulo $m$

5: and does not require factorization of $m$. For smooth

6: $m$, i.e., when the prime factors of $m$ are of

7: size $(\log m)^{O(1)}$, the quantum Fourier

8: transform can be exactly computed using the method

9: discovered independently by Cleve and Coppersmith, 

10: while for general $m$, the algorithm of Mosca and Zalka

11: is available. Even for $m=3$ and $k=1$ our result appears to be new. 

12: We also present applications to compute the structure

13: of abelian and solvable groups whose order has the same (but possibly

14: unknown)  prime factors as $m$. The applications for solvable groups

15: also rely on an exact version

16: of a technique proposed by Watrous for computing

17: the uniform superposition of elements of subgroups.

18: %We also discuss an application for finding primitive

19: %elements of certain finite fields.

20: \end{abstract}

21: