Power sums mod p

89 is prime and $(\mathbb{Z}/89)\ast$ is cyclic of order 88. For a generator $g,{\sum }_k$ $k^{37}={\sum }_j$ $g^{37j}$ is a geometric sum equal to 0 because 88 ∤ 37 (so $g^{37}\ne 1)$.