## [Zsigmondy-Satz](/de/node/62963) Definition 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 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 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 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 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 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 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 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 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.