Função de Carmichael

Em Teoria de números, a função de Carmichael de um inteiro positivo n, denotada λ(n), define-se como o menor inteiro m que cumpre:

$a^m\equiv 1(\mathrm{mod}n)$

para cada número inteiro a coprimo com n. Em outras palavras, define o expoente do grupo multiplicativo de resíduos quadráticos de módulo n($Z$/n$Z$)^×.

Os primeiros valores de λ(n) são 1, 1, 2, 2, 4, 2, 6, 2, 6, 4, 10, 2, 12, 6, 4, 4, 16, 6, 18, 4, 6, 10, 22, 2, 20, 12 (Predefinição:OEIS ).

Definição

A função pode-se definir recursivamente como segue:

• Para um primo p e um inteiro positivo k tal que p ≥ 3 ou k ≤ 2:

:$\lambda (p^k)=p^{k-1}(p-1).$(Da mesma maneira que a função φ de Euler).

• Para p=2 e um expoente k ≥ 3,

$\lambda (2^k)=2^{k-2}$

• Para diferentes primos $p_1,p_2,\dots ,p_t$ e inteiros positivos $k_1,k_2,\dots ,k_t$:

$\lambda (p_1^{k_1}{p}_2^{k_2}\cdots p_t^{k_t})=\mathrm{mcm}(\lambda (p_1^{k_1}),\lambda (p_2^{k_2}),\cdots ,\lambda (p_t^{k_t}))$

onde mcm denota o mínimo comum múltiplo.

Em forma compactada, a função fica como:

$\lambda (n)=\{\begin{array}{cc}{p}^{k-1}(p-1)& \text{si}n=p^k,\text{con}p\ge 3\text{o}k\le 2\\ 2^{k-2}& \text{si}n=2^k,\text{con}k\ge 3\\ \mathrm{mcm}(\lambda (p_1^{k_1}),\lambda (p_2^{k_2}),\cdots ,\lambda (p_t^{k_t}))& \text{si}n=\prod _{i=1}^t{p}_i^{k_i}\end{array}$

Teorema de Carmichael

Com a função de Carmichael, pode-se elaborar um teorema, similar ao teorema de Euler, este diz:Predefinição:Teoremaonde $\lambda$ é a função de Carmichael. Este pode se provar considerando qualquer raiz primitiva módulo n e o teorema chinês do resto.${\displaystyle }$

Ver também

• Robert Daniel Carmichael
• Função totiente de Euler