《初等数论》 上的题目。
不使用剩余系的方法，给出 φ(n)\varphi(n)φ(n) 的定义，已经证明 了 φ(pk)=(p−1)pk−1\varphi(p^k) = (p-1)p^{k-1}φ(pk)=(p−1)pk−1，求证
pk∣aφ(pk)−1p^k|a^{\varphi(p^k)}-1pk∣aφ(pk)−1
暂时找不到答案，谢谢qwq
