1
$\begingroup$

Fermat's little theorem says:

If $p$ is prime, and $a$ is an integer with $p \nmid a$, then $a^{p - 1 } \equiv 1 \pmod{p}$.

And this is a small part that I extracted from the book:

Let $n = 4k + r$ with $0 \leq r \leq 3$. Then by Fermat's little Theorem, we have $b^n \equiv b^{4k + r} \equiv (b^4)^kb^r \equiv 1^kb^r \equiv b^r\pmod{5} \text{for any integer b}.$

And I guess the author applied FLT for $b^4 \equiv 1 \pmod{5}$ But we don't know that $b$ divides 5 or not, how could the statement above be true? Any idea?

Thanks,
Chan

  • 0
    If $b$ is a multiple of $5$ then both sides are zero. Otherwise the argument applies.2011-02-26

1 Answers 1

2

The exact statement of what you wrote is slightly incorrect. If $r=0$ and $b=5$ then it does not hold.

Most likely the condition $\gcd (b,5)=1$ is missing.

  • 0
    Thanks. I strongly believe the statement was since the problem was: Prove that $5|(1^n + 2^n + 3^n + 4^n )$, and I guess the author implicitly thought $b$ was only in the set {1,2,3,4}2011-02-26