Fermat’s Little Theorem - Statement, Proof with Example

Fermat's Little Theorem, also known as Fermat's remainder theorem, is a fundamental result in number theory that deals with properties of prime numbers and modular arithmetic.

Fermat’s Little Theorem states that

"if p is a prime number and a is an integer such that a is not divisible by p, then ."

This means that when a^p−1 is divided by p, the remainder is 1.

This also can be written as a^p ≡ a (mod p).

For Example,

Let's take p = 7 (a prime number), and a = 3. According to the Fermat's Little Theorem :

This means when you calculate 3⁶ and divide it by 7, the remainder is 1.

Proof of Fermat's Little Theorem

Using Euler’s Theorem (Simplified Approach)

Fermat’s Little Theorem is a special case of Euler’s Theorem, which states:

If a is coprime to n, then:

Where is Euler’s totient function (count of numbers less than n and coprime to it).

For a prime number p, . So:

This completes the proof of Fermat’s Little Theorem in a concise and clear manner, without needing Wilson’s Theorem.

Using Wilson’s Theorem (Advanced)

If you want to explore a more involved proof, it goes like this:

Let:

Modulo p, this set contains p−1 distinct values (none repeat), because if:

So:

By Wilson’s Theorem:

So:

Divide both sides by (p - 1)! (valid since it’s not divisible by p):

Applications in Computer Science

Cryptography

• For RSA Decryption, to compute m = c^d (mod n) via Chinese Remainder Theorem
• In Diffie Hellmann Key Exchange Algorithm for secure key exchange by optimizing calculations of large powers modulo a prime.
• In Digital signature, ensures that inverse exists.

Primality Testing

• For an n to be prime, checking if a^n-1 = 1 (mod n). Exceptions for Carmichael numbers like 561, which is not a prime but still passes the test. This is the basis for Monte Carlo primality tests.

Algorithmic Optimizations

• For modular inverse computation, for prime p, a^-1 ≡ a^p-2 (mod p) and for exponent reduction; FLT allows reducing exponents, speeding up computations.

Hash Functions

• FLT ensures uniform distribution in hash functions using prime-sized tables (e.g., universal hashing).

Solved Examples

Example 1: Find the remainder when 7¹⁰⁰ is divided by 13.

Solution:

Since 13 is a prime number, we can apply Fermat's Little Theorem, which states:

Now, 100= 12 ×8 +4 , so:

Calculate :

Result: Remainder when is divided by 13 is 9.

Example 2: Find the remainder of 3^100,000 when divided by 53.

Solution:

Since 53 is a prime number, we can apply Fermat's Little Theorem.

Now:

Result: Remainder when is divided by 53 is 28.

Practice Questions

1. Find the remainder when 5¹²³ is divided by 13.

2. Compute the remainder when 11⁵⁰ is divided by 17.

3. What is the remainder when 7³⁰⁰ is divided by 19?

4. Calculate the remainder of 2²⁰⁰ modulo 31.

5. Find the remainder when 8⁷⁵ is divided by 29.

6. Determine the remainder when 9¹⁰⁰ is divided by 23.

7. What is the remainder when 4²⁰²⁴ is divided by 7?

8. Compute the remainder of 6⁹⁹ modulo 37.

9. Find the remainder when 10⁵⁰⁰ is divided by 43.

10. What is the remainder when 3⁶⁴ is divided by 41?

Answer Keys

1. 8
2. 2
3. 1
4. 1
5. 2
6. 9
7. 2
8. 31
9. 9
10. 1

Related Articles:

• Program for Fermet's Little Theorem
• Prime Number
• Number Theory
• Composite Number
• Modular Arithmetic
• Divisibility Rules