Proving 6601 is a Carmichael Number

  • Thread starter Thread starter Oxymoron
  • Start date Start date
  • Tags Tags
    Numbers
Click For Summary
SUMMARY

The number 6601 is proven to be a Carmichael number through its prime factorization: 6601 = 7 × 23 × 41. Each prime factor satisfies the condition that p_i - 1 divides 6600, which is derived from Fermat's Little Theorem. Specifically, since 7 - 1, 23 - 1, and 41 - 1 all divide 6600, it follows that a^{6600} ≡ 1 (mod p_i) for each prime factor. Consequently, this leads to the conclusion that a^{6600} ≡ 1 (mod 6601) for all integers a, confirming that 6601 meets the criteria for being a Carmichael number.

PREREQUISITES
  • Understanding of Carmichael numbers
  • Familiarity with Fermat's Little Theorem
  • Basic knowledge of modular arithmetic
  • Ability to perform prime factorization
NEXT STEPS
  • Study the properties and characteristics of Carmichael numbers
  • Explore advanced applications of Fermat's Little Theorem
  • Learn about the significance of modular arithmetic in number theory
  • Investigate other examples of Carmichael numbers and their proofs
USEFUL FOR

Mathematicians, number theorists, and students interested in advanced number theory, particularly those focusing on prime factorization and modular arithmetic.

Oxymoron
Messages
868
Reaction score
0
Ive been trying to prove that the number 6601 is a Carmichael number. I've gone some way to prove it but I don't like it. The first thing I did was look up the prime factors of 6601. And they are

6601 = 7 \times 23 \times 41

And then I noticed that for each prime factor p_i = \{7,23,41\} we have

p_i - 1 = n \quad \mbox{and } n | (6601 - 1)

So that 7 - 1 = 6 and 6 divides 6600, 22 divides 6600, and 40 divides 6600.

Now, Fermat's Little Theorem says that if a is an integer and q is coprime to a, then q divides a^{q-1} - 1. And from this we can say that

a^{q-1} \equiv 1(\mod p_i)

So since 7-1 divides 6601-1 we can say that

a^{6600} \equiv 1(\mod 7)
a^{6600} \equiv 1(\mod 23)
a^{6600} \equiv 1(\mod 41)

because 7, 23, and 41 all divide q-1. and a and q are coprime. Multiplying these together we get

a^{6600} \equiv 1(\mod 6601) \quad \forall a\in\mathbb{Z}

But is this enough to prove that 6601 is a Carmichael Number?
 
Physics news on Phys.org
duh! By the definition of a Carmichael number it is enough surely!
 

Similar threads

Replies
4
Views
1K
Replies
4
Views
2K
Replies
15
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K