Carmichael number: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Karsten Meyer
mNo edit summary
imported>Hendra I. Nurdin
m (copy-edit)
Line 1: Line 1:
{{subpages}}
{{subpages}}
 
A '''Carmichael number''' is a composite number named after the mathematician [[Robert Daniel Carmichael]]. A Carmichael number <math>\scriptstyle c\ </math> satisfies for every integer <math>\scriptstyle a\ </math> that <math>\scriptstyle a^c - a\ </math> is divisible by <math>\scriptstyle c\ </math>. A Carmichael number ''c'' also satisfies the congruence <math>\scriptstyle a^{c-1} \equiv 1 \pmod c</math>, if <math>\scriptstyle \operatorname{gcd}(a,c) = 1</math>. The first few Carmichael numbers are 561, 1105, 1729, 2465, 2821, 6601 and 8911. In 1994 Pomerance, Alford and Granville proved that there exist infinitely many Carmichael numbers.
A '''Carmichael number''' is a composite number, who is named after the mathematician [[Robert Daniel Carmichael]]. A Carmichael number <math>\scriptstyle c\ </math> satisfies for every integer <math>\scriptstyle a\ </math>, that <math>\scriptstyle a^c - a\ </math> is divisible by <math>\scriptstyle c\ </math>. A Carmichael number ''c'' satisfies also the conrgruence <math>\scriptstyle a^{c-1} \equiv 1 \pmod c</math>, if <math>\scriptstyle \operatorname{gcd}(a,c) = 1</math>. The first few Carmichael numbers are 561, 1105, 1729, 2465, 2821, 6601 and 8911. In 1994 Pomerance, Alford and Granville proved that there exist infinitely many Carmichael numbers.


== Properties of a Carmichael number ==
== Properties of a Carmichael number ==


*Every Carmichael number is squarefree and has at least three different prime factors
*Every Carmichael number is square-free and has at least three different prime factors
*For every Carmichael number ''c'' is true, that <math>c-1</math> is divisible by <math>p_n - 1</math> for every of its prime factors <math>p_n</math>.
*For every Carmichael number ''c'' it holds that <math>c-1</math> is divisible by <math>p_n - 1</math> for every one of its prime factors <math>p_n</math>.
*Every Carmichael number is an [[Euler pseudoprime]].
*Every Carmichael number is an [[Euler pseudoprime]].
*Every absolute Euler pseudoprime is a Carmichael number.
*Every absolute Euler pseudoprime is a Carmichael number.


== Chernicks Carmichael numbers ==
== Chernick's Carmichael numbers ==


[[J. Chernick]] found in 1939 a way to construct Carmichael numbers<ref>[http://home.att.net/~numericana/answer/modular.htm#carmichael (2003-11-22) Generic Carmichael Numbers]</ref>. If, for a natural number ''n'', the three numbers <math>\scriptstyle 6n+1\ </math>, <math>\scriptstyle 12n+1\ </math> and <math>\scriptstyle 18n+1\ </math> are prime numbers, the product <math>\scriptstyle (6n+1)\cdot (12n+1)\cdot (18n+1)</math> is a Carmichael number. Equivalent to this is that if <math>\scriptstyle m\ </math>, <math>\scriptstyle 2m-1\ </math> and <math>\scriptstyle 3m-2</math> are prime numbers, then the product <math>\scriptstyle m\cdot (2m-1)\cdot (3m-2)</math> is a Carmichael number.
[[J. Chernick]] found in 1939 a way to construct Carmichael numbers<ref>[http://home.att.net/~numericana/answer/modular.htm#carmichael (2003-11-22) Generic Carmichael Numbers]</ref>. If, for a natural number ''n'', the three numbers <math>\scriptstyle 6n+1\ </math>, <math>\scriptstyle 12n+1\ </math> and <math>\scriptstyle 18n+1\ </math> are prime numbers, the product <math>\scriptstyle (6n+1)\cdot (12n+1)\cdot (18n+1)</math> is a Carmichael number. Equivalent to this is that if <math>\scriptstyle m\ </math>, <math>\scriptstyle 2m-1\ </math> and <math>\scriptstyle 3m-2</math> are prime numbers, then the product <math>\scriptstyle m\cdot (2m-1)\cdot (3m-2)</math> is a Carmichael number.
Line 18: Line 17:


== Further reading ==
== Further reading ==
* [[Richard E. Crandall]] and [[Carl Pomerance]]: Prime Numbers. A Computational Perspective. Springer Verlag, ISBN 0-387-25282-7  
* [[Richard E. Crandall]] and [[Carl Pomerance]]: Prime Numbers: A Computational Perspective. Springer-Verlag, 2001. ISBN 0-387-25282-7  
* [[Paolo Ribenboim]]: The New Book of Prime Number Records. Springer Verlag, 1996, ISBN 0-387-94457-5
* [[Paolo Ribenboim]]: The New Book of Prime Number Records. Springer-Verlag, 1996, ISBN 0-387-94457-5


== Links ==
== Links ==
*[http://de.wikibooks.org/wiki/Pseudoprimzahlen:_Tabelle_Carmichael-Zahlen List of Carmichael numbers between 561 and 2.301.745.249]
*[http://de.wikibooks.org/wiki/Pseudoprimzahlen:_Tabelle_Carmichael-Zahlen List of Carmichael numbers between 561 and 2,301,745,249]

Revision as of 16:28, 8 December 2007

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
Code [?]
 
This editable Main Article is under development and subject to a disclaimer.

A Carmichael number is a composite number named after the mathematician Robert Daniel Carmichael. A Carmichael number satisfies for every integer that is divisible by . A Carmichael number c also satisfies the congruence , if . The first few Carmichael numbers are 561, 1105, 1729, 2465, 2821, 6601 and 8911. In 1994 Pomerance, Alford and Granville proved that there exist infinitely many Carmichael numbers.

Properties of a Carmichael number

  • Every Carmichael number is square-free and has at least three different prime factors
  • For every Carmichael number c it holds that is divisible by for every one of its prime factors .
  • Every Carmichael number is an Euler pseudoprime.
  • Every absolute Euler pseudoprime is a Carmichael number.

Chernick's Carmichael numbers

J. Chernick found in 1939 a way to construct Carmichael numbers[1]. If, for a natural number n, the three numbers , and are prime numbers, the product is a Carmichael number. Equivalent to this is that if , and are prime numbers, then the product is a Carmichael number.

References and notes

Further reading

Links