Unter der
-Funktion
versteht man die Abbildung
-
die folgendermaßen festgelegt ist.
ist die kleinste Zahl
,
die die Bedingung erfüllt, dass es natürliche Zahlen
gibt, die die folgenden Eigenschaften erfüllen:
.
.
.
ist eine Quadratzahl.
- Alle Teiler
von
sind ein Vielfaches von
.
Wenn kein solches
existiert, so ist
.