In der Zahlentheorie ist der Totient einer natürlichen Zahl definiert als die Anzahl der zu teilerfremden natürlichen Zahlen, die nicht größer als sind. wird auch eulersche Phi-Funktion genannt. Ein Nichttotient (vom englischen Nontotient) ist eine natürliche Zahl , die kein Totient ist, also eine Zahl, für die Gleichung
keine Lösung für hat.
Mit anderen Worten: Eine natürliche Zahl ist ein Nichttotient, wenn es keine natürliche Zahl gibt, zu der es exakt teilerfremde Zahlen gibt.
Die Zahl ist ein Nichttotient, weil es keine natürliche Zahl gibt, für welche exakt teilerfremde Zahlen existieren, die kleiner als sind.
Die Zahl ist kein Nichttotient:
Die Primzahl ist zu Zahlen teilerfremd, somit ist auch . Die Gleichung hat also mindestens eine Lösung , also ist kein Nichttotient. Weitere muss man nicht suchen (obwohl auch die Zahlen , und den Totienten hätten).
Die Zahl ist kein Nichttotient:
Die Zahl ist als Sonderfall des leeren Produkts (weder Primzahl noch zusammengesetzte Zahl) auch zu sich selbst teilerfremd, also ist . Außerdem ist die Zahl zu teilerfremd, somit ist auch . Somit hat die Gleichung sogar zwei Lösungen und , also ist kein Nichttotient.
Die folgenden Zahlen sind die kleinsten geraden Nichttotienten:
An der -ten Stelle steht die Zahl . Das bedeutet, dass es Lösungen der Gleichung gibt. Somit ist ein Nichttotient.
Es gibt eine Vermutung von Robert Daniel Carmichael aus dem Jahr 1907, welche besagt, dass es entweder keine oder mindestens zwei Lösungen der Gleichung für jedes gibt. Die Vermutung ist also äquivalent dazu, dass in obiger Liste niemals eine 1 auftaucht (siehe Carmichaels Totientenfunktions-Vermutung).
Es folgt eine Tabelle, aus der man etwas leichter die Nichttotienten ablesen kann. In der ersten Spalte sind die aufsteigenden , in der zweiten Spalte stehen diejenigen Zahlen, deren Totient ist und in der dritten Spalte kann man die Anzahl der Zahlen ablesen, die in der zweiten Spalte stehen. Jedes Mal, wenn in dieser dritten Spalte eine Null steht, wenn es also keine Zahlen gibt, welche als Totient haben, handelt es sich bei um einen Nichttotienten (welcher gelb eingefärbt wird):
Sei eine Primzahl. Dann ist niemals ein Nichttotient.
Beweis:
Jede Primzahl ist zu Zahlen teilerfremd (nämlich zu allen natürlichen Zahlen, welche kleiner als sind). Somit ist und ist der Totient von . Also ist kein Nichttotient.