Quelltext der Seite Carmichael-Zahl

Eine natürliche Zahl heißt '''Carmichael-Zahl''', benannt nach dem Mathematiker [[Robert Daniel Carmichael]], wenn sie eine [[fermatsche Pseudoprimzahl]] bezüglich aller zu ihr teilerfremden Basen ist. Carmichael-Zahlen spielen eine Rolle bei der Analyse von [[Primzahltest]]s.

Jede Carmichael-Zahl ist [[quadratfrei]] und das Produkt mindestens dreier Primzahlen. Die kleinste Carmichael-Zahl ist die Zahl 561 = 3·11·17. Im Jahr 1994 bewiesen [[Carl Pomerance]], W. R. Alford und [[Andrew Granville]] die Existenz unendlich vieler Carmichael-Zahlen.<ref>W. R. Alford, A. Granville, C. Pomerance: ''There are Infinitely Many Carmichael Numbers'', Ann. Math. '''139''', 703–722, 1994.</ref>

Es ist einfach, eine Carmichael-Zahl zu erkennen, wenn man ihre [[Primfaktorzerlegung]] kennt. Dies ist dem ''Satz von [[Alwin Reinhold Korselt|Korselt]]'' zu verdanken (siehe weiter unten). Es ist auch relativ einfach, Carmichael-Zahlen zu erzeugen, zumal Algorithmen wie der nach J. Chernick existieren. Problematisch ist es aber – gerade bei großen Zahlen – zu erkennen, ob es sich bei einer Zahl um eine Carmichael-Zahl handelt. Diese Schwierigkeit haben die Carmichael-Zahlen mit den Primzahlen gemeinsam, denn entweder man führt eine [[Faktorisierung]] durch, oder man wendet den [[Kleiner fermatscher Satz|kleinen fermatschen Satz]] auf die Zahl an, wobei man für die Basen, die nicht auf eine Primalität weisen und die bei Primzahlen nicht vorkommen, auf [[Teilbarkeit]] testen muss. In der Praxis wird das Unterscheiden einer unzerlegten Carmichael-Zahl von einer Primzahl dadurch erleichtert, dass es keine ''starken'' Carmichael-Zahlen gibt.<ref>[[Derrick Henry Lehmer]]: [http://journals.cambridge.org/download.php?file=%2FJAZ%2FJAZ1_21_04%2FS1446788700019364a.pdf&code=28e15145dfaae3e708c095f29250a990 ''Strong Carmichael numbers.''] J. Austral. Math. Soc. 21 (Series A) (1976), S. 508–510</ref> Man kann zu jeder Carmichael-Zahl <math>n</math> stets eine teilerfremde Basis <math>a</math> finden, so dass die Primzahleigenschaft <math>a^{(n-1)/2} \equiv \left(\tfrac{a}{n}\right) \pmod n</math> (unter Verwendung des [[Jacobi-Symbol]]s und der Schreibweise für [[Kongruenz (Zahlentheorie)|Kongruenz]]) verletzt ist.

== Definition ==
'''Definition'''<br>
Eine zusammengesetzte natürliche Zahl <math>n</math> heißt '''Carmichael-Zahl''', falls für alle zu <math>n</math> teilerfremden Zahlen <math>a ,</math> hier „Basis“ genannt, die folgende Kongruenz erfüllt ist:
:<math> a^{n-1} \equiv 1 \pmod n</math> .

'''Beispiel'''<br>
Wie erwähnt, ist <math>n := 561 = 3 \cdot 11 \cdot 17</math> die kleinste Carmichael-Zahl.
Für alle Basen <math>a ,</math> die keinen Primfaktor mit <math>n </math> gemeinsam haben, gilt nämlich <math> a^{n-1} \equiv 1 \pmod n</math>.

561 ist durch 3, 11, 17, 33, 51 und 187 teilbar. Für diese Teiler gilt die Kongruenz jedoch nicht:
3<sup>560</sup> ≡ 375 mod 561, 11<sup>560</sup> ≡ 154 mod 561, 17<sup>560</sup> ≡ 34 mod 561 usw.

== Satz von Korselt ==
Bereits im Jahr 1899 bewies [[Alwin Reinhold Korselt]] folgenden Satz:
:Eine natürliche Zahl <math>n</math> ist genau dann eine Carmichael-Zahl, wenn sie nicht prim und quadratfrei ist und für alle ihre Primteiler <math>p</math> gilt, dass <math>p - 1</math> die Zahl <math>n - 1</math> teilt.
<!--Quelle für folgendes:? Korselt selbst hat solche Zahlen jedoch nie gefunden.-->

'''Verschärfung'''<br>
Aufgrund der Identität <math>n-1 = \frac{n}{p} - 1 + (p-1)\frac{n}{p}</math> gilt für jeden Primteiler <math>p</math> einer natürlichen Zahl <math>n</math>:
:<math>n-1\equiv \frac{n}{p} - 1\pmod {p-1} .</math>

Somit lässt sich der zweite Teil von Korselts Satz auch formulieren als:
Eine Zahl <math>n</math> ist genau dann eine Carmichael-Zahl, wenn für jeden ihrer Primteiler gilt: <math>p-1</math> teilt <math>\frac{n}{p} - 1</math>.

Carmichael hat dann 1910 mit 561 die erste Zahl gefunden, die den Eigenschaften des Theorems von Korselt entspricht.

== Die Folge der Carmichael-Zahlen ==
Carmichael-Zahlen haben mindestens drei Primfaktoren, davon keinen doppelt. Wie in der Einleitung erwähnt, weiß man seit 1994, dass es unendlich viele Carmichael-Zahlen gibt. 

Die Tabelle zeigt die Carmichael-Zahlen ({{OEIS|A002997}}) unterhalb 100000 und bringt sie mit der [[Carmichael-Funktion]] <math>\lambda</math> und der [[Eulersche &phi;-Funktion|Eulerschen {{nowrap|<math>\varphi</math>-Funktion}}]] in Beziehung.
:

{| class="wikitable" style="text-align:right"
! Carmichael-Zahl <math>n</math>|| Primfaktoren||<math>\lambda(n)</math>||<math>(n-1)/\lambda(n)</math>||<math>\varphi(n)</math>||<math>\varphi(n)/\lambda(n)</math>
|-
|561 ||style="text-align:left"| 3⋅11⋅17 ||80 ||7 ||320 ||4
|-
|1105 ||style="text-align:left"| 5⋅13⋅17 ||48 ||23 ||768 ||16
|-
|1729 ||style="text-align:left"| 7⋅13⋅19 ||36 ||48 ||1296 ||36
|-
|2465 ||style="text-align:left"| 5⋅17⋅29 ||112 ||22 ||1792 ||16
|-
|2821 ||style="text-align:left"| 7⋅13⋅31 ||60 ||47 ||2160 ||36
|-
|6601 ||style="text-align:left"| 7⋅23⋅41 ||1320 ||5 ||5280 ||4
|-
|8911 ||style="text-align:left"| 7⋅19⋅67 ||198 ||45 ||7128 ||36
|-
|10585 ||style="text-align:left"| 5⋅29⋅73 ||504 ||21 ||8064 ||16
|-
|15841 ||style="text-align:left"| 7⋅31⋅73 ||360 ||44 ||12960 ||36
|-
|29341 ||style="text-align:left"| 13⋅37⋅61 ||180 ||163 ||25920 ||144
|-
|41041 ||style="text-align:left"| 7⋅11⋅13⋅41 ||120 ||342 ||28800 ||240
|-
|46657 ||style="text-align:left"| 13⋅37⋅97 ||288 ||162 ||41472 ||144
|-
|52633 ||style="text-align:left"| 7⋅73⋅103 ||1224 ||43 ||44064 ||36
|-
|62745 ||style="text-align:left"| 3⋅5⋅47⋅89 ||2024 ||31 ||32384 ||16
|-
|63973 ||style="text-align:left"| 7⋅13⋅19⋅37 ||36 ||1777 ||46656 ||1296
|-
|75361 ||style="text-align:left"| 11⋅13⋅17⋅31 ||240 ||314 ||57600 ||240
|}

== Erzeugung von Carmichael-Zahlen ==
=== Methode von Chernick ===
J. Chernick fand 1939 ein relativ einfaches System, um Carmichael-Zahlen zu konstruieren:<br>
:Falls die drei Zahlen <math>6m + 1, 12m + 1</math> und <math>18m + 1</math> Primzahlen sind, so ist ihr Produkt <math>(6m + 1)(12m + 1)(18m + 1)</math> eine Carmichael-Zahl.<ref>Zum (einfachen) Beweis siehe Eric W. Weisstein: "Carmichael number" (→ Weblinks).</ref>
Beispielsweise hat 1729 = 7·13·19 diese Struktur. Interessant ist, dass die Carmichael-Zahl 172081 = 31·61·91
die Bedingung „fast erfüllt“: 91 ist nicht prim, aber fermatsche Pseudoprimzahl zur Basis 3.

=== Methode von Michon ===
Gérard P. Michon fand eine ähnliche Methode, um Carmichael-Zahlen zu konstruieren:
:Wenn <math>m\equiv 326 \pmod {616}</math> und die drei Zahlen <math>7m + 1, 8m + 1</math> und <math>11m + 1</math> Primzahlen sind, so ist ihr Produkt <math>(7m+1)(8m+1)(11m+1)</math> eine Carmichael-Zahl.
<math>m</math> muss dann durch 3 teilbar sein, da sonst einer der drei Faktoren durch 3 teilbar ist.<br>
Beispiel: für <math>m = 24966</math> sind die drei Zahlen <math>174763, 199729</math> und <math>274627</math> prim und ihr Produkt ist eine Carmichael-Zahl.<br>
Eine mit dieser Methode erzeugte Carmichael-Zahl mit 1000 Stellen ist 
:<math>(12936\cdot 10^{329} - 59827428149)\cdot(14784\cdot 10^{329} - 68374203599)\cdot(20328\cdot 10^{329} - 94014529949).</math>

=== Neuere Konstruktionen ===
Basierend auf einer Idee von [[Paul Erdős]] können mit Hilfe gruppentheoretischer Überlegungen und moderner Computer-Algorithmen weitaus größere Carmichael-Zahlen konstruiert werden. Im Juli 2012 wurde nach weitgehendem Ausreizen bereits bekannter Verfahren eine Carmichael-Zahl mit mehr als 10 Milliarden Primfaktoren und fast 300 Milliarden Dezimalstellen vorgestellt.<ref>Steven Hayman, Andrew Shallue: [http://math.ucsd.edu/~kedlaya/ants10/poster-hayman.pdf Constructing a ten billion factor Carmichael number] (PDF-Datei; 91&nbsp;kB) Poster auf der ANTS X-Konferenz, San Diego, Juli 2012</ref>

== Asymptotische Anzahl ==
Erdős vermutete bereits 1956, dass es unendlich viele Carmichael-Zahlen gibt, und dass für ihre Anzahl <math>C(x)</math> unterhalb einer Schranke <math>x</math> kein Exponent <math>a < 1</math> existiert mit <math>C(x) < x^a</math> bei beliebig großem <math>x</math>.<ref>Siehe Crandall, Pomerance: ''Prime Numbers'', S. 122</ref>

Der Beweis von Alford/Granville/Pomerance liefert die untere Abschätzung der Anzahlfunktion <math>C(x) > x^{2/7}</math> für alle hinreichend großen <math>x</math>. Dieses Ergebnis wurde im Jahr 2005 verbessert zu <math>C(x) > x^{0.33}</math> für hinreichend große <math>x</math>.<ref>Glyn Harman: ''On the number of Carmichael numbers up to x'', Bull. London Math. Soc. '''37''', 641–650, 2005.</ref> Rechnungen bis <math>x=10^{15}</math> legen ein Wachstum mit der unteren Abschätzung <math>x^{1/3}</math> nahe, so dass [[Daniel Shanks]] überzeugt war, <math>x^{1/2}</math> sei eine sehr sichere obere Abschätzung für die Anzahlfunktion. Er ließ sich jedoch durch Diskussion mit den genannten Autoren davon überzeugen, dass die Vermutung von Erdös der wahren Asymptotik entsprechen könnte. Im Jahre 2002 publizierten Granville und Pomerance eine Analyse der Verteilung der Carmichael-Zahlen anhand weiterer plausibler und begründeter Vermutungen, die ein Ergebnis (keinen Beweis) sowohl entsprechend dem Argument von Erdős als auch im Einklang mit den empirischen Resultaten für kleine <math>x</math> lieferte und so den von Shanks hervorgehobenen scheinbaren Widerspruch auflöste.<ref>A. Granville, C. Pomerance: [http://www.ams.org/mcom/2002-71-238/S0025-5718-01-01355-2/S0025-5718-01-01355-2.pdf ''Two contradictory conjectures concerning Carmichael numbers.''] (PDF; 347&nbsp;kB) Math. Comp. 71 (2002), Nr. 238, S. 883–908</ref>

== Quellen ==
<references/>

== Literatur ==
* [[Paulo Ribenboim]]: ''The New Book of Prime Number Records.'' 3rd edition. Springer, New York NY u. a. 1996, ISBN 0-387-94457-5.
* [[Richard Crandall]], [[Carl Pomerance]]: ''Prime Numbers. A Computational Perspective.'' Springer, New York NY u. a. 2001, ISBN 0-387-94777-9.

== Siehe auch ==
* [[Lucas-Carmichael-Zahl]]
* [[Knödel-Zahl]]

== Weblinks ==
{{Wikibooks|Pseudoprimzahlen:_Tabelle_Carmichael-Zahlen|Tabelle von Carmichael-Zahlen}}
* [http://mathworld.wolfram.com/CarmichaelNumber.html Eric W. Weisstein: "Carmichael number" (MathWorld)]
* G. J. O. Jameson: [http://www.maths.lancs.ac.uk/~jameson/carfind.pdf ''Finding Carmichael numbers.''] (PDF-Datei; 128&nbsp;kB) und [http://www.maths.lancs.ac.uk/~jameson/3car.pdf ''Carmichael numbers with three prime factors.''] (pdf, engl.; 211&nbsp;kB)

{{Navigationsleiste Primzahlklassen}}

[[Kategorie:Ganzzahlmenge]]
[[Kategorie:Primzahl]]
[[Kategorie:Zahlentheorie]]