Prove that ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##?

  • Thread starter Thread starter Math100
  • Start date Start date
AI Thread Summary
For any integer a, it has been proven that a^4 is congruent to either 0 or 1 modulo 5. The proof utilizes the fact that integers can be expressed as congruent to 0, 1, 2, 3, or 4 modulo 5, leading to the conclusion that a^4 modulo 5 results in 0 or 1. Additionally, it is noted that if 5 does not divide a, then a^4 is congruent to 1 modulo 5. This discussion also raises a related question about the congruence of n^(p-1) modulo p when p is prime and does not divide n. The findings confirm the original assertion regarding the behavior of a^4 under modulo 5 conditions.
Math100
Messages
813
Reaction score
229
Homework Statement
Prove the assertion below:
For any integer ## a ##, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Relevant Equations
None.
Proof:

Let ## a ## be any integer.
Then ## a\equiv 0, 1, 2, 3 ## or ## 4\pmod {5} ##.
Note that ## a\equiv b\pmod {n}\implies a^{4}\equiv b^{4}\pmod {n} ##.
This means ## a^{4}\equiv 0, 1, 16, 81 ## or ## 256\pmod {5}\implies a^{4}\equiv 0, 1, 1, 1 ## or ## 1\pmod {5} ##.
Thus ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Therefore, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ## for any integer ## a ##.
 
  • Like
Likes Delta2 and fresh_42
Physics news on Phys.org
Math100 said:
Homework Statement:: Prove the assertion below:
For any integer ## a ##, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Relevant Equations:: None.

Proof:

Let ## a ## be any integer.
Then ## a\equiv 0, 1, 2, 3 ## or ## 4\pmod {5} ##.
Note that ## a\equiv b\pmod {n}\implies a^{4}\equiv b^{4}\pmod {n} ##.
This means ## a^{4}\equiv 0, 1, 16, 81 ## or ## 256\pmod {5}\implies a^{4}\equiv 0, 1, 1, 1 ## or ## 1\pmod {5} ##.
Thus ## a^{4}\equiv 0 ## or ## 1\pmod {5} ##.
Therefore, ## a^{4}\equiv 0 ## or ## 1\pmod {5} ## for any integer ## a ##.
You have shown even more: ##a^4\equiv 1 \pmod 5## whenever ##5\nmid a.##
 
fresh_42 said:
You have shown even more: ##a^4\equiv 1 \pmod 5## whenever ##5\nmid a.##
… which directly brings us to the following question that the OP might want to attempt to answer:

If p is prime and ##p \nmid n##, does ##n^{p-1} \equiv 1 \pmod p##?
 
Last edited:
Back
Top