En Teoría de números, la función de Carmichael de un entero positivo "n", denotada λ("n"), se define como el menor entero "m" tal que cumple: