Der Satz, der besagt, dass für jede arithmetische Progression a, a+d, a+2d, ... mit ganzen Zahlen a und d und gcd(a,d)=1 unendlich viele Primzahlen in dieser Progression liegen.

Prinzip

Die Teilerfremdheit von Anfangsglied und Modul stellt sicher, dass nichttriviale multiplikative Charaktere modulo d existieren und die zugehörigen L-Reihen am Punkt s=1 nicht verschwinden, wodurch nichtverschwindende analytische Beiträge entstehen, die unendlich viele Primzahlen in jeder zur d-koprimen Restklasse garantieren.

Demonstration

Konkretes Beispiel: Es gibt unendlich viele Primzahlen ≡ 1 (mod 4) und unendlich viele ≡ 3 (mod 4); Dirichlets Satz garantiert dies durch Anwendung von Charakteren modulo 4 und Untersuchung der entsprechenden L-Reihen, die das Divergieren partieller Summen der Kehrwerte der Primzahlen in der Progression zeigen.

Fehlanwendung

Davon auszugehen, dass der Satz effektive Zählungen für Primzahlen in kleinen Bereichen oder eine Gleichmäßigkeit ohne Fehlerterme liefert; Dirichlet garantiert die Unendlichkeit, liefert aber ohne stärkere Resultate keine präzisen Asymptotiken oder Verteilungen in kurzen Intervallen.

Konsequenz

Legt fest, dass Primzahlen über zu d-koprime Restklassen verteilt sind, bildet die Grundlage für große Teile der analytischen und algebraischen Zahlentheorie (einschließlich Klassenkörpertheorie und verallgemeinerter Aussagen über Primverteilung) und liefert einen Ausgangspunkt für effektive und dichte Verfeinerungen.

Umkehrung

Ist gcd(a,d)>1, so enthält die Progression höchstens einen triviale Primzahl gleich dem gemeinsamen Teiler; ohne Koprimalität versagt die Schlussfolgerung des Satzes und die umgekehrte Situation ist trivial oder leer an Primzahlen.

Abgrenzung

Gilt für arithmetische Progressionen ganzer Zahlen mit Modul d≥1 und setzt gcd(a,d)=1 voraus; es bezieht sich auf gewöhnliche Primzahlen in Z und behandelt nicht unmittelbar Primzahlen in Zahlkörpern, Primzahlen spezieller Formen ohne Koprimalität oder effektive Fehlerabschätzungen ohne zusätzliche Theoreme.

Semantische Spannung

Dirichlets Satz garantiert Unendlichkeit, unterscheidet sich aber von Dichtheitsaussagen wie dem Primzahlsatz für Progressionen oder stärkeren Verteilungsaussagen wie Chebotarev; Verwechslungen treten auf, wenn Unendlichkeit mit quantitativer Gleichverteilung verwechselt wird.

Synthese

Dirichlets Satz zeigt, dass zu d-koprime Restklassen unendlich viele Primzahlen enthalten: anhand analytischer Eigenschaften der L-Reihen zu Charakteren modulo d folgt, dass jede arithmetische Progression mit erstem Glied teilerfremd zum Modul unendlich viele Primzahlen beinhaltet und damit eine fundamentale Regelmäßigkeit in der Primverteilung etabliert.