Carmichael Numbers: Understanding Their Significance and Properties

  • Context: Undergrad 
  • Thread starter Thread starter thomas430
  • Start date Start date
  • Tags Tags
    Numbers
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 3K views
thomas430
Messages
16
Reaction score
0
Hi everyone :-)

at http://mathworld.wolfram.com/CarmichaelNumber.html it says that a Carmichael number is one which satisfies Fermat's little theorem:

[tex]a^{n-1} \equiv 1 mod (n)[/tex]

for every choice of a which is co-prime to n, with 1 < a < n.

Why is the domain 1 < a < n specified?

A maths book that I'm reading says "Can it happen that n is a pseudoprime to all possible bases a? The answer is yes and such numbers are called Carmichael numbers."

Does this mean that the set (1,n) exhausts all possible bases a?


Thanks :-)

Thomas.
 
Physics news on Phys.org
thomas430 said:
Hi everyone :-)

at http://mathworld.wolfram.com/CarmichaelNumber.html it says that a Carmichael number is one which satisfies Fermat's little theorem:

[tex]a^{n-1} \equiv 1 mod (n)[/tex]

for every choice of a which is co-prime to n, with 1 < a < n.

Why is the domain 1 < a < n specified?

A maths book that I'm reading says "Can it happen that n is a pseudoprime to all possible bases a? The answer is yes and such numbers are called Carmichael numbers."

Does this mean that the set (1,n) exhausts all possible bases a?


Thanks :-)

Thomas.
Yes, because [tex](a +bn)^{n-1} = a^{n-1} \mod n[/tex].
Therefore you do not have to check the coprime numbers greater than n. Can you see why that is so?
 
Last edited:
I see how that works.. and I expanded for n=3 to get a taste.

Thanks, ramsey!
 
Thomas 430: Does this mean that the set (1,n) exhausts all possible bases a?

We are only considering coprime numbers, so that n==0 Mod n is not considered.

By coprime there are only [tex]\Phi (n)[/tex] (Euler totient function) such possibilities. For example for n=15 there are only [tex]\Phi(3)*\Phi 5 = 8[/tex] such numbers that form the multiplicative group.
 
Thanks Robert, that makes good sense.
 
thomas430 said:
Thanks Robert, that makes good sense.

Good! Glad to hear.