MathLabs

Problem 3

Find all positive integers nn such that for any integer kk there exists an integer aa for which a3+a−ka^3+a-k is divisible by nn.
Step 2 of 4: Primes one modulo four fail
p≡1(mod4)⟹b2≡−1(modp)⟹b3+b≡0≡03+0(modp)p\equiv1\pmod4\Longrightarrow b^2\equiv-1\pmod p\Longrightarrow b^3+b\equiv0\equiv0^3+0\pmod p
Detailed analysis

If a prime p greater than three is one modulo four, minus one is a quadratic residue. Choosing a nonzero b with square minus one makes the values at zero and b equal, so the map is not a permutation modulo p.