Satz aus der Zahlentheorie, der besagt, dass für ganze Zahlen a>b>0 mit gcd(a,b)=1 und ganzes n>1 die Zahl a^n−b^n einen primitiven Primteiler besitzt (einen Primteiler, der a^n−b^n teilt, aber kein a^k−b^k für 1≤k

Prinzip

Primitive Primteiler treten typischerweise in der Folge a^n−b^n auf, wenn n wächst; der Satz ordnet, wann ein solcher neuer Primteiler existieren muss, und isoliert die strukturellen Ausnahmesituationen.

Demonstration

Beispiel: für a=3, b=1 und n=3 ist 3^3−1=26 und 13 ist ein primitiver Primteiler, weil 13 26 teilt, aber weder 3^1−1=2 noch 3^2−1=8 teilt.

Fehlanwendung

Zu behaupten, es gebe stets einen primitiven Primteiler für n=1 oder die expliziten Ausnahmen zu übersehen (z. B. die Aussage für (a,b,n)=(2,1,3) ohne Prüfung der Ausnahme) oder den Satz bei gcd(a,b)≠1 ohne Anpassung anzuwenden.

Konsequenz

Man erhält Kontrolle über die multiplikative Ordnung von a modulo Primteiler von a^n−b^n, nützlich für Aussagen über Ordnungen, cyclotomische Faktoren und Finitheitsargumente in diophantischen Problemen.

Umkehrung

Fehlt ein primitiver Primteiler für ein gegebenes Tripel (a,b,n), so gehören die Zahlen zu einer der im Satz beschriebenen Ausnahmeformen, was auf spezielle algebraische Beziehungen zwischen a und b oder auf ein kleines n hindeutet.

Abgrenzung

Der Satz gilt für ganze Basen a>b>0 mit gcd(a,b)=1 und ganzen Exponent n>1; er gilt nicht direkt für beliebige Polynome in n, für nicht teilerfremde Basen ohne Modifikation oder für Folgen außer a^n−b^n.

Semantische Spannung

Der Begriff „primitiver Primteiler“ kann mit „primitiver Wurzel“ oder mit Primteilerbegriffen aus der cyclotomischen Theorie verwechselt werden; der Satz stellt klar, dass die relevanten Primteiler diejenigen sind, die erstmals im n-ten Glied auftreten.

Synthese

Der Zsigmondy-Satz formt die Erwartung, dass jedes hinreichend große Glied a^n−b^n einen neuen Primfaktor einführt, und beschreibt genau die Ausnahmen, wodurch er ein strukturelles Werkzeug für multiplikative und diophantische Analysen liefert.