# Primzahl

Eine Primzahl (von lateinisch numerus primus ‚erste Zahl‘) ist eine natürliche Zahl, die genau zwei Teiler hat (und somit größer als 1 ist). Diese zwei Teiler sind 1 und die Zahl selbst. Dabei bedeutet primus speziell „Anfang, das Erste (der Dinge)“, sodass eine „Anfangszahl“ gemeint ist, die aus keiner anderen natürlichen Zahl multiplikativ konstruiert werden kann.
Die Menge der Primzahlen wird in der Regel mit dem Symbol $\mathbb {P}$ bezeichnet. Man weiß durch den Satz des Euklid seit der Antike, dass es unendlich viele Primzahlen gibt. Mit $\mathbb {P}$ verknüpft ist die Folge $\left(p_{n}\right)_{n\in \mathbb {N} }$ der nach ihrer Größe geordneten Primzahlen, die man auch Primzahlfolge nennt.
Die Primzahlen lassen sich unter anderem mit Hilfe der Teileranzahlfunktion $d(n)$ definieren:
    $\mathbb {P} =\{n\in \mathbb {N} \mid d(n)=2\}.$
Es ist demnach
    $\mathbb {P} =\{p_{n}\mid n\in \mathbb {N} \}\subset \mathbb {N}$
mit
    $\left(p_{n}\right)_{n\in \mathbb {N} }=\left(2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97\dotsc \right)$ (Folge A000040 in OEIS).
Die Bedeutung der Primzahlen für viele Bereiche der Mathematik beruht auf drei Folgerungen aus ihrer Definition:
* Existenz und Eindeutigkeit der Primfaktorzerlegung: Jede natürliche Zahl, die größer als 1 und selbst keine Primzahl ist, lässt sich als Produkt von mindestens zwei Primzahlen schreiben. Diese Produktdarstellung ist bis auf die Reihenfolge der Faktoren eindeutig. Zum Beweis dient das
* Lemma von Euklid: Ist ein Produkt zweier natürlicher Zahlen durch eine Primzahl teilbar, so ist mindestens einer der Faktoren durch sie teilbar.
* Primzahlen lassen sich nicht als Produkt zweier natürlicher Zahlen, die beide größer als 1 sind, darstellen.
Diese Eigenschaften werden in der Algebra für Verallgemeinerungen des Primzahlbegriffs genutzt.
Eine Zahl, die das Produkt von zwei oder mehr Primfaktoren ist, nennt man zusammengesetzt. Die Zahl 1 ist weder prim noch zusammengesetzt. Alle anderen natürlichen Zahlen sind eines von beiden, entweder prim (also Primzahl) oder zusammengesetzt.
Schon im antiken Griechenland interessierte man sich für die Primzahlen und entdeckte einige ihrer Eigenschaften. Obwohl Primzahlen seit damals stets einen großen Reiz auf die Menschen ausübten, sind viele die Primzahlen betreffenden Fragen bis heute ungeklärt, darunter solche, die mehr als hundert Jahre alt und leicht verständlich formulierbar sind. Dazu gehören die Goldbachsche Vermutung, wonach außer 2 jede gerade Zahl als Summe zweier Primzahlen darstellbar ist, und die Vermutung, dass es unendlich viele Primzahlzwillinge gibt (das sind Paare von Primzahlen, deren Differenz gleich 2 ist).
Primzahlen und ihre Eigenschaften spielen in der Kryptographie eine große Rolle, weil Primfaktoren auch mit dem Aufkommen elektronischer Rechenmaschinen nicht effizient gefunden werden können. Andererseits ermöglichen diese Maschinen eine effiziente Verschlüsselung sowie, wenn man den Schlüssel kennt, Entschlüsselung auch langer Texte.

## Eigenschaften von Primzahlen

Die Primzahlen sind innerhalb der Menge $\mathbb {N}$ der natürlichen Zahlen dadurch charakterisiert, dass jede von ihnen genau zwei natürliche Zahlen als Teiler hat.
Mit Ausnahme der Zahl 2 sind alle Primzahlen $p$ ungerade, denn alle größeren geraden Zahlen lassen sich außer durch sich selbst und 1 auch noch (mindestens) durch 2 teilen. Damit hat jede Primzahl außer 2 die Form $2k+1$ mit einer natürlichen Zahl $k$.
Jede Primzahl $p\neq 2$ lässt sich einer der beiden Klassen „Primzahl der Form $4k+1$“ oder „Primzahl der Form $4k+3$“ zuordnen, wobei $k$ eine natürliche Zahl ist. Von den ersten $1000$ Primzahlen $p\neq 2$ haben $495$ die Form $4n+1$ und $505$ die Form $4n+3$. Setzt man die Primzahlfolge fort, so nähern sich die Anteile beider Formen dem Wert $0{,}5$.
Jede Primzahl $p\neq 3$ lässt sich zudem einer der beiden Klassen „Primzahl der Form $3k+1$“ oder „Primzahl der Form $3k+2$“ zuordnen, wobei $k$ eine natürliche Zahl ist.
Darüber hinaus hat jede Primzahl $p>3$ die Form $p=6k+1$ oder $p=6k-1$, wobei $k$ eine natürliche Zahl ist. Ferner endet jede Primzahl $p>5$ auf eine der vier Dezimalziffern $1,3,7$ oder $9$. Nach dem Dirichletschen Primzahlsatz gibt es in jeder dieser Klassen unendlich viele Primzahlen.
Jede natürliche Zahl der Form $4m+3$ mit einer nichtnegativen ganzen Zahl $m$ enthält mindestens einen Primfaktor der Form $4k+3$. Eine entsprechende Aussage über Zahlen der Form $4m+1$ oder Primfaktoren der Form $4k+1$ ist nicht möglich.
Eine Primzahl $p>2$ lässt sich genau dann in der Form $a^{2}+b^{2}$ mit ganzen Zahlen $a,b$ schreiben, wenn $p$ die Form $4k+1$ hat (Zwei-Quadrate-Satz). In diesem Fall ist die Darstellung im Wesentlichen eindeutig, d. h. bis auf Reihenfolge und Vorzeichen von $a,b$. Diese Darstellung entspricht der Primfaktorzerlegung
    $p=(a+b\mathrm {i} )(a-b\mathrm {i} )$
im Ring der ganzen Gaußschen Zahlen.
Die Zahl −1 ist quadratischer Rest modulo jeder Primzahl der Form $4k+1$ und quadratischer Nichtrest modulo jeder Primzahl der Form $4k+3$.
Eine Primzahl $p>3$ lässt sich zudem genau dann eindeutig in der Form $a^{2}+3b^{2}$ mit ganzen Zahlen $a,b$ schreiben, wenn $p$ die Form $3k+1$ hat.
Ist eine Zahl $n>1$ durch keine Primzahl $2\leq p\leq {\sqrt {n}}$ teilbar, so ist $n$ eine Primzahl (siehe Abschnitt Primzahltests und Artikel Probedivision).

### Der kleine Satz von Fermat

Es sei $p$ eine Primzahl. Für jede ganze Zahl $a$, die nicht durch $p$ teilbar ist, gilt (für die Notation siehe Kongruenz):
    $a^{p-1}\equiv 1\mod p$
Für nicht durch $p$ teilbare Zahlen $a$ ist die folgende Formulierung äquivalent:
    $a^{p}\equiv a\mod p$
Es gibt Zahlen $n$, die keine Primzahlen sind, sich aber dennoch zu einer Basis $a$ wie Primzahlen verhalten, d. h., es ist $a^{n-1}\equiv 1{\bmod {n}}$. Solche $n$ nennt man Fermatsche Pseudoprimzahlen zur Basis $a$. Ein $n$, das Fermatsche Pseudoprimzahl bezüglich aller zu ihm teilerfremden Basen $a$ ist, nennt man Carmichael-Zahl.
In diesem Zusammenhang zeigt sich die Problematik Fermatscher Pseudoprimzahlen: Sie werden von einem Primzahltest, der den kleinen Satz von Fermat nutzt (Fermatscher Primzahltest), fälschlicherweise für Primzahlen gehalten. Wenn allerdings ein Verschlüsselungsverfahren wie RSA eine zusammengesetzte Zahl statt einer Primzahl verwendet, ist die Verschlüsselung nicht mehr sicher. Deshalb müssen bei solchen Verfahren bessere Primzahltests verwendet werden.

### Euler und das Legendre-Symbol

Eine einfache Folge aus dem kleinen Satz von Fermat ist: Für jede ungerade Primzahl $p$ und jede ganze Zahl $a$, die nicht durch $p$ teilbar ist, gilt entweder
    $a^{\frac {p-1}{2}}\equiv 1\mod p$
oder
    $a^{\frac {p-1}{2}}\equiv -1\mod p.$
Der erste Fall tritt genau dann ein, wenn es eine Quadratzahl gibt, die kongruent zu $a$ modulo $p$ ist, siehe Legendre-Symbol.

### Binomialkoeffizient

Eine Primzahl $p$ ist für jede ganze Zahl $k$ mit $1\leq k\leq (p-1)$ stets ein Teiler des Binomialkoeffizienten ${p \choose k}$. Zusammen mit dem binomischen Satz folgt daraus
    $(a+b)^{p}\equiv a^{p}+b^{p}\mod p.$
Für ganze Zahlen $a,b$ folgt diese Aussage auch direkt aus dem kleinen Fermatschen Satz, aber sie ist beispielsweise auch für Polynome mit ganzzahligen Koeffizienten anwendbar; im allgemeinen Kontext entspricht sie der Tatsache, dass die Abbildung $x\mapsto x^{p}$ in Ringen der Charakteristik $p$ ein Homomorphismus ist, der sogenannte Frobenius-Homomorphismus.
Aus dem Satz von Wilson ($p$ ist genau dann eine Primzahl, wenn $(p-1)!\equiv -1{\pmod {p}}$ ist) folgt, dass für jede Primzahl $p$ und jede natürliche Zahl $n$ die Kongruenz
    ${{np-1} \choose {p-1}}\equiv 1{\pmod {p}}$
erfüllt ist.
Charles Babbage bewies 1819, dass für jede Primzahl $p>2$ diese Kongruenz gilt:
    ${{2p-1} \choose {p-1}}\equiv 1{\pmod {p^{2}}}$
Der Mathematiker Joseph Wolstenholme (1829–1891) bewies dann 1862, dass für jede Primzahl $p>3$ die folgende Kongruenz gilt:
    ${{2p-1} \choose {p-1}}\equiv 1{\pmod {p^{3}}}$

### Giuga

Aus dem kleinen Satz von Fermat folgt, dass für eine Primzahl $p$ gilt:
    $1^{p-1}+2^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1{\pmod {p}}$
