抽象代数概念:n阶循环群的自同构是一个ψ(n)阶群(定理)