Eine positive ganze Zahl n, die strikt mehr positive Teiler hat als jede kleinere positive ganze Zahl; anders gesagt gilt für alle m < n, τ(m) < τ(n), wobei τ die Teileranzahlfunktion ist.

Prinzip

Ordne die ganzen Zahlen nach ihrer Teileranzahl τ(n). Eine hochkomposite Zahl ist ein striktes Maximum von τ über den positiven ganzen Zahlen gegenüber allen kleineren Argumenten.

Demonstration

12 ist hochkomposit, weil τ(12)=6 (Teiler 1,2,3,4,6,12) und jedes m<12 weniger als sechs Teiler hat (z. B. τ(6)=4, τ(8)=4, τ(10)=4).

Fehlanwendung

Ein Zahl fälschlich als hochkomposit bezeichnen, nur weil sie viele Primfaktoren oder viele kleine Primfaktoren hat, ohne die Vergleichsbedingung mit allen kleineren Zahlen zu prüfen; Verwechslung mit Begriffen wie 'superabundant'.

Konsequenz

Richtig identifizierte hochkomposite Zahlen sind Bezugspunkte für Teilbarkeit; sie treten in Optimierungsproblemen auf, bei denen viele Teiler vorteilhaft sind (Periodenplanung, aufteilbare Gittergrößen, Unterteilung von Signalen).

Umkehrung

Die Umkehrung ist eine Zahl, die in einem Bereich die Anzahl der Teiler minimiert (Primzahlen minimieren oft τ in der Nachbarschaft); die Umkehrung der Ungleichung liefert Zahlen mit ungewöhnlich wenigen Teilern statt vielen.

Abgrenzung

Die Definition gilt nur für positive ganze Zahlen. Bei Gleichstand der Teileranzahl reicht das nicht — es ist strikte Ungleichheit gegenüber allen kleineren Zahlen erforderlich. Diese Klasse unterscheidet sich von verwandten Begriffen wie 'superabundant', die die Summe der Teiler vergleichen statt deren Anzahl.

Semantische Spannung

Steht in begrifflichem Wettbewerb mit 'glatten Zahlen' (beschränkte Primfaktoren) und mit 'abundant'-Klassifizierungen; eine Zahl kann glatt, aber nicht hochkomposit sein und umgekehrt, daher betonen die Begriffe unterschiedliche teilerbezogene Eigenschaften.

Synthese

Eine hochkomposite Zahl ist eine positive ganze Zahl, die eine strikt größere Teileranzahl besitzt als jede kleinere Zahl und somit ein Extremum der Teilbarkeit bezogen auf die Teileranzahlfunktion darstellt.