Glatte Zahl

Untersuchen wir zum Beispiel die Zahl 720 (Primfaktorzerlegung: 720 = 2⁴ · 3² · 5):

• sie ist 5-glatt, 6-glatt …
• nicht jedoch 3-glatt oder 4-glatt (wegen der 5 als Primfaktor, da 5 größer ist als 3 und 4)
• sie ist ferner 16-potenzglatt, 17-potenzglatt …,
• nicht jedoch 15-potenzglatt (da in der Primfaktorzerlegung die 2 in der 4. Potenz (= 16) auftritt, womit die Schranke 15 überschritten wird)

Betrachten wir im Folgenden die Zahl 8 als Schranke.

8-glatt

• sind z. B. 3, 4, 5, 12, 14 oder 120
• nicht jedoch 11 oder 26

8-potenzglatt

• sind z. B. 3, 4, 5, 12, 56 oder 840 (=2³ · 3 · 5· 7)
• nicht jedoch 9 (= 3²) oder 16 (= 2⁴)

Hinweise:

• Wenn ${\displaystyle p}$  eine Primzahl, ${\displaystyle p_{2}}$  die nächstgrößere Primzahl und ${\displaystyle p\leq n<p_{2}}$  ist, ist die Menge der ${\displaystyle n}$ -glatten Zahlen gleich der Menge der ${\displaystyle p}$ -glatten Zahlen.
• 2-glatte Zahlen entsprechen den Zweierpotenzen.
• Als "1-glatt" kann formal die Zahl 1 gelten.

Für jede natürliche Zahl gibt es eine eindeutige Primfaktorzerlegung. Das heißt, zu jedem ${\displaystyle a\in \mathbb {N} }$  existiert ${\displaystyle n\in \mathbb {N} }$  und Primzahlen ${\displaystyle q_{1},\dots ,q_{n}\in \mathbb {P} }$ , sowie Vielfachheiten ${\displaystyle a_{1},\dots ,a_{n}\in \mathbb {N} }$  so, dass gilt

${\displaystyle a=\prod _{i=1}^{n}q_{i}^{a_{i}}}$ 

Nun definieren wir

${\displaystyle g(a):=\max\{q_{i};i=1,\dots ,n\}}$ 

${\displaystyle z(a):=\max\{q_{i}^{a_{i}};i=1,\dots ,n\}}$ 

Für jedes ${\displaystyle g\geq g(a)}$  und ${\displaystyle z\geq z(a)}$  ist die Zahl ${\displaystyle a}$  ${\displaystyle g}$ -glatt und ${\displaystyle z}$ -potenzglatt, für alle ${\displaystyle g<g(a)}$  und ${\displaystyle z<z(a)}$  ist die Zahl ${\displaystyle a}$  weder ${\displaystyle g}$ -glatt noch ${\displaystyle z}$ -potenzglatt.

7-glatte (oder 7er glatte) Zahlen sind solche, die ausschließlich aus Potenzen der Primfaktoren 2, 3, 5 und 7 bestehen, zum Beispiel 1372 = 2² · 7³.

Ein häufig synonym gebrauchter Begriff ist hochzusammengesetzte Zahlen, wobei 7-glatte Zahlen sich vom tatsächlichen mathematischen Konzept der Hochzusammengesetzten Zahl unterscheiden, das alle Primfaktoren zulässt und weitere Bedingungen an diese stellt.

Da die Primzahlen 2, 3, 5 und 7 in den auf leichte Teilbarkeit hin orientierten, vormetrischen, alten Maßen und Gewichten auftreten (z. B. 1 Nürnberger Apothekergran = 19600 Nürnberger Grän = 980 Nürnberger Skrupel = 3 Karlspfund), spielt diese Folge auch in der Forschung zur historischen Metrologie eine Rolle (siehe dazu Nippur-Elle, Karlspfund, Apothekergewicht).

Die Zahlenfolge der 7-glatten Zahlen: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 24, 25, 27, 28, 30, 32, 35, 36, 40, 42 … findet sich unter Folge A002473 in OEIS mit der Benennung „hochzusammengesetzte Zahlen (2)“ (Highly composite numbers (2): numbers whose prime divisors are all <= 7.)

Das Quadratische Sieb, ein Faktorisierungsverfahren, beruht auf der Primfaktorzerlegung quadratischer Reste. Diese Zerlegung kann für glatte Zahlen leicht durchgeführt werden. Dabei ist es auch von Interesse, für viele Zahlen auf einmal ihren größten glatten Teiler zu ermitteln (und eventuell deren Restfaktoren weiter zu analysieren).
Daniel Bernstein entwickelte hierzu ein effizientes Verfahren^[1], das für eine Menge von unzerlegten natürlichen Zahlen mittels gruppenweiser Multiplikationen und sparsamster Organisation jeden glatten Primfaktor jeder einzelnen Zahl ermittelt, ohne Testdivisionen mit den in Frage kommenden Primzahlen durchzuführen. Das Verfahren nutzt lediglich bekannte schnelle Algorithmen für Multiplikation, Division ohne Rest und Berechnung des größten gemeinsamen Teilers zweier natürlicher Zahlen.

Für jede Schranke ${\displaystyle S}$  bilden die entsprechenden ${\displaystyle S}$ -glatten Zahlen eine Folge. Unter der On-Line Encyclopedia of Integer Sequences (OEIS) stehen diese Folgen für kleine Schranken zur Verfügung:

• 02-glatte Zahlen: Folge A000079 in OEIS – alle Zweierpotenzen ${\displaystyle 2^{x}}$ 
• 03-glatte Zahlen: Folge A003586 in OEIS – Zahlen der Form ${\displaystyle 2^{x}\cdot 3^{y}}$ 
• 05-glatte Zahlen: Folge A051037 in OEIS – Zahlen der Form ${\displaystyle 2^{x}\cdot 3^{y}\cdot 5^{z}}$ 
• 07-glatte Zahlen: Folge A002473 in OEIS – …
• 11-glatte Zahlen: Folge A51038 in OEIS
• 13-glatte Zahlen: Folge A80197 in OEIS
• 17-glatte Zahlen: Folge A80681 in OEIS
• 19-glatte Zahlen: Folge A80682 in OEIS
• 23-glatte Zahlen: Folge A80683 in OEIS

• Carl Pomerance: The role of smooth numbers in number theoretic algorithms. (PDF; 8,3 MB) Proc. Int. Congr. Mathematicians, Zurich 1994, Birkhauser Verlag, Basel, 1995, S. 411–422
• Andrew Granville: Smooth numbers: computational number theory and beyond. (PDF; 403 kB) In: Algorithmic Number Theory. MSRI Publications 44 (2008) S. 267–323

• Eric W. Weisstein: Smooth Number. In: MathWorld (englisch).

1. ↑ D. Bernstein: How to find smooth parts of integers. Entwurf für Math. Comput., PDF-Datei