Zum Inhalt springen

Carmichael-Zahl

aus Wikipedia, der freien Enzyklopädie
Robert Daniel Carmichael, circa 1920
Robert Daniel Carmichael, circa 1920

Carmichael-Zahlen sind fermatsche Pseudoprimzahlen zu teilerfremden Basen. Fermatsche Pseudoprimzahlen sind natürliche Zahlen, die wie Primzahlen aussehen, aber keine sind, denn sie genügen dem lange Zeit gültigen Primzahltest, dem 1640 aufgestellten kleinen fermatschen Satz. Carmichael-Zahlen sind das Produkt von mindestens drei Primzahlen (Primfaktorzerlegung), davon keine doppelt. Die kleinste Carmichael-Zahl ist die Zahl 561 = 3·11·17.

Carmichael-Zahlen spielen eine Rolle bei der Analyse von Primzahltests.

Sie sind benannt nach dem Mathematiker Robert Daniel Carmichael, der sie 1910 beschrieben hat.

Definition

Definition
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
<math>n := 561 = 3 \cdot 11 \cdot 17</math> ist 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: 3560 ≡ 375 mod 561, 11560 ≡ 154 mod 561, 17560 ≡ 34 mod 561 usw.

Eigenschaften

Jede Carmichael-Zahl ist quadratfrei und das Produkt mindestens dreier Primzahlen.

Zwar gibt es Methoden zur Erzeugung von Carmichael-Zahlen, aber es ist problematisch – 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. In der Praxis wird das Unterscheiden einer unzerlegten Carmichael-Zahl von einer Primzahl dadurch erleichtert, dass es keine starken Carmichael-Zahlen gibt.<ref>{{#invoke:Vorlage:Literatur|f}}</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-Symbols und der Schreibweise für Kongruenz) verletzt ist.

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.

Verschärfung
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>.

Dank dem Satz von Korselt ist es einfach, eine Carmichael-Zahl zu erkennen, wenn man ihre Primfaktorzerlegung kennt. Carmichael hat dann 1910 mit 561 die erste Zahl gefunden, die den Eigenschaften des Satzes von Korselt entspricht.

Menge der Carmichael-Zahlen

Unendliche Anzahl

Paul 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>. Das haben jedoch erst William Robert Alford, Andrew Granville und Carl Pomerance im Jahr 1994 bewiesen.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Ihr Beweis liefert die untere Abschätzung der Anzahlfunktion <math>C(x) > x^{2/7}</math> für alle hinreichend großen <math>x</math>. Die Anzahl der Carmichael-Zahlen wächst also asymptotisch. Glyn Harman verbesserte dieses Ergebnis im Jahr 2005 zu <math>C(x) > x^{0.33}</math> für hinreichend große <math>x</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</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<ref>{{#invoke:Vorlage:Literatur|f}}</ref>. 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>{{#invoke:Vorlage:Literatur|f}}</ref>

2021 hat der Jugendliche Daniel Larsen gezeigt, dass in jedem Intervall zwischen <math>x</math> und <math>x+\frac{x}{(\log x)^{\frac{1}{2+\delta}}}</math> mindestens <math>e^\frac{\log x}{(\log \log x)^{2 + \delta}}</math> für <math>\delta > 0</math> und hinreichend große <math>x</math> verschiedene Carmichael-Zahlen existieren.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Carmichael-Zahlen unter 100.000

Die Tabelle zeigt die Carmichael-Zahlen (Folge A002997 in OEIS) unterhalb 100.000 und bringt sie mit der Carmichael-Funktion <math>\lambda</math> und der Eulerschen {{#if:trim|<math>\varphi</math>-Funktion}} in Beziehung.

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 3⋅11⋅17 80 7 320 4
1105 5⋅13⋅17 48 23 768 16
1729 7⋅13⋅19 36 48 1296 36
2465 5⋅17⋅29 112 22 1792 16
2821 7⋅13⋅31 60 47 2160 36
6601 7⋅23⋅41 1320 5 5280 4
8911 7⋅19⋅67 198 45 7128 36
10585 5⋅29⋅73 504 21 8064 16
15841 7⋅31⋅73 360 44 12960 36
29341 13⋅37⋅61 180 163 25920 144
41041 7⋅11⋅13⋅41 120 342 28800 240
46657 13⋅37⋅97 288 162 41472 144
52633 7⋅73⋅103 1224 43 44064 36
62745 3⋅5⋅47⋅89 2024 31 32384 16
63973 7⋅13⋅19⋅37 36 1777 46656 1296
75361 11⋅13⋅17⋅31 240 314 57600 240

Der böhmische Mathematiker Václav Šimerka hat die ersten 6 Carmichael-Zahlen bereits 1885 gefunden, was jedoch unbemerkt geblieben ist.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Zbytky z arithmetické posloupnosti|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Zbytky z arithmetické posloupnosti}}]{{#if:PDF| (PDF)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Zbytky z arithmetické posloupnosti}}}}|[{{#invoke:URLutil|getNormalized|1=https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Zbytky z arithmetické posloupnosti}}}}]}}{{#if:PDF| (PDF{{#if:{{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}}%7C%7C}}}}{{#if:Zbytky z arithmetické posloupnosti|{{#if:{{#invoke:WLink|isValidLinktext|1=Zbytky z arithmetické posloupnosti|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:91775||(?)}}}}}}{{#if: 2023-02-05|;}}}}{{#if: 2023-02-05| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-02-05 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-02-05|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-02-05|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:{{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2023-02-05 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://dml.cz/bitstream/handle/10338.dmlcz/122245/CasPestMatFys_014-1885-5_3.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Um eine Carmichael-Zahl zu erkennen, führt man entweder eine Faktorisierung durch, oder man wendet den 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.

Erzeugung von Carmichael-Zahlen

Methode von Chernick

Jack Chernick fand 1939 ein relativ einfaches System, um Carmichael-Zahlen zu konstruieren:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

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 Michon fand eine ähnliche Methode, um Carmichael-Zahlen zu konstruieren: Vorlage:Hinweisbaustein

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.
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.
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: Constructing a ten billion factor Carmichael number (PDF-Datei; 91 kB) Poster auf der ANTS X-Konferenz, San Diego, Juli 2012</ref>

Einzelnachweise

<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

Weblinks

[[b:{{#if:|{{{lang}}}:}}{{#if:Pseudoprimzahlen: Tabelle Carmichael-Zahlen|Pseudoprimzahlen: Tabelle Carmichael-Zahlen|Carmichael-Zahl}}|Wikibooks: {{#if:Tabelle von Carmichael-Zahlen|Tabelle von Carmichael-Zahlen|{{#if:Pseudoprimzahlen: Tabelle Carmichael-Zahlen|Pseudoprimzahlen: Tabelle Carmichael-Zahlen|Carmichael-Zahl}}}}]]{{#switch: 1

|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0

      |0|4|10|12|14|100=}}

|#default= – {{{suffix}}}

}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wikibooks
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

Vorlage:Navigationsleiste Primzahlklassen