En teoría de números , un nontotiente es un entero positivo n que no es un número totiente : no está en el rango de la función totiente de Euler φ, es decir, la ecuación φ( x ) = n no tiene solución x . En otras palabras, n es un nontotiente si no hay ningún entero x que tenga exactamente n coprimos debajo de él. Todos los números impares son nontotientes, excepto 1 , ya que tiene las soluciones x = 1 y x = 2. Los primeros nontotientes pares son esta secuencia:
Los valores mínimos de k tales que el total de k es n son (0 si no existe tal k ) esta secuencia:
Los valores más grandes de k tales que el total de k es n son (0 si no existe tal k ) esta secuencia:
El número de k s tales que φ( k ) = n son (comienzan con n = 0) son esta secuencia:
La conjetura de Carmichael es que no hay 1 en esta secuencia.
Un número par no totiente puede ser uno más que un número primo , pero nunca uno menos, ya que todos los números menores que un número primo son, por definición, coprimos con él. Para decirlo algebraicamente, para p primo: φ( p ) = p − 1. Además, un número pronico n ( n − 1) ciertamente no es un no totiente si n es primo ya que φ( p 2 ) = p ( p − 1).
Si un número natural n es un totiente, n · 2 k es un totiente para todos los números naturales k .
Hay infinitos números pares no totientes: de hecho, hay infinitos primos distintos p (como 78557 y 271129, véase número de Sierpinski ) tales que todos los números de la forma 2 a p son no totientes, y todo número impar tiene un múltiplo par que es no totiente.