Satz von Green-Tao

Der Satz von Green-Tao ist ein Resultat aus der Zahlentheorie, das die Existenz beliebig langer arithmetischer Folgen in der Menge der Primzahlen begründet.

Das Theorem wurde 2004 von Ben Green und Terence Tao bewiesen.

Aussage

1. Zu jeder Länge $k\in \mathbb {N}$ gibt es unendlich viele arithmetische Primzahlenfolgen.
2. Sei $\pi (N):=\#\{p\in \mathbb {P} \mid p\leq N\}$ die Zählfunktion der Primzahlen nicht größer als $N$, in anderer Schreibweise $\pi (N)={\big |}\mathbb {P} \cap [1,N]{\big |}$. Falls $A$ eine Teilmenge der Primzahlen ist, so dass

$\limsup _{N\to \infty }{\frac {{\big |}A\cap [1,N]{\big |}}{\pi (N)}}>0$,

dann existieren in $A$ für jedes $k\in \mathbb {N}$ unendlich viele arithmetische Folgen (positiver Differenz $d$) von Primzahlen der Länge $k$.

Erläuterungen

Erster Teil

Seien $k=3$ und $0\leq n\leq 2$, dann sind $a_{n}:=3+4n$ und $b_{n}:=3+2n$ arithmetische Primzahlenfolgen, welche die Primzahlfolgen $(3,7,11)$ mit der Differenz $d=4$ bzw. $(3,5,7)$ mit der Differenz $d=2$ produzieren.

Allgemein ist eine solche Folge von der Form $(a,a+d,a+2d,\dotsc ,a+(k-1)d)$, wobei $a$ ein primer Initialwert ist, $d>0$ die Distanz zur nächsten Primzahl und $k>0$ die Anzahl der Folgenglieder.

Die bisher (Stand 2021) längste arithmetische Primzahlfolge $\operatorname {AP27}$ hat 27 Glieder und wurde 2019 von Rob Gahan und PrimeGrid gefunden ($23\#$ ist das Primorial von 23 = 223 092 870):

$a_{n}=224\;\!584\;\!605\;\!939\;\!537\;\!911+81\;\!292\;\!139\cdot 23\#\cdot n$  mit  $n=0,\dotsc ,26$

bzw.

$a_{n}=224\;\!584\;\!605\;\!939\;\!537\;\!911+81\;\!292\;\!139\cdot 223\;\!092\;\!870\cdot n$.

Zweiter Teil

Sei $A=\mathbb {P}$ die Menge der Primzahlen.

Für $k=1$ erhält man trivialerweise die unendliche Menge aller Folgen $(p)$ der Länge $1$ mit primem $p$, weil der Limes superior des konstanten Quotienten offenbar gleich $1>0$ ist.

Für $k=2$ erhält man die unendliche Menge aller Folgen $(p,q)$ der Länge $2$ mit ungleichen Primzahlen $p$ und $q$, zum Beispiel sind $(2,3)$ und $(5,13)$ zwei solche Folgen der Differenz $1$ bzw. $8$. Diese Distanz kann also in zwei Folgen auch unterschiedlich sein (sonst hätte man für $d=2$ die Primzahlzwillings-Vermutung von Alphonse de Polignac, die aber unbewiesen ist).

Für $k=3$ erhält man alle Folgen mit drei Gliedern, diese Aussage wurde 1939 von Johannes van der Corput gezeigt.

Für $k\geq 4$ war es bis zum Beweis des Satzes von Green-Tao unbekannt.

Siehe auch

• Satz von Szemerédi