Privacy Policy Cookie Policy Terms and Conditions Kleiner fermatscher Satz - Wikipedia

Kleiner fermatscher Satz

aus Wikipedia, der freien Enzyklopädie

Der kleine Fermatsche Satz, kurz „der kleine Fermat“, ist ein Lehrsatz der Zahlentheorie. Er macht eine Aussage über die Eigenschaften von Primzahlen und wurde im 17. Jahrhundert von Pierre de Fermat aufgestellt. Der Satz beschreibt die allgemein gültige Kongruenz:

a^p \equiv a \ \pmod{p},

wobei a eine ganze Zahl und p eine Primzahl ist (die weitere Symbolik wird im Artikel Kongruenz beschrieben).

Falls a kein Vielfaches von p ist, kann man das Resultat in die häufig benutzte Form

a^{p-1} \equiv 1 \ \pmod{p}

bringen.

Inhaltsverzeichnis

[Bearbeiten] Beweis

Der Satz kann mit Induktion über a bewiesen werden oder als Spezialfall des Satzes von Lagrange aus der Gruppentheorie aufgefasst werden.

Siehe: Beweise des kleinen fermatschen Satzes im Beweisarchiv

[Bearbeiten] Folgerung durch Euler

Die 3. Binomische Formel besagt:

(a^{(p-1)/2}-1) \cdot (a^{(p-1)/2}+1) = a^{p-1} - 1

Sei nun p eine ungerade Primzahl und a eine beliebige ganze Zahl. Falls p kein Teiler von a ist, folgt aus dem kleinen Fermatschen Satz, dass die rechte Seite der Gleichung ein Vielfaches der Primzahl p ist. Damit ist einer der Faktoren ein Teiler von p.

Es gilt folglich

a^{(p-1)/2}\equiv \pm 1 \ \pmod{p}

Diese Folgerung wird Leonhard Euler zugeschrieben.

[Bearbeiten] Verallgemeinerung

Man kann den kleinen Fermatschen Satz zum Satz von Euler verallgemeinern.

Für zwei teilerfremde Zahlen n und a gilt

a^{\varphi (n)} \equiv 1 \pmod{n},

wobei \varphi(n) die Eulersche φ-Funktion bezeichnet. Diese liefert die Anzahl der Zahlen zwischen 1 und n-1 welche teilerfremd zu n sind. Ist n eine Primzahl, so ist \varphi(n)=n-1, so dass man Fermats kleinen Satz als Spezialfall erhält.

[Bearbeiten] Anwendung als Primzahlentest

Nach dem kleinen Fermatschen Satz gilt für eine ungerade Primzahl p und jedes a mit ggT(p,a) = 1

(a^{(p-1)/2}-1) \cdot (a^{(p-1)/2}+1) = a^{p-1} - 1 = k \cdot p

mit einer ganzen Zahl k. Diese Beziehung kann auch für eine zusammengesetzte Zahl p und eine Zahl a mit 1<a<p zutreffen. Dies ist jedoch zumindest für große Zahlen p extrem selten. Findet man Zahlen a mit dieser Eigenschaft für eine zusammengesetzte Zahl p, kann dies zur Faktorisierung der Zahl p genutzt werden, da die Faktoren auf der linken Seite dann mit einer Wahrscheinlichkeit von 50 % echte Teiler von p liefern.

Für eine Zahl p mit 100 oder mehr Stellen ist eine Primfaktorzerlegung jedoch nur mit effizienteren Verfahren wie dem Quadratischen Sieb möglich. Der Satz kann daher auch in seiner Umkehrung benutzt werden, um mit hoher Sicherheit zu entscheiden, ob eine Zahl eine Primzahl ist. Bei großen Zahlen mit über 100 Stellen ist praktisch nicht daran zu zweifeln, dass p eine Primzahl ist, falls die Gleichung für ein a mit 1<a<p gilt.

Für einen exakten Beweis wäre allerdings die Prüfung aller Werte 1<a<p-1 notwendig, so dass die Probedivision in diesem Fall effizienter ist. Es ist nicht bekannt, dass eine 100-stellige oder größere Zahl auf diese Weise faktorisiert werden konnte.

Für einige spezielle Zahlen können solche Ausnahmen allerdings häufiger gefunden werden.

[Bearbeiten] Shor Algorithmus

Es sei n das Produkt zwei großer Primzahlen p und q. Wir betrachten eine Zahl x mit 1<x<n. Wir wissen, dass für den Exponenten r = \varphi(n) = (p-1) \cdot (q-1)

x^r \equiv 1 \mod n

gilt.

Es stellt sich die Frage, ob diese Gleichung bereits für kleinere Exponenten erfüllt ist. Der Quantenteil des Shor Algorithmus zur Faktorisierung großer Zahlen dient der Berechnung der kleinsten Zahl r, für die diese Gleichung gilt. Der klassische Teil dieses Algorithmus kann leicht auf nahezu jedem Computer ausgeführt werden.

Wenn man die Potenzen einer Zahl bezüglich der Modulo-Operation betrachtet, wiederholen diese sich in Zyklen. Dies ist unvermeidlich, da nur die Werte 1, 2, 3, ..., n-1 angenommen werden können. Wir betrachten dies am Beispiel kleinerer Zahlen.

Wir können uns auf die Betrachtung von Primzahlen beschränken, da sich die minimale Zyklenlänge für das Produkt aus dem kleinsten gemeinsamen Vielfachen der Zyklenlängen für die Faktoren ergibt.

Beispiel: p = 7
n 2n 2nmod 7 3n 3nmod 7 5n 5nmod 7
0 1 1 1 1 1 1
1 2 2 3 3 5 5
2 4 4 9 2 25 4
3 8 1 27 6 125 6
4 16 2 81 4 625 2
5 32 4 243 5 3125 3
6 64 1 729 1 15625 1
7 128 2 2187 3 78125 5

und so weiter. In der Tabelle wurde anmod p aus an berechnet. Um größere Zahlen zu vermeiden, kann man das Ergebnis einfacher aus a \cdot (a^{n-1}\bmod{p}) berechnen.

In diesem Beispiel mit p = 7 ergibt sich für a = 2 folgender Zyklus der Werte anmod p

  • 1, 2, 4, 1, 2, 4, 1, 2, ...

Für a = 3 ergibt sich

  • 1, 3, 2, 6, 4, 5, 1, 3, ...

Für alle drei Basen 2, 3 und 5 gilt zur Zahl 7

a^{(7-1)*c} \equiv 1 \ \pmod{7} für alle c \ge 1

oder allgemein

a^{(p-1)*c} \equiv 1 \ \pmod{p}

für alle c \ge 1 und alle natürlichen a, für die gilt 1 < a < p. Dies ist eine unmittelbare Folge des kleinen Satzes von Fermat.

Am Beispiel der Modulo-Werte für a = 2 sieht man, dass sich der Algorithmus verkürzen lässt, wenn der Zyklus kürzer ist. Da 23mod 7 = 1 ist auch 23 * 2mod 7 = 1, d. h. 27 − 1mod 7 = 1. Für größere Zahlen lässt sich so Arbeit einsparen.

[Bearbeiten] Weitere Vereinfachung

Hat p die Form 2n + 1 ergeben sich weitere Vereinfachungen der Berechnung. Dies wird hier am Beispiel p=17 verdeutlicht.

Beispiel: p = 17
n 1 2 4 8 16 32
2nmod 17 2 4 16 1 1 1
3nmod 17 3 9 13 16 1 1
5nmod 17 5 8 13 16 1 1
7nmod 17 7 15 4 16 1 1
11nmod 17 11 2 4 16 1 1
13nmod 17 13 16 1 1 1 1

Da p-1 = 24 ein Vielfaches der Zyklenlänge ist, kommen für r nur die Zahlen 2, 4, 8 und 16 in Betracht, was den Rechenaufwand vor allem für sehr große p deutlich reduzieren kann. Noch weniger Arbeit macht der Fall

x^r \equiv 16 \equiv -1 \mod 17, --> fuer welche x,r ???

da das Ergebnis dann für die nächste Potenz von 2 schon als 1 feststeht.

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu