Der Satz, dass jede arithmetische Folge a, a+d, a+2d, ... mit gcd(a,d)=1 unendlich viele Primzahlen enthält; er garantiert mindestens eine Primzahl in unendlich vielen Positionen der Folge, wenn Anfangsterm und Modulus teilerfremd sind.

Prinzip

Das ordnende Prinzip ist, dass nichttriviale Dirichlet-Charaktere und ihre L-Reihen Restklassen modulo d unterscheiden, und die Nichtverschwindung der L-Reihen bei s=1 für den Hauptcharakter zwingt unendlich viele Primzahlen in jede reduzierte Restklasse modulo d.

Demonstration

Beispiel: für das Modulus d=4 und die Restklasse a=3 (gcd(3,4)=1) besagt Dirichlets Satz, dass es unendlich viele Primzahlen gibt, die kongruent zu 3 modulo 4 sind; kleine Beispiele sind 3, 7, 11, 19, ... und der Satz sichert zu, dass die Liste nie endet, liefert jedoch keine elementare Formel für deren Verteilung.

Fehlanwendung

Anzunehmen, der Satz gelte wenn gcd(a,d)>1 (wodurch die Folge möglicherweise keine weiteren Primzahlen enthält) oder zu erwarten, eine explizite Schranke für die Lage des nächsten Primzahlgliedes in der Folge zu erhalten, sind Fehlanwendungen; der Satz ist nicht konstruktiv bezüglich exakter Lücken.

Konsequenz

Korrekte Anwendung stellt sicher, dass Primzahlen über reduzierte Restklassen modulo d verteilt sind, und bildet die Grundlage für weiterführende Resultate über Äquidistribution, analytische Techniken in der Zahlentheorie sowie Konstruktionen in der algebraischen Zahlentheorie und Kryptographie, die auf Primzahlen mit vorgeschriebenen Kongruenzeigenschaften bauen.

Umkehrung

Die Umkehr ist der Fall gcd(a,d)>1: die Folge a + kd teilt dann einen gemeinsamen Faktor und enthält typischerweise höchstens eine Primzahl (oft nur, wenn der gemeinsame Faktor selbst prim ist); das Umkehren der Teilerfremdheitsbedingung zerstört die Schlussfolgerung des Satzes.

Abgrenzung

Geltungsbereich: erfordert gcd(a,d)=1 und betrifft unendlich viele Primzahlen, sagt aber wenig über Dichte oder effektive Schranken; stärkere quantitative Aussagen (z. B. Äquidistribution und Fehlerterme) benötigen tiefere analytische Ergebnisse. Der Satz gilt für arithmetische Folgen ganzer Zahlen, nicht für beliebige Folgen oder Moduli mit zusätzlicher algebraischer Struktur ohne Verallgemeinerung.

Semantische Spannung

Spannung besteht zwischen der existenziellen Garantie der Unendlichkeit und praktischen Anforderungen an Dichte oder effektive Schranken; ein naher Bedeutungsbereich ist die Verallgemeinerung auf Primzahlen in Folgen innerhalb von Zahlkörpern, die andere Hypothesen und Werkzeuge verlangt.

Synthese

Dirichlets Satz behauptet die Unendlichkeit der Primzahlen in jeder arithmetischen Folge mit teilerfremdem Anfangsterm und Differenz durch Verwendung von Charakteren und der Nichtverschwindung von L-Reihen, womit Primzahlen über Restklassen verteilt und ein Grundpfeiler der analytischen Zahlentheorie geschaffen werden.