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

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

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

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

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

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

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 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

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.