Beispiel $p=5$:
    $1^{4}+2^{4}+3^{4}+4^{4}=1+16+81+256=354=71\cdot 5-1\equiv -1{\pmod {5}}$
Giuseppe Giuga vermutete, dass auch die umgekehrte Schlussrichtung gilt, dass also eine Zahl mit dieser Eigenschaft stets prim ist. Es ist nicht geklärt, ob diese Vermutung richtig ist. Bekannt ist aber, dass ein Gegenbeispiel mehr als 10.000 Dezimalstellen haben müsste. Im Zusammenhang mit Giugas Vermutung werden die Giuga-Zahlen untersucht.

### Lineare Rekursionen

Den kleinen Fermatschen Satz kann man auch in der Form lesen: In der Folge $a^{n}-a$ ist für eine Primzahl $p$ das $p$-te Folgenglied stets durch $p$ teilbar. Ähnliche Eigenschaften besitzen auch andere Folgen von exponentiellem Charakter, wie die Lucas-Folge ($p\mid L_{p}-1$) und die Perrin-Folge ($p\mid P_{p}$). Für andere lineare Rekursionen gelten analoge, aber kompliziertere Aussagen, beispielsweise für die Fibonacci-Folge $(f_{n})_{n=0,1,2,\dotsc }=0,1,1,2,3,5\dotsc$: Ist $p$ eine Primzahl, so ist $f_{p}-\left({\frac {p}{5}}\right)$ durch $p$ teilbar. Dabei ist
    $\left({\frac {p}{5}}\right)={\begin{cases}1&p\equiv 1,4\mod 5\\-1&p\equiv 2,3\mod 5\\0&p=5\end{cases}}$
das Legendre-Symbol.

### Divergenz der Summe der Kehrwerte

Die Reihe der Kehrwerte der Primzahlen ist bestimmt divergent. Somit gilt:
    $\sum _{k=1}^{\infty }{\frac {1}{p_{k}}}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+\dotsb =\infty$
Das ist gleichbedeutend mit der Aussage, dass die durch $\textstyle a_{n}=\sum _{k=1}^{n}{\frac {1}{p_{k}}}$ definierte Folge keinen endlichen Grenzwert besitzt, was wiederum bedeutet, dass $a_{n}$ jede reelle Zahl übertreffen kann, indem man $n$ groß genug wählt. Dies ist zunächst einmal verblüffend, da die Primzahllücken im Schnitt immer weiter zunehmen. Der Satz von Mertens trifft eine Aussage über das genaue Wachstumsverhalten dieser divergenten Reihe.

## Primzahlformeln

Es sind verschiedene Primzahlformeln bekannt, von denen einige in der bekannten Monographie The New Book of Prime Number Records von Paulo Ribenboim aus dem Jahre 1996 dargestellt werden. Dazu zählen nicht zuletzt eine Formel von Wacław Sierpiński aus dem Jahre 1952, eine Formel von C. P. Willans aus dem Jahre 1964 und eine Formel von J. M. Gandhi aus dem Jahre 1971.

### Formel von Sierpiński

Die für jede natürliche Zahl $n\geq 1$ gültige Sierpiński’sche Formel geht von der konvergenten Reihe
    $\alpha =\sum _{k=1}^{\infty }\left({\frac {p_{k}}{10^{2^{k}}}}\right)$
aus. Damit erhält man:
    $p_{n}=\lfloor 10^{2^{n}}\cdot \alpha \rfloor -10^{2^{n-1}}\cdot \lfloor 10^{2^{n-1}}\cdot \alpha \rfloor$

### Formel von Willans

Die für natürlichzahliges $n\geq 1$ gültige Formel von Willans zeigt, wie man die Primzahlen aus der Primzahlfunktion zurückgewinnen kann. Es gilt nämlich:
    $p_{n}=1+\sum _{k=1}^{2^{n}}{\lfloor {\lfloor {\frac {n}{1+\pi (k)}}\rfloor }^{\frac {1}{n}}\rfloor }$

### Formel von Gandhi

Die für alle natürlichen Zahlen $n\geq 1$ gültige Gandhi’sche Formel zeigt, wie man die Primzahlen mit Hilfe der Möbiusfunktion $\mu$ und dem natürlichen Logarithmus $\ln$ darstellen kann. Hier gilt nämlich, wenn $P_{n-1}=p_{1}\cdot p_{2}\cdot \cdot \cdot p_{n-1}$ bedeutet:
    $p_{n}=\lfloor {1-{\frac {1}{\ln 2}}\cdot \ln \left(-{\frac {1}{2}}+\sum _{d\mid P_{n-1}}{\frac {\mu (d)}{2^{d}-1}}\right)\rfloor }$

## Primzahltests

Ob eine beliebige natürliche Zahl prim ist, kann mit einem Primzahltest herausgefunden werden. Es gibt mehrere solcher Verfahren, die sich auf besondere Eigenschaften von Primzahlen stützen. In der Praxis wird der Miller-Rabin-Test am häufigsten verwendet, der eine extrem kurze Laufzeit hat, allerdings mit kleiner Wahrscheinlichkeit falsch-positive Ergebnisse liefert. Mit dem AKS-Primzahltest ist es möglich, über die Primalität ohne Gefahr eines Irrtums in polynomieller Laufzeit zu entscheiden. Allerdings ist er in der Praxis deutlich langsamer als der Miller-Rabin-Test.

## Primzahlzertifikat

Herauszufinden, ob eine natürliche Zahl prim ist oder nicht, kann sehr aufwändig sein. Zu jeder Primzahl lässt sich aber eine Kette von Behauptungen angeben, die alle unmittelbar nachvollziehbar sind, zusammen die Primalität belegen und deren Gesamtlänge höchstens proportional ist zum Quadrat der Länge der Primzahl. Ein solcher Beleg wird Zertifikat (englisch primality certificate) genannt.
Bei der Zusammengesetztheit (Nichtprimalität) einer Zahl ist der Unterschied zwischen Beleg und Finden eines Belegs noch augenfälliger: Als Beleg genügen zwei Faktoren, deren Produkt die zusammengesetzte Zahl ergibt; das Finden eines echten Teilers kann aber sehr viel Aufwand bedeuten.

## Größte bekannte Primzahl

Der Grieche Euklid hat im vierten Jahrhundert vor Christus logisch gefolgert, dass es unendlich viele Primzahlen gibt; diese Aussage wird als Satz von Euklid bezeichnet. Euklid führte einen Widerspruchsbeweis für die Richtigkeit dieses Satzes (Elemente, Buch IX, § 20): Ausgehend von der Annahme, dass es nur endlich viele Primzahlen gibt, lässt sich eine weitere Zahl konstruieren, die eine bisher nicht bekannte Primzahl als Teiler hat oder selbst eine Primzahl ist, was einen Widerspruch zur Annahme darstellt. Somit kann eine endliche Menge niemals alle Primzahlen enthalten, also gibt es unendlich viele. Heute kennt man eine ganze Reihe von Beweisen für den Satz von Euklid.
Der Satz von Euklid besagt, dass es keine größte Primzahl gibt. Es ist jedoch kein Verfahren bekannt, das effizient beliebig große Primzahlen generiert – deshalb gab es stets eine jeweils größte bekannte Primzahl, seitdem sich die Menschen mit Primzahlen befassen. Bis Dezember 2018 war es $2^{82.589.933}-1,$ eine Zahl mit 24.862.048 (dezimalen) Stellen, die am 7. Dezember 2018 berechnet wurde. Für den Entdecker Patrick Laroche gab es für den Fund 3.000 US-Dollar vom Projekt Great Internet Mersenne Prime Search, das Mersenne-Primzahlen mittels verteiltem Rechnen sucht. Luke Durant fand am 12. Oktober 2024 eine noch größere Primzahl mit 41.024.320 (dezimalen) Stellen.
Die größte bekannte Primzahl war fast immer eine Mersenne-Primzahl, also von der Form $2^{n}-1,$ da in diesem Spezialfall der Lucas-Lehmer-Test angewendet werden kann, ein im Vergleich zur allgemeinen Situation sehr schneller Primzahltest. Bei der Suche nach großen Primzahlen werden deshalb nur Zahlen dieses oder eines ähnlich geeigneten Typs auf Primalität untersucht.

## Liste der Rekordprimzahlen nach Jahren

| Primzahl (als Ausdruck) | Anzahl der Dezimalziffern | Jahr | Entdecker (genutzter Computer) | Pro- gramm |
| 2$^{17}$ − 1 | 6 | 1588 | Cataldi | manuell |
| 2$^{19}$ − 1 | 6 | 1588 | Cataldi | manuell |
| 2$^{31}$ − 1 | 10 | 1772 | Euler | manuell |
| (2$^{59}$ − 1) / 179.951 | 13 | 1867 | Landry | manuell |
| 2$^{127}$ − 1 | 39 | 1876 | Lucas | manuell |
| (2$^{148}$ + 1) / 17 | 44 | 1951 | Ferrier (manueller Tischrechner) | manuell |
| 180 · (2$^{127}$ − 1)$^2$ + 1 | 79 | 1951 | Miller & Wheeler (EDSAC1) | ? |
| 2$^{521}$ − 1 | 157 | 1952 | Robinson (SWAC) | ? |
| 2$^{607}$ − 1 | 183 | 1952 | Robinson (SWAC) | ? |
| 2$^{1.279}$ − 1 | 386 | 1952 | Robinson (SWAC) | ? |
| 2$^{2.203}$ − 1 | 664 | 1952 | Robinson (SWAC) | ? |
| 2$^{2.281}$ − 1 | 687 | 1952 | Robinson (SWAC) | ? |
| 2$^{3.217}$ − 1 | 969 | 1957 | Riesel (BESK) | ? |
| 2$^{4.423}$ − 1 | 1.332 | 1961 | Hurwitz (IBM7090) | ? |
| 2$^{9.689}$ − 1 | 2.917 | 1963 | Gillies (ILLIAC 2) | ? |
| 2$^{9.941}$ − 1 | 2.993 | 1963 | Gillies (ILLIAC 2) | ? |
| 2$^{11.213}$ − 1 | 3.376 | 1963 | Gillies (ILLIAC 2) | ? |
| 2$^{19.937}$ − 1 | 6.002 | 1971 | Tuckerman (IBM 360/91) | ? |
| 2$^{21.701}$ − 1 | 6.533 | 1978 | Noll & Nickel (CDC Cyber 174) | ? |
| 2$^{23.209}$ − 1 | 6.987 | 1979 | Noll (CDC Cyber 174) | ? |
| 2$^{44.497}$ − 1 | 13.395 | 1979 | Nelson & Slowinski (Cray 1) | ? |
| 2$^{86.243}$ − 1 | 25.962 | 1982 | Slowinski (Cray 1) | ? |
| 2$^{132.049}$ − 1 | 39.751 | 1983 | Slowinski (Cray X-MP) | ? |
| 2$^{216.091}$ − 1 | 65.050 | 1985 | Slowinski (Cray X-MP/24) | ? |
| 391.581 · 2$^{216.193}$ − 1 | 65.087 | 1989 | „Amdahler Sechs“ (Amdahl 1200) | ? |
| 2$^{756.839}$ − 1 | 227.832 | 1992 | Slowinski & Gage (Cray 2) | ? |
| 2$^{859.433}$ − 1 | 258.716 | 1994 | Slowinski & Gage (Cray C90) | ? |
| 2$^{1.257.787}$ − 1 | 378.632 | 1996 | Slowinski & Gage (Cray T94) | ? |
| 2$^{1.398.269}$ − 1 | 420.921 | 1996 | Armengaud, Woltman (Pentium 90 MHz) | GIMPS |
| 2$^{2.976.221}$ − 1 | 895.932 | 1997 | Spence, Woltman (Pentium 100 MHz) | GIMPS |
| 2$^{3.021.377}$ − 1 | 909.526 | 1998 | Clarkson, Woltman, Kurowski (Pentium 200 MHz) | GIMPS |
| 2$^{6.972.593}$ − 1 | 2.098.960 | 1999 | Hajratwala, Woltman, Kurowski (Pentium 350 MHz) | GIMPS |
| 2$^{13.466.917}$ − 1 | 4.053.946 | 2001 | Cameron, Woltman, Kurowski (Athlon 800 MHz) | GIMPS |
| 2$^{20.996.011}$ − 1 | 6.320.430 | 2003 | Shafer (Pentium 4 2 GHz) | GIMPS |
| 2$^{24.036.583}$ − 1 | 7.235.733 | 2004 | Findley (Pentium 4 2,4 GHz) | GIMPS |
| 2$^{25.964.951}$ − 1 | 7.816.230 | 2005 | Nowak (Pentium 4 2,4 GHz) | GIMPS |
| 2$^{30.402.457}$ − 1 | 9.152.052 | 2005 | Cooper, Boone (Pentium 4 3 GHz) | GIMPS |
| 2$^{32.582.657}$ − 1 | 9.808.358 | 2006 | Cooper, Boone (Pentium 4 3 GHz) | GIMPS |
| 2$^{43.112.609}$ − 1 | 12.978.189 | 2008 | Smith, Woltman, Kurowski et al. (Core 2 Duo 2,4 GHz) | GIMPS |
| 2$^{57.885.161}$ − 1 | 17.425.170 | 2013 | Cooper, Woltman, Kurowski et al. (Core 2 Duo E8400 3,0 GHz) | GIMPS |
| 2$^{74.207.281}$ − 1 | 22.338.618 | 2016 | Cooper, Woltman, Kurowski et al. (Intel i7-4790 3,6 GHz) | GIMPS |
| 2$^{77.232.917}$ − 1 | 23.249.425 | 2017 | Jonathan Pace et al. (Intel i5-6600 3,3 GHz) | GIMPS |
| 2$^{82.589.933}$ − 1 | 24.862.048 | 2018 | Patrick Laroche et al. (Intel i5-4590T 2,0 GHz) | GIMPS |
| 2$^{136.279.841}$ − 1 | 41.024.320 | 2024 | Luke Durant (NVIDIA A100 GPU) | GIMPS |

## Verteilung und Wachstum
### Pi-Funktion und Primzahlsatz

Zur Untersuchung der Verteilung der Primzahlen betrachtet man unter anderem die Funktion
    $\pi \colon \mathbb {N} \to \mathbb {N} ,\;n\mapsto \pi (n)$,
die die Anzahl der Primzahlen $\leq n$ angibt und auch Primzahlzählfunktion genannt wird. Zum Beispiel ist
    $\pi (1)=0\ ;\ \pi (10)=4\ ;\ \pi (100)=25\ ;\ \pi (1000)=168;\ \pi (10^{6})=78498$.
Diese Funktion und ihr Wachstumsverhalten bilden einen zentralen Forschungsgegenstand der Analytischen Zahlentheorie, in deren Entwicklung schrittweise immer bessere Näherungsformeln entwickelt wurden.
Der Primzahlsatz besagt, dass
    $\pi (x)\sim {\frac {x}{\ln x}}$
gilt, das heißt, dass der Quotient von linker und rechter Seite für $x\to \infty$ gegen 1 strebt:
    $\lim _{x\to \infty }{\frac {\pi (x)}{\frac {x}{\ln x}}}=1$ (siehe Asymptotische Analyse)
Der Dirichletsche Primzahlsatz dagegen schränkt die Betrachtung auf Restklassen ein: Es sei $m$ eine natürliche Zahl. Ist $a$ eine ganze Zahl, die zu $m$ nicht teilerfremd ist, so kann die arithmetische Folge
    $a,a+m,a+2m,a+3m,\dotsc$
höchstens eine Primzahl enthalten, weil alle Folgenglieder durch den größten gemeinsamen Teiler von $a$ und $m$ teilbar sind. Ist $a$ aber teilerfremd zu $m$, so besagt der Dirichletsche Primzahlsatz, dass die Folge unendlich viele Primzahlen enthält. Beispielsweise gibt es unendlich viele Primzahlen der Form $4k+1$ und unendlich viele der Form $4k+3$ ($k$ durchläuft jeweils die nichtnegativen natürlichen Zahlen).
Diese Aussage kann noch in der folgenden Form präzisiert werden. Es gilt:
    $\lim _{x\to \infty }{\frac {\#\{p\ \mid \ \mathrm {prim} ,\ p\leq x\ \mathrm {und} \ p\equiv a{\pmod {m}}\}}{\#\{p\ \mid \ \mathrm {prim} ,\ p\leq x\}}}={\frac {1}{\varphi (m)}}$
Dabei ist $\varphi (m)$ die Eulersche Phi-Funktion. In diesem Sinne liegen also für ein festes $m$ in den Restklassen $a+m\mathbb {Z}$ mit $\mathrm {ggT} (a,m)=1$ jeweils „gleich viele“ Primzahlen.

### Schranken

Die (bewiesene) Bonsesche Ungleichung garantiert, dass das Quadrat einer Primzahl kleiner ist als das Produkt aller kleineren Primzahlen (ab der fünften Primzahl).
Nach der (unbewiesenen) Andricaschen Vermutung ist die Differenz der Wurzeln der $n$-ten und der $(n+1)$-ten Primzahl kleiner als 1.

### Abschätzungen zu Primzahlen und Folgerungen aus dem Primzahlsatz

Im Folgenden sei die Folge der Primzahlen mit $(p_{n})_{n\in \mathbb {N} }$ bezeichnet.

#### Abschätzungen

Für Indizes $n\in \mathbb {N}$ gelten folgende Abschätzungen:

##### (1a)

    $p_{n}<p_{n+1}<2\cdot p_{n}$

##### (1b)

    ${p_{n+1}}^{2}\leq 2\cdot {p_{n}}^{2}$ für $n\geq 5$

##### (1c)

    $p_{n}<2^{n}$ für $n\geq 2$

##### (1d)

    $p_{n}>n\cdot \ln(n)$

##### (1e)

    $\sum _{k=2}^{n}{\frac {1}{p_{k}}}>{\frac {1}{36}}\cdot {\ln {\ln(n+1)}}$ für $n\geq 2$

#### Folgerungen aus dem Primzahlsatz

Mit dem Primzahlsatz ergeben sich folgende Resultate:

##### (2a)

    $\lim _{n\rightarrow \infty }{\frac {p_{n+1}}{p_{n}}}=1$

##### (2b)

    ${\frac {n}{\ln(n)-{\frac {1}{2}}}}<\pi (n)<{\frac {n}{\ln(n)-{\frac {3}{2}}}}$ für $n\geq 67$

##### (2c)

Für jede positive reelle Zahl $x$ existiert eine Folge $(q_{n})_{n\in \mathbb {N} }$ von Primzahlen mit
    $\lim _{n\rightarrow \infty }{\frac {q_{n}}{n}}=x$.

##### (2d)

Die Menge der aus allen Primzahlen gebildeten Quotienten ist eine dichte Teilmenge der Menge aller positiven reellen Zahlen. D. h.: Für beliebige positive reelle Zahlen $a,b$ mit $0<a<b$ existieren stets Primzahlen $p,q$, sodass
    $a<{\frac {p}{q}}<b$
erfüllt ist.

### Primzahllücken

Die Differenz zwischen zwei benachbarten Primzahlen heißt Primzahllücke. Diese Differenz schwankt, und es gibt Primzahllücken beliebiger Größe. Es gibt aber auch Beschränkungen für die Lückengröße in Abhängigkeit von ihrer Lage.

### Weitere Aussagen über Primzahl-Verteilungen

* Der Satz von Bertrand sichert die Existenz einer Primzahl zwischen jeder natürlichen Zahl $n$ und ihrem Doppelten $2n$.
* Nach der (unbewiesenen) Legendreschen Vermutung gibt es stets mindestens eine Primzahl zwischen $n^{2}$ und $(n+1)^{2}$.
Die Legendresche Vermutung stellt eine notwendige Bedingung für die nachfolgende (ebenfalls unbewiesene) Vermutung dar:
* Gegeben sei eine Primzahl $p$. Die natürlichen Zahlen $1$ bis $p^{2}$ seien zeilenweise aufsteigend quadratisch angeordnet wie in der Abbildung für die ersten fünf Primzahlen $p=2;3;5;7$ und $11$ dargestellt.
    Dann gibt es zu jeder solchen quadratischen Anordnung eine Auswahl von $p$ Primzahlen, so dass sich in jeder Zeile und jeder Spalte genau eine Primzahl befindet.
    Daraus, dass sich in der letzten Zeile einer jeden quadratischen Anordnung mindestens eine Primzahl befinden muss, lässt sich die Legendresche Vermutung folgern.

## Generierung von Primzahlen

Einer der ältesten Algorithmen zur Bestimmung von Primzahlen ist das Sieb des Eratosthenes. Bis heute ist kein effizienter Primzahlgenerator bekannt. Es gibt allerdings Formeln, bei denen eine gewisse Wahrscheinlichkeit besteht, dass die erzeugten Zahlen prim sind. Solche Zahlen müssen nachträglich noch auf ihre Primalität getestet werden.

## Primzahlen mit identischen Ziffern 1

Seit Beginn des 20. Jahrhunderts beschäftigten sich Experten mit der Frage, unter welchen Bedingungen Zahlen, deren Ziffern ausschließlich Einsen sind (sog. Repunit-Zahlen), Primzahlen sind.
1907 verfasste Henry Ernest Dudeney sein erstes Rätselbuch mit dem Titel The Canterbury Puzzles, in dem er behauptete, dass 11 die einzige Repunit-Primzahl sei. Er konnte zwar nachweisen, dass alle aus 3 bis 18 Ziffern bestehende Repunit-Zahlen keine Primzahlen sind, jedoch gelang ihm dies nicht für Repunit-Zahlen mit mehr als 18 Ziffern.
Nach der Lektüre von Dudeneys Buch bewies 1918 der New Yorker Oscar Hope, dass die 19-stellige Zahl 1.111.111.111.111.111.111 eine Primzahl ist. Später wurde auch die 23-stellige Repunit-Zahl als Primzahl nachgewiesen. Bis 1970 wurden bis zu 373-stellige Repunit-Zahlen untersucht, ohne jedoch eine vierte solche Primzahl zu finden.
Das Problem, ob es mehr als drei oder sogar unendlich viele Repunit-Primzahlen gibt, ist bis heute nicht gelöst.
Weitere spezielle Arten von Primzahlen finden sich in der Kategorie:Primzahl.

## Verallgemeinerung

In der Ringtheorie wird das Konzept der Primzahl auf gewisse Elemente eines beliebigen kommutativen unitären Rings verallgemeinert. Die entsprechenden Begriffe sind Primelement und irreduzibles Element.
Die Primzahlen und deren Negative sind dann genau die Primelemente und auch genau die irreduziblen Elemente des Rings der ganzen Zahlen. In faktoriellen Ringen, das sind Ringe mit eindeutiger Primfaktorisierung, fallen die Begriffe Primelement und irreduzibles Element zusammen; im Allgemeinen ist die Menge der Primelemente jedoch nur eine Teilmenge der Menge der irreduziblen Elemente.
Insbesondere im zahlentheoretisch bedeutsamen Fall der Dedekindringe übernehmen Primideale die Rolle der Primzahlen.

## Primfaktorzerlegung

Es gilt der Fundamentalsatz der Arithmetik: Jede ganze Zahl größer als 1 lässt sich als Produkt von Primzahlen darstellen, und diese Darstellung ist bis auf die Reihenfolge der Faktoren eindeutig. Man nennt sie die Primfaktoren der Zahl.
Weil sich jede natürliche Zahl größer als 0 durch Multiplikation von Primzahlen darstellen lässt, nehmen die Primzahlen eine besondere atomare Stellung in der Mathematik ein, sie „erzeugen“ gewissermaßen alle anderen natürlichen Zahlen – die Eins als leeres Produkt. Alexander K. Dewdney bezeichnete sie als den Elementen der Chemie weitgehend ähnlich.
Daraus wird auch klar, warum es unzweckmäßig ist, die Eins als Primzahl zu definieren: Sie ist das neutrale Element der Multiplikation und kann somit multiplikativ keine weiteren Zahlen erzeugen. Sie wird für die Darstellung der Zahlen als Produkt von Primfaktoren nicht benötigt. Würde man die 1 zu den Primzahlen zählen, verlöre sich darüber hinaus die Eindeutigkeit der Primfaktorzerlegung, weil man an jede Zerlegung beliebig viele Einsen anhängen kann, ohne den Wert der Zahl zu ändern.
Man hat eine Reihe von Faktorisierungsverfahren entwickelt, um die Primfaktoren von allgemeinen Zahlen oder auch solchen von spezieller Form möglichst schnell zu bestimmen. Man kennt aber bisher keine Methode, um beliebige Zahlen effizient zu faktorisieren, d. h. in einer Zeit, die höchstens polynomiell mit der Länge der gegebenen Zahl wächst. Die Faktorisierungsannahme besagt, dass es eine solche Methode auch nicht gibt.

## Anwendung und Auftreten von Primzahlen
### Primzahlen in der Natur

Manche Tier- und Pflanzenarten (z. B. bestimmte Zikaden oder Fichten) vermehren sich in Zyklen von Primzahlen (etwa alle 11, 13 oder 17 Jahre) besonders stark, um es Fressfeinden zu erschweren, sich auf das massenhafte Auftreten einzustellen.

### Primzahlen in der Informatik

Bei der Informationssicherheit und insbesondere bei der Verschlüsselung von Nachrichten (siehe Kryptographie) spielen Primzahlen eine wichtige Rolle. Sie werden oft in asymmetrischen Kryptosystemen wie etwa Public-Key-Verschlüsselungsverfahren eingesetzt. Wichtige Beispiele sind der Diffie-Hellman-Schlüsselaustausch, das RSA-Kryptosystem, das unter anderem bei OpenPGP zum Einsatz kommt, das Elgamal-Kryptosystem und das Rabin-Kryptosystem. Dabei werden die Schlüssel aus großen, zufällig erzeugten Primzahlen berechnet, die geheim bleiben müssen.
Solche Algorithmen basieren auf Einwegfunktionen, die schnell ausführbar sind, deren Umkehrung aber mit der aktuell bekannten Technologie praktisch unmöglich zu berechnen ist. Neue Informationstechnologien, zum Beispiel Quantencomputer, könnten das aber ändern. Das ungelöste P-NP-Problem steht damit in Zusammenhang.

## Warum 1 keine Primzahl ist

Seit hunderten von Jahren diskutieren Mathematiker, ob die Zahl 1 als Primzahl anzusehen ist. Bei dieser Frage handelt es sich nicht um eine mathematische Aussage oder Feststellung, sondern um eine Definition. Definitionen werden intuitiv und/oder pragmatisch begründet; sie sind subjektiv, können aber hinsichtlich ihrer Nützlichkeit durchaus objektiv bewertet werden. Eine gute Definition ist an sich leicht und intuitiv verständlich (d. h. naheliegend) und macht auch die Formulierung von Theoremen leicht und intuitiv verständlich (d. h., sie ist nützlich).
Die Frage, ob 1 eine Primzahl ist, hängt also davon ab, was wir unter dem Begriff Primzahl intuitiv verstehen wollen und wie nützlich die Definition des Begriffs dann für die Formulierung von Theoremen ist.
Der bedeutende Mathematiker Godfrey Harold Hardy bezeichnete zum Beispiel noch im Jahr 1908 die Zahl 1 als Primzahl, aber spätestens im Jahr 1929 nicht mehr. Generell gilt seit dem 20. Jahrhundert unter den meisten Mathematikern die Übereinkunft, die Zahl 1 nicht zu den Primzahlen zu zählen.
Das Argument dafür, dass 1 in der Tat eine Primzahl sein sollte, ist:
* Gemäß der Definition „Primzahlen sind nur durch sich selbst und 1 teilbar“ hat jede Primzahl höchstens zwei Teiler. Konkret einen einzigen Teiler für den Fall, dass die Zahl 1 ist, und zwei verschiedene Teiler für den Fall, dass es sich um eine andere Primzahl handelt.
Argumente dafür, dass 1 keine Primzahl sein sollte, sind:
* Jede Primzahl hat genau zwei Teiler (die Zahl 1 und sich selbst), wobei genau zwei konkret bedeutet, dass die Teiler unterschiedlich sind. Hieran erkennt man, dass das obige Dafür-Argument vielmehr eine unsaubere Wiedergabe dieser Idee entspricht.
* Ein Satz in der Mathematik ist die Eindeutigkeit der Primfaktorzerlegung. Wäre $n=1$ eine Primzahl, so hätte zum Beispiel die zusammengesetzte Zahl $x=6$ viele verschiedene Primfaktorzerlegungen, zum Beispiel $x=6=2\cdot 3=1\cdot 2\cdot 3=1^{2}\cdot 2\cdot 3=\ldots =1^{657}\cdot 2\cdot 3=\ldots$.
    Damit hätte jede Zahl unendlich viele verschiedene Primfaktorzerlegungen und man müsste die Voraussetzungen für diesen Satz anders formulieren, damit die Eindeutigkeit wieder gegeben ist. Die Vieldeutigkeit ergibt sich speziell in diesem Zusammenhang daraus, dass die Zahl 1 das neutrale Element der Multiplikation ist, wodurch ihre Nutzung deswegen hierbei unsinnig wird.
* Das Produkt von zwei Primzahlen ist stets eine zusammengesetzte Zahl, also eine Zahl, die aus mindestens zwei Primfaktoren besteht. Wäre 1 eine Primzahl, könnte man sie zum Beispiel mit einer Primzahl multiplizieren und würde als Produkt wieder eine Primzahl und keine zusammengesetzte Zahl erhalten. Man müsste also die Definition der zusammengesetzten Zahl wesentlich umständlicher fassen.
* Das Sieb des Eratosthenes braucht eine Sonderbehandlung für 1, da man andernfalls als ersten Schritt alle Vielfachen von 1 streichen würde, womit keine einzige andere Zahl mehr übrig bleiben würde außer der 1.
* Für alle Primzahlen $p$ ist die Eulersche Phi-Funktion $\varphi (p)=p-1$. Für $n=1$ gilt aber $\varphi (1)=1\neq 1-1=0$. Der Satz müsste also umformuliert werden und 1 zur Ausnahme machen.
* Für alle Primzahlen $p$ gilt für die Teilerfunktion $\sigma _{0}(p)=2$. Für $n=1$ ist aber $\sigma _{0}(1)=1\neq 2$. Es gilt auch $\sigma _{1}(p)=p+1$. Für $n=1$ ist aber $\sigma _{1}(1)=1\neq 1+1=2$. Es wäre also die Zahl 1 auch für diese Funktion(en) eine große Ausnahme.
* Die Definition von Primelementen müsste man umformulieren, wenn 1 eine Primzahl wäre. Die neue Definition wäre komplizierter.
* Es gibt zu jeder Primpotenz einen endlichen Körper, der genau so viele Elemente hat. Wäre 1 eine Primzahl, dann müsste gemäß dieser Aussage der Nullring als Körper aufgefasst werden.
* Die vielfältigen Besonderheiten, die dem Nullring zu eigen sind (z. B. dass er keine echte algebraische Erweiterung zulässt), sind leichter zu würdigen, indem man ihm die Sonderrolle unter den Ringen, die er wirklich einnimmt, auch zuspricht, den Begriff des „Nullkörpers“ nicht bildet und von einem Körper fordert, dass er mindestens zwei Elemente hat, m. a. W., dass sich die neutralen Elemente der beiden Ringoperationen Addition und Multiplikation unterscheiden.
Die Beispiele zeigen, dass man auf jeden Fall für die (so definierten) Primzahlen und die 1 verschiedene Begriffe braucht, und nun – warum soll man nicht diese Primzahlen unter dem Begriff „Primzahl“ verstehen und für die 1 einen anderen Begriff, nämlich den der „Einheit“ einführen, um nachher die Zahlenmenge auch besser erweitern zu können, bspw. auf die der ganzen Zahlen, wo sich eine weitere Zahl als Einheit herausstellt, nämlich die −1?