设C_n=〈a〉为n阶循环群，Z_n^*为模n剩余类环Z_n的单位群.证明：
AutC_n≌Z_n^*；
再由此利用数论结论证明：
AutC_n是循环群⇔n为2，4，p^k，2p^k（p为奇素数）.