pq阶群是循环群