1. We start with the given function F(p)=∑k=12p−1k120. We need to evaluate this sum modulo p.
2. Consider the sum 2F(p)=∑k=12p−1(k120+(p−k)120). Since (p−k)≡−k(modp), we have:
(p−k)120≡(−k)120≡k120(modp)
Therefore,
2F(p)≡k=1∑2p−1(k120+k120)≡k=1∑2p−12k120≡2k=1∑2p−1k120(modp)
This simplifies to:
2F(p)≡k=1∑p−1k120(modp)
3. Let r be a primitive root modulo p. The sequence r,r2,…,rp−1 is a permutation of 1,2,…,p−1 modulo p. Thus,
k=1∑p−1k120≡i=1∑p−1r120i(modp)
4. We can use the formula for the sum of a geometric series. Since r120(p−1)≡1(modp) (because rp−1≡1(modp)), we have:
i=1∑p−1r120i=r120r120−1r120(p−1)−1≡0(modp)if r120≡1(modp)
This implies:
i=1∑p−1r120i≡0(modp)
5. Therefore, if p−1∤120, then r120≡1(modp) and:
F(p)≡0(modp)
Hence,
f(p)=21−{pF(p)}=21−0=21
6. If p−1∣120, then r120≡1(modp). In this case:
i=1∑p−1r120i=i=1∑p−11=p−1
Therefore,
F(p)=21k=1∑p−1k120≡21(p−1)(modp)
Hence,
f(p)=21−{pF(p)}=21−2pp−1=21−21+2p1=2p1
The final answer is 21 if p−1∤120 and 2p1 if p−1∣120.