##  [Lemma zum Anheben des Exponenten](/de/node/62961) 

 Definition

Ein Lemma (oft LTE abgekürzt), das Formeln für die p-adische Bewertung v_p(a^n − b^n) unter üblichen Teilbarkeitsbedingungen für ganze Zahlen a, b, n und eine Primzahl p liefert, mit Sonderfällen für p = 2 und wenn p a − b oder a + b teilt.

 

 

 

 

 

 





## Prinzip

Prinzip

Das ordnende Prinzip ist, dass die p-adische Bewertung von Differenzen gleich potenter ganzer Zahlen aus einer Basisbewertung von a − b (oder a + b) 'angehoben' werden kann, indem unter geeigneten Hypothesen die Bewertung des Exponenten n hinzuaddiert wird; dies spiegelt die multiplikative Struktur der p-adischen Bewertung wider.

 

 

 

 

 





## Demonstration

Demonstration

Konkretes Beispiel: für p = 3, a = 2, b = 1, n = 3 gilt 2^3 − 1^3 = 7 und v_3(7) = 0; bei a = 4, b = 1, n = 3 ist 4^3 − 1^3 = 63 und v_3(63) = 2, was LTE aus v_3(4 − 1) = 0 und v_3(3) = 1 im anwendbaren Fall berechnet, in dem 3 die Differenz 4 − 1 teilt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Typischer Missbrauch ist die Anwendung von LTE ohne Prüfung der erforderlichen Hypothesen (z. B. wenn gcd(a, b) ≠ 1 oder wenn p = 2 und Paritätsbedingungen abweichen), was zu falschen Bewertungen führt; oder das Übersehen der Spezialformeln für p = 2 bzw. p teilt a + b.

 

 

 

 

 





## Konsequenz

Konsequenz

Richtige Anwendung vereinfacht viele Bewertungsrechnungen in der Zahlentheorie und bei Wettkampfrätseln, indem komplizierte Exponentenunterschiede in handhabbare Summen von Bewertungen überführt werden und oft exakte Vielfachheiten der Primfaktoren liefern.

 

 

 

 

## Umkehrung

Umkehrung

Die Umkehr wäre, Bewertungen naiv nur aus der Exponentengröße oder aus dem binomischen Satz abzuleiten, ohne die Hebungsstruktur zu nutzen; dadurch werden multiplikative Kürzungen übersehen und v_p stark über- oder unterschätzt.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Geltungsbereich: gilt für ganze Zahlen a, b, n und eine Primzahl p unter expliziten Teilbarkeits- und gcd-Bedingungen; Ausnahmen sind Fälle, in denen die Hypothesen scheitern (z. B. p teilt sowohl a als auch b) sowie Spezialregeln für p = 2 und a + b teilbar durch p.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Semantische Spannung besteht bei der Wahl zwischen LTE und alternativen Methoden (Ordnung von a modulo p, binomische Entwicklung, Hensel-Argumente); LTE ist überlegen, wenn seine Hypothesen gelten, aber weniger geeignet außerhalb dieses Bereichs.

 

 

 

 

 





## Synthese

Synthese

LTE fasst präzise Formeln für p-adische Bewertungen von a^n − b^n zu einem kompakten Werkzeug zusammen: Erfüllen die Teilbarkeitsbedingungen, so ist die Bewertung die Summe der Bewertung von a − b und der Bewertung von n (mit Anpassungen in Spezialfällen) und wandelt Exponentenprobleme in additive Bewertungsarithmetik um.