Carmichael-getal

Een Carmichael-getal is een samengesteld getal $n$ , dat voor alle getallen $b$ , met $1<b<n$ , die met $n$ relatief priem zijn, aan de volgende congruentie voldoet:

b^{n-1}\equiv 1\mod {n}

.

Ze zijn naar de Amerikaanse wiskundige Robert Carmichael genoemd.

De kleine stelling van Fermat stelt dat alle priemgetallen de bovenstaande eigenschap hebben. In deze zin zijn Carmichael-getallen vergelijkbaar met priemgetallen, zij worden Fermat-pseudopriemgetallen genoemd. De Carmichael-getallen worden ook wel absolute Fermat-getallen genoemd.

Carmichael-getallen zijn belangrijk omdat ze aan de priemtest van Fermat voldoen, terwijl zij geen werkelijke priemgetallen zijn. Aangezien er Carmichael-getallen bestaan, geeft deze priemgetaltest dus geen zekerheid dat een bepaald getal een priemgetal is. De priemtest van Fermat kan nog wel worden gebruikt om te bewijzen dat een getal een samengesteld getal is.

Het kleinste Carmichael-getal is 561. Alford, Granville en Pomerance bewezen in 1994 dat er oneindig veel Carmichael-getallen zijn.^[1] Naarmate de getallen groter worden, worden Carmichael-getallen zeer zeldzaam. Er zijn bijvoorbeeld 1.401.644 Carmichael-getallen tussen 1 en 10¹⁸, dat is ongeveer één op de 700 miljard getallen.^[2]

De Carmichael-getallen zijn de Knödel-getallen $K_{1}$ .

Het criterium van Korselt geeft een anders geformuleerde definitie van Carmichael-getallen.

Voorbeeld

Neem $n=561=3\cdot 11\cdot 17$ , het kleinste Carmichael-getal. Dit getal voldoet aan de definitie dat voor alle $b$ , die onderling ondeelbaar met $n$ zijn dat $b^{n-1}\equiv 1\mod n$ .

561 kan door 3, 11, 17, 33, 51 en 187 worden gedeeld. De congruentie geldt voor deze getallen niet: 3⁵⁶⁰ ≡ 375 mod 561, 11⁵⁶⁰ ≡ 154 mod 561, 17⁵⁶⁰ ≡ 34 mod 561 enzovoort, maar voor alle andere getallen wel.

Literatuur

(en) G Löh en W Niebuhr in Mathematics of Computation, A new algorithm for constructing large Carmichael numbers, 1996.
(fr) Korselt in L'intermédiaire des mathématiciens. Problème chinois, 1899. vol 6, blz 142–143.
(en) RD Carmichael in American Mathematical Monthly. On composite numbers P which satisfy the Fermat congruence a^P-1 ≡ 1 mod P. 1912, vol 19, blz 22–27.

Verwijzingen en voetnoten

rij A002997 in OEIS
(de) Wikibooks. Pseudoprimzahlen: Tabelle Carmichael-Zahlen.
(en) MathWorld. Carmichael Number

Voetnoten

↑ (en) WR Alford, A Granville, C Pomerancein Annals of Mathematics. There are Infinitely Many Carmichael Numbers, 1994. vol 139, blz 703–722.
↑ (en) R Pinch, The Carmichael numbers up to 10¹⁸ in 2006 en eerder The Carmichael numbers up to 10¹⁷ in 2005 en The Carmichael numbers up to 10¹⁶ in 1998. Gearchiveerd op 23 april 2023.

[1] (en) WR Alford, A Granville, C Pomerancein Annals of Mathematics. There are Infinitely Many Carmichael Numbers, 1994. vol 139, blz 703–722.

[2] (en) R Pinch, The Carmichael numbers up to 10¹⁸ in 2006 en eerder The Carmichael numbers up to 10¹⁷ in 2005 en The Carmichael numbers up to 10¹⁶ in 1998. Gearchiveerd op 23 april 2023.

[1]

[2]