David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de...

57
Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de San Nicolás de Hidalgo Instituto de Matemáticas UNAM, campus Morelia XLI Congreso Nacional de la SMM Valle de Bravo, Méx. David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 1 / 15

Transcript of David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de...

Page 1: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Acerca de los números de Carmichael

David José Fernández Bretón

Universidad Michoacana de San Nicolás de HidalgoInstituto de Matemáticas UNAM, campus Morelia

XLI Congreso Nacional de la SMMValle de Bravo, Méx.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 1 / 15

Page 2: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Motivación

Teorema (Pequeño teorema de Fermat)

Si p es un número primo, entonces p | ap − a ∀ a ∈ Z.

De manera natural, surge la pregunta acerca del recíproco de este teorema:si se tiene un n ∈ Z tal que n | an − a ∀ a ∈ Z, ¿Implica esto que n es unnúmero primo? Fermat pensó que sí. De hecho, Fermat propuso que, dadon ∈ Z, una buena forma de evaluar si n es o no primo consistía en tomarunos cuantos enteros a al azar y verificar si n | an − a (test de primalidad deFermat).

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 2 / 15

Page 3: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Motivación

Teorema (Pequeño teorema de Fermat)

Si p es un número primo, entonces p | ap − a ∀ a ∈ Z.

De manera natural, surge la pregunta acerca del recíproco de este teorema:si se tiene un n ∈ Z tal que n | an − a ∀ a ∈ Z, ¿Implica esto que n es unnúmero primo? Fermat pensó que sí. De hecho, Fermat propuso que, dadon ∈ Z, una buena forma de evaluar si n es o no primo consistía en tomarunos cuantos enteros a al azar y verificar si n | an − a (test de primalidad deFermat).

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 2 / 15

Page 4: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Motivación

Teorema (Pequeño teorema de Fermat)

Si p es un número primo, entonces p | ap − a ∀ a ∈ Z.

De manera natural, surge la pregunta acerca del recíproco de este teorema:si se tiene un n ∈ Z tal que n | an − a ∀ a ∈ Z, ¿Implica esto que n es unnúmero primo? Fermat pensó que sí. De hecho, Fermat propuso que, dadon ∈ Z, una buena forma de evaluar si n es o no primo consistía en tomarunos cuantos enteros a al azar y verificar si n | an − a (test de primalidad deFermat).

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 2 / 15

Page 5: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

¿Qué tan bueno es el test de primalidad de Fermat

Definición

Sea n un número compuesto, y a ∈ N\{0}. Decimos que n es unpseudoprimo de base a si n | an − a.

En otras palabras, un pseudoprimo de base a es un número compuestocapaz de “aprobar" el test de primalidad de Fermat si de pura casualidad letoca ser evaluado con el entero a en dicho test.

J.H. Jeans y E.B. Escott demostraron que, para cualquier a ∈ N, existen lospseudoprimos de base a. De hecho, Schinzel notó en 1958 que, si ma denotaal mínimo pseudoprimo de base a, entonces ma ≤ 561.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 3 / 15

Page 6: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

¿Qué tan bueno es el test de primalidad de Fermat

Definición

Sea n un número compuesto, y a ∈ N\{0}. Decimos que n es unpseudoprimo de base a si n | an − a.

En otras palabras, un pseudoprimo de base a es un número compuestocapaz de “aprobar" el test de primalidad de Fermat si de pura casualidad letoca ser evaluado con el entero a en dicho test.

J.H. Jeans y E.B. Escott demostraron que, para cualquier a ∈ N, existen lospseudoprimos de base a. De hecho, Schinzel notó en 1958 que, si ma denotaal mínimo pseudoprimo de base a, entonces ma ≤ 561.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 3 / 15

Page 7: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

¿Qué tan bueno es el test de primalidad de Fermat

Definición

Sea n un número compuesto, y a ∈ N\{0}. Decimos que n es unpseudoprimo de base a si n | an − a.

En otras palabras, un pseudoprimo de base a es un número compuestocapaz de “aprobar" el test de primalidad de Fermat si de pura casualidad letoca ser evaluado con el entero a en dicho test.

J.H. Jeans y E.B. Escott demostraron que, para cualquier a ∈ N, existen lospseudoprimos de base a. De hecho, Schinzel notó en 1958 que, si ma denotaal mínimo pseudoprimo de base a, entonces ma ≤ 561.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 3 / 15

Page 8: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

¿Qué tan bueno es el test de primalidad de Fermat

Definición

Sea n un número compuesto, y a ∈ N\{0}. Decimos que n es unpseudoprimo de base a si n | an − a.

En otras palabras, un pseudoprimo de base a es un número compuestocapaz de “aprobar" el test de primalidad de Fermat si de pura casualidad letoca ser evaluado con el entero a en dicho test.

J.H. Jeans y E.B. Escott demostraron que, para cualquier a ∈ N, existen lospseudoprimos de base a. De hecho, Schinzel notó en 1958 que, si ma denotaal mínimo pseudoprimo de base a, entonces ma ≤ 561.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 3 / 15

Page 9: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Más acerca de los pseudoprimos

Ejemplos

341(= 11 · 31) es un pseudoprimo de base 2, pero no de base 3. Enefecto, es posible realizar el cálculo y ver que 341 | 2341 − 2; sin embargo,341 - 3341 − 3 debido a que 31 - 3341 − 3, pues 3341 − 3 ≡ 10 mod 31.91(= 7 · 13) es un pseudoprimo de base 3, pero no de base 2; pues91 | 391 − 3, pero 91 - 291 − 2 ya que 13 - 291 − 2, dado que 291 − 2 ≡ 9mod 13

Definición

Un número de Carmichael es un número compuesto n tal quen | an − a ∀ a ∈ Z, es decir, tal que n es un pseudoprimo de base a ∀ a ∈ Z.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 4 / 15

Page 10: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Más acerca de los pseudoprimos

Ejemplos

341(= 11 · 31) es un pseudoprimo de base 2, pero no de base 3. Enefecto, es posible realizar el cálculo y ver que 341 | 2341 − 2; sin embargo,341 - 3341 − 3 debido a que 31 - 3341 − 3, pues 3341 − 3 ≡ 10 mod 31.91(= 7 · 13) es un pseudoprimo de base 3, pero no de base 2; pues91 | 391 − 3, pero 91 - 291 − 2 ya que 13 - 291 − 2, dado que 291 − 2 ≡ 9mod 13

Definición

Un número de Carmichael es un número compuesto n tal quen | an − a ∀ a ∈ Z, es decir, tal que n es un pseudoprimo de base a ∀ a ∈ Z.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 4 / 15

Page 11: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Más acerca de los pseudoprimos

Ejemplos

341(= 11 · 31) es un pseudoprimo de base 2, pero no de base 3. Enefecto, es posible realizar el cálculo y ver que 341 | 2341 − 2; sin embargo,341 - 3341 − 3 debido a que 31 - 3341 − 3, pues 3341 − 3 ≡ 10 mod 31.91(= 7 · 13) es un pseudoprimo de base 3, pero no de base 2; pues91 | 391 − 3, pero 91 - 291 − 2 ya que 13 - 291 − 2, dado que 291 − 2 ≡ 9mod 13

Definición

Un número de Carmichael es un número compuesto n tal quen | an − a ∀ a ∈ Z, es decir, tal que n es un pseudoprimo de base a ∀ a ∈ Z.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 4 / 15

Page 12: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Más acerca de los pseudoprimos

Ejemplos

341(= 11 · 31) es un pseudoprimo de base 2, pero no de base 3. Enefecto, es posible realizar el cálculo y ver que 341 | 2341 − 2; sin embargo,341 - 3341 − 3 debido a que 31 - 3341 − 3, pues 3341 − 3 ≡ 10 mod 31.91(= 7 · 13) es un pseudoprimo de base 3, pero no de base 2; pues91 | 391 − 3, pero 91 - 291 − 2 ya que 13 - 291 − 2, dado que 291 − 2 ≡ 9mod 13

Definición

Un número de Carmichael es un número compuesto n tal quen | an − a ∀ a ∈ Z, es decir, tal que n es un pseudoprimo de base a ∀ a ∈ Z.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 4 / 15

Page 13: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Más acerca de los pseudoprimos

Ejemplos

341(= 11 · 31) es un pseudoprimo de base 2, pero no de base 3. Enefecto, es posible realizar el cálculo y ver que 341 | 2341 − 2; sin embargo,341 - 3341 − 3 debido a que 31 - 3341 − 3, pues 3341 − 3 ≡ 10 mod 31.91(= 7 · 13) es un pseudoprimo de base 3, pero no de base 2; pues91 | 391 − 3, pero 91 - 291 − 2 ya que 13 - 291 − 2, dado que 291 − 2 ≡ 9mod 13

Definición

Un número de Carmichael es un número compuesto n tal quen | an − a ∀ a ∈ Z, es decir, tal que n es un pseudoprimo de base a ∀ a ∈ Z.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 4 / 15

Page 14: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 15: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 16: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 17: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 18: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 19: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 20: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 21: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema (Criterio de Korselt)

Sea n ∈ N\{1}. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ n es libre de cuadrado yp− 1 | n− 1 para cualquier divisor primo p de n.

Definición

La función λ de Carmichael es la siguiente:λ(pa) = φ(pa) si p es un número primo impar, a ∈ N.λ(2a) = φ(2a) si a ∈ {0, 1, 2}.λ(2a) = 1

2φ(2a) si a ≥ 3.Finalmente, λ(2apa1

1 · · · pak

k ) = M.C.M{λ(2a), λ(pa11 ), . . . , λ(pak

k )} si p1, . . . , pkson números primos impares distintos; a1, . . . , ak ∈ N y a ∈ N ∪ {0}.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 5 / 15

Page 22: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 23: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 24: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 25: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 26: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 27: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

La función λ

Lema

Si p es un número primo, a ∈ Z\{0} y (x, pa) = 1, entoncesxλ(pa) ≡ 1 mod pa.

Con ayuda de este lema, se demuestra el siguiente teorema.

Teorema

Sea n ∈ N, x ∈ Z con (x, n) = 1. Entonces, se cumple que xλ(n) ≡ 1 mod n.

Este teorema es análogo al teorema de Euler, si reemplazamos la función φde Euler por la función λ de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 6 / 15

Page 28: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

λ-raíces primitivas

Definición

Sean a, n ∈ N\{1}, (a, n) = 1. Si λ(n) es el mínimo entero tal queaλ(n) ≡ 1 mod n, entonces diremos que a es una λ-raíz primitivamódulo n.Para distinguir, a las raíces primitivas usuales las llamaremos φ-raícesprimitivas módulo n.

Proposición

Si n ∈ Z es una potencia de primo, entonces hay λ-raíces primitivas módulon.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 7 / 15

Page 29: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

λ-raíces primitivas

Definición

Sean a, n ∈ N\{1}, (a, n) = 1. Si λ(n) es el mínimo entero tal queaλ(n) ≡ 1 mod n, entonces diremos que a es una λ-raíz primitivamódulo n.Para distinguir, a las raíces primitivas usuales las llamaremos φ-raícesprimitivas módulo n.

Proposición

Si n ∈ Z es una potencia de primo, entonces hay λ-raíces primitivas módulon.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 7 / 15

Page 30: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

λ-raíces primitivas

Definición

Sean a, n ∈ N\{1}, (a, n) = 1. Si λ(n) es el mínimo entero tal queaλ(n) ≡ 1 mod n, entonces diremos que a es una λ-raíz primitivamódulo n.Para distinguir, a las raíces primitivas usuales las llamaremos φ-raícesprimitivas módulo n.

Proposición

Si n ∈ Z es una potencia de primo, entonces hay λ-raíces primitivas módulon.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 7 / 15

Page 31: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

λ-raíces primitivas

Definición

Sean a, n ∈ N\{1}, (a, n) = 1. Si λ(n) es el mínimo entero tal queaλ(n) ≡ 1 mod n, entonces diremos que a es una λ-raíz primitivamódulo n.Para distinguir, a las raíces primitivas usuales las llamaremos φ-raícesprimitivas módulo n.

Proposición

Si n ∈ Z es una potencia de primo, entonces hay λ-raíces primitivas módulon.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 7 / 15

Page 32: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

λ-raíces primitivas

Definición

Sean a, n ∈ N\{1}, (a, n) = 1. Si λ(n) es el mínimo entero tal queaλ(n) ≡ 1 mod n, entonces diremos que a es una λ-raíz primitivamódulo n.Para distinguir, a las raíces primitivas usuales las llamaremos φ-raícesprimitivas módulo n.

Proposición

Si n ∈ Z es una potencia de primo, entonces hay λ-raíces primitivas módulon.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 7 / 15

Page 33: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema

Dada la congruencia Xλ(n) ≡ 1 mod n, (X,n) = 1, existe una solución g quees una λ-raíz primitiva; y, para cualquiera de estas soluciones g, hay φ(λ(n))λ-raíces primitivas congruentes con potencias de g.

R.D. Carmichael fue el primero en encontrar un número de Carmichael, conla ayuda de la teoría de la función λ. Enseguida veremos cómo lo hizo.

Teorema (Carmichael)

Sea n ∈ Z. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ λ(n) | n− 1.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 8 / 15

Page 34: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema

Dada la congruencia Xλ(n) ≡ 1 mod n, (X,n) = 1, existe una solución g quees una λ-raíz primitiva; y, para cualquiera de estas soluciones g, hay φ(λ(n))λ-raíces primitivas congruentes con potencias de g.

R.D. Carmichael fue el primero en encontrar un número de Carmichael, conla ayuda de la teoría de la función λ. Enseguida veremos cómo lo hizo.

Teorema (Carmichael)

Sea n ∈ Z. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ λ(n) | n− 1.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 8 / 15

Page 35: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema

Dada la congruencia Xλ(n) ≡ 1 mod n, (X,n) = 1, existe una solución g quees una λ-raíz primitiva; y, para cualquiera de estas soluciones g, hay φ(λ(n))λ-raíces primitivas congruentes con potencias de g.

R.D. Carmichael fue el primero en encontrar un número de Carmichael, conla ayuda de la teoría de la función λ. Enseguida veremos cómo lo hizo.

Teorema (Carmichael)

Sea n ∈ Z. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ λ(n) | n− 1.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 8 / 15

Page 36: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Números de Carmichael

Teorema

Dada la congruencia Xλ(n) ≡ 1 mod n, (X,n) = 1, existe una solución g quees una λ-raíz primitiva; y, para cualquiera de estas soluciones g, hay φ(λ(n))λ-raíces primitivas congruentes con potencias de g.

R.D. Carmichael fue el primero en encontrar un número de Carmichael, conla ayuda de la teoría de la función λ. Enseguida veremos cómo lo hizo.

Teorema (Carmichael)

Sea n ∈ Z. Entonces, n | an − a ∀ a ∈ Z ⇐⇒ λ(n) | n− 1.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 8 / 15

Page 37: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael

Así, si n es un número de Carmichael, entonces n es impar. En efecto, paran ≥ 2, se tiene que λ(n) es par, y dado que por el teorema de Carmichaelλ(n) | n− 1, entonces n− 1 será también par, con lo cual n será impar.

Ahora bien, si p es un número primo tal que p | n, entoncesp− 1 | n− 1 = (n/p)(p− 1) + (n/p)− 1, por consiguiente, p− 1 | (n/p)− 1.

Es decir, si n = p1p2 · · · pk, los pi primos distintos, entonces,

pi − 1 | p1 · · · pi−1pi+1 · · · pk − 1, ∀ 1 ≤ i ≤ k

Por ejemplo, no puede tenerse que k = 2. Si n = p1p2, entonces por lacondición anterior se tendrá que p1 − 1 | p2 − 1 y p2 − 1 | p1 − 1, con lo cualp1 − 1 = p2 − 1 y ∴ p1 = p2, lo cual es absurdo.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 9 / 15

Page 38: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael

Así, si n es un número de Carmichael, entonces n es impar. En efecto, paran ≥ 2, se tiene que λ(n) es par, y dado que por el teorema de Carmichaelλ(n) | n− 1, entonces n− 1 será también par, con lo cual n será impar.

Ahora bien, si p es un número primo tal que p | n, entoncesp− 1 | n− 1 = (n/p)(p− 1) + (n/p)− 1, por consiguiente, p− 1 | (n/p)− 1.

Es decir, si n = p1p2 · · · pk, los pi primos distintos, entonces,

pi − 1 | p1 · · · pi−1pi+1 · · · pk − 1, ∀ 1 ≤ i ≤ k

Por ejemplo, no puede tenerse que k = 2. Si n = p1p2, entonces por lacondición anterior se tendrá que p1 − 1 | p2 − 1 y p2 − 1 | p1 − 1, con lo cualp1 − 1 = p2 − 1 y ∴ p1 = p2, lo cual es absurdo.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 9 / 15

Page 39: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael

Así, si n es un número de Carmichael, entonces n es impar. En efecto, paran ≥ 2, se tiene que λ(n) es par, y dado que por el teorema de Carmichaelλ(n) | n− 1, entonces n− 1 será también par, con lo cual n será impar.

Ahora bien, si p es un número primo tal que p | n, entoncesp− 1 | n− 1 = (n/p)(p− 1) + (n/p)− 1, por consiguiente, p− 1 | (n/p)− 1.

Es decir, si n = p1p2 · · · pk, los pi primos distintos, entonces,

pi − 1 | p1 · · · pi−1pi+1 · · · pk − 1, ∀ 1 ≤ i ≤ k

Por ejemplo, no puede tenerse que k = 2. Si n = p1p2, entonces por lacondición anterior se tendrá que p1 − 1 | p2 − 1 y p2 − 1 | p1 − 1, con lo cualp1 − 1 = p2 − 1 y ∴ p1 = p2, lo cual es absurdo.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 9 / 15

Page 40: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael

Así, si n es un número de Carmichael, entonces n es impar. En efecto, paran ≥ 2, se tiene que λ(n) es par, y dado que por el teorema de Carmichaelλ(n) | n− 1, entonces n− 1 será también par, con lo cual n será impar.

Ahora bien, si p es un número primo tal que p | n, entoncesp− 1 | n− 1 = (n/p)(p− 1) + (n/p)− 1, por consiguiente, p− 1 | (n/p)− 1.

Es decir, si n = p1p2 · · · pk, los pi primos distintos, entonces,

pi − 1 | p1 · · · pi−1pi+1 · · · pk − 1, ∀ 1 ≤ i ≤ k

Por ejemplo, no puede tenerse que k = 2. Si n = p1p2, entonces por lacondición anterior se tendrá que p1 − 1 | p2 − 1 y p2 − 1 | p1 − 1, con lo cualp1 − 1 = p2 − 1 y ∴ p1 = p2, lo cual es absurdo.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 9 / 15

Page 41: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael, unejemplo

Todo lo dicho anteriormente puede resumirse de la manera siguiente.

Proposición

Si n es un número de Carmichael, entonces n es un producto de al menostres números primos impares distintos.

Ejemplo (Chernick)

Sea m ∈ N tal que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos.Entonces, n := (6m+ 1)(12m+ 1)(18m+ 1) es un número de Carmichael. Enefecto, λ(n) = 18m, y n− 1 = 1296m3 + 396m2 + 36m. De ahí que λ(n) | n− 1y, por consiguiente, n es de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 10 / 15

Page 42: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael, unejemplo

Todo lo dicho anteriormente puede resumirse de la manera siguiente.

Proposición

Si n es un número de Carmichael, entonces n es un producto de al menostres números primos impares distintos.

Ejemplo (Chernick)

Sea m ∈ N tal que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos.Entonces, n := (6m+ 1)(12m+ 1)(18m+ 1) es un número de Carmichael. Enefecto, λ(n) = 18m, y n− 1 = 1296m3 + 396m2 + 36m. De ahí que λ(n) | n− 1y, por consiguiente, n es de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 10 / 15

Page 43: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael, unejemplo

Todo lo dicho anteriormente puede resumirse de la manera siguiente.

Proposición

Si n es un número de Carmichael, entonces n es un producto de al menostres números primos impares distintos.

Ejemplo (Chernick)

Sea m ∈ N tal que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos.Entonces, n := (6m+ 1)(12m+ 1)(18m+ 1) es un número de Carmichael. Enefecto, λ(n) = 18m, y n− 1 = 1296m3 + 396m2 + 36m. De ahí que λ(n) | n− 1y, por consiguiente, n es de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 10 / 15

Page 44: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Propiedades de los números de Carmichael, unejemplo

Todo lo dicho anteriormente puede resumirse de la manera siguiente.

Proposición

Si n es un número de Carmichael, entonces n es un producto de al menostres números primos impares distintos.

Ejemplo (Chernick)

Sea m ∈ N tal que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos.Entonces, n := (6m+ 1)(12m+ 1)(18m+ 1) es un número de Carmichael. Enefecto, λ(n) = 18m, y n− 1 = 1296m3 + 396m2 + 36m. De ahí que λ(n) | n− 1y, por consiguiente, n es de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 10 / 15

Page 45: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Ejemplo de un número de Carmichael

Ejemplo

En particular, cuando m = 1, entonces 6m+ 1, 12m+ 1 y 18m+ 1 son todosnúmeros primos, con lo cual su producto 7 · 13 · 19 = 1729 es un número deCarmichael.

De acuerdo con una conjetura de Hardy y Littlewood, existirían una infinidadde números m tales que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos, locual nos daría una infinidad de números de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 11 / 15

Page 46: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Ejemplo de un número de Carmichael

Ejemplo

En particular, cuando m = 1, entonces 6m+ 1, 12m+ 1 y 18m+ 1 son todosnúmeros primos, con lo cual su producto 7 · 13 · 19 = 1729 es un número deCarmichael.

De acuerdo con una conjetura de Hardy y Littlewood, existirían una infinidadde números m tales que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos, locual nos daría una infinidad de números de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 11 / 15

Page 47: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Ejemplo de un número de Carmichael

Ejemplo

En particular, cuando m = 1, entonces 6m+ 1, 12m+ 1 y 18m+ 1 son todosnúmeros primos, con lo cual su producto 7 · 13 · 19 = 1729 es un número deCarmichael.

De acuerdo con una conjetura de Hardy y Littlewood, existirían una infinidadde números m tales que 6m+ 1, 12m+ 1 y 18m+ 1 son todos ellos primos, locual nos daría una infinidad de números de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 11 / 15

Page 48: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

El cálculo de Carmichael

Supóngase que n = pqr, p < q < r primos distintos, y n de Carmichael.Entonces, por la condición vista anteriormente, se tiene que p− 1 | qr − 1,q − 1 | pr − 1 y r − 1 | pq − 1. Si por ejemplo p = 7, entonces la condiciónr − 1 | 7q − 1, por lo cual (7q − 1)/(r − 1) = m ∈ Z, en donde además2 ≤ m ≤ 6. Despejando r, tenemos que

r =7q +m− 1

m

Como q − 1 | pr − 1, entonces (pr − 1)/(q − 1) ∈ Z Con esta condición seinspeccionan los valores posibles de q. Algunos valores se descartan debidoa la condición de que r es primo, otros permanecen. Por último, estos valoresse ponen a prueba mediante el teorema de Carmichael. Se encuentra que losnúmeros 7 · 19 · 67, 7 · 13 · 31, 7 · 31 · 73 y 7 · 13 · 19 son de Carmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 12 / 15

Page 49: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Los números de Carmichael más pequeños

Los primeros números de Carmichael son:561 = 3 · 11 · 17, 1105 = 5 · 13 · 17, 1729 = 7 · 13 · 19, 2465 = 5 · 17 · 29,2821 = 7 · 13 · 31, 6601 = 7 · 23 · 41, 8911 = 7 · 19 · 67, 10585 = 5 · 29 · 73,15841 = 7 · 31 · 73, 29341 = 13 · 37 · 61, 41041 = 7 · 11 · 13 · 41,46657 = 13 · 37 · 97, 52633 = 7 · 73 · 103, 62745 = 3 · 5 · 47 · 89,63973 = 7 · 13 · 19 · 37, 75361 = 11 · 17 · 31, 101101 = 7 · 11 · 13 · 101,115921 = 13 · 37 · 241, 126217 = 7 · 13 · 19 · 73, 162401 = 17 · 41 · 233,172081 = 7 · 13 · 31 · 61, 188461 = 7 · 13 · 19 · 109, 252601 = 41 · 61 · 101.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 13 / 15

Page 50: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Algunas estimaciones de la cantidad de números deCarmichael

Sea C(x) = #{n ≤ x∣∣n es de Carmichael}

Pomerance, Selfridge y Wagstaff Jr. demostraron que

C(x) ≤ x1−{1+o(1)} log log log x/ log log x

Alford, Granville y Pomerance demostraron que, para x suficientementegrande,

C(x) ≥ x2/7

lo cual nos dice que existe una infinidad de números deCarmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 14 / 15

Page 51: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Algunas estimaciones de la cantidad de números deCarmichael

Sea C(x) = #{n ≤ x∣∣n es de Carmichael}

Pomerance, Selfridge y Wagstaff Jr. demostraron que

C(x) ≤ x1−{1+o(1)} log log log x/ log log x

Alford, Granville y Pomerance demostraron que, para x suficientementegrande,

C(x) ≥ x2/7

lo cual nos dice que existe una infinidad de números deCarmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 14 / 15

Page 52: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Algunas estimaciones de la cantidad de números deCarmichael

Sea C(x) = #{n ≤ x∣∣n es de Carmichael}

Pomerance, Selfridge y Wagstaff Jr. demostraron que

C(x) ≤ x1−{1+o(1)} log log log x/ log log x

Alford, Granville y Pomerance demostraron que, para x suficientementegrande,

C(x) ≥ x2/7

lo cual nos dice que existe una infinidad de números deCarmichael.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 14 / 15

Page 53: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Bibliografía

W.R. Alford, Andrew Granville y Carl Pomerance, “There are infinitelyCarmichael numbers"; Annals of Mathematics 140 (1994), 703-722.

R.D. Carmichael, “Note on a new number theory function"; Bulletin of theAmerican Mathematical Society 16 (1910), 232-238.

R.D. Carmichael, “On composite numbers P which satisfy the Fermatcongruence aP−1 ≡ 1 mod P "; American Mathematical Monthly; 19(1912), 22-27.

Ireland, Kenneth y Rosen, Michael, A Classical Introduction to ModernNumber Theory, Graduate Texts in Mathematics (84), Springer-Verlag,1990.

C. Pomerance, J.L. Selfridge y S.S. Wagstaff Jr., “Thepseudoprimes to25× 109"; Mathematics of Computation 35 (1980), 1003-1026.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 15 / 15

Page 54: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Bibliografía

W.R. Alford, Andrew Granville y Carl Pomerance, “There are infinitelyCarmichael numbers"; Annals of Mathematics 140 (1994), 703-722.

R.D. Carmichael, “Note on a new number theory function"; Bulletin of theAmerican Mathematical Society 16 (1910), 232-238.

R.D. Carmichael, “On composite numbers P which satisfy the Fermatcongruence aP−1 ≡ 1 mod P "; American Mathematical Monthly; 19(1912), 22-27.

Ireland, Kenneth y Rosen, Michael, A Classical Introduction to ModernNumber Theory, Graduate Texts in Mathematics (84), Springer-Verlag,1990.

C. Pomerance, J.L. Selfridge y S.S. Wagstaff Jr., “Thepseudoprimes to25× 109"; Mathematics of Computation 35 (1980), 1003-1026.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 15 / 15

Page 55: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Bibliografía

W.R. Alford, Andrew Granville y Carl Pomerance, “There are infinitelyCarmichael numbers"; Annals of Mathematics 140 (1994), 703-722.

R.D. Carmichael, “Note on a new number theory function"; Bulletin of theAmerican Mathematical Society 16 (1910), 232-238.

R.D. Carmichael, “On composite numbers P which satisfy the Fermatcongruence aP−1 ≡ 1 mod P "; American Mathematical Monthly; 19(1912), 22-27.

Ireland, Kenneth y Rosen, Michael, A Classical Introduction to ModernNumber Theory, Graduate Texts in Mathematics (84), Springer-Verlag,1990.

C. Pomerance, J.L. Selfridge y S.S. Wagstaff Jr., “Thepseudoprimes to25× 109"; Mathematics of Computation 35 (1980), 1003-1026.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 15 / 15

Page 56: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Bibliografía

W.R. Alford, Andrew Granville y Carl Pomerance, “There are infinitelyCarmichael numbers"; Annals of Mathematics 140 (1994), 703-722.

R.D. Carmichael, “Note on a new number theory function"; Bulletin of theAmerican Mathematical Society 16 (1910), 232-238.

R.D. Carmichael, “On composite numbers P which satisfy the Fermatcongruence aP−1 ≡ 1 mod P "; American Mathematical Monthly; 19(1912), 22-27.

Ireland, Kenneth y Rosen, Michael, A Classical Introduction to ModernNumber Theory, Graduate Texts in Mathematics (84), Springer-Verlag,1990.

C. Pomerance, J.L. Selfridge y S.S. Wagstaff Jr., “Thepseudoprimes to25× 109"; Mathematics of Computation 35 (1980), 1003-1026.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 15 / 15

Page 57: David José Fernández Bretón - math.yorku.camath.yorku.ca/~davidfb/carmichael.pdf · Acerca de los números de Carmichael David José Fernández Bretón Universidad Michoacana de

Bibliografía

W.R. Alford, Andrew Granville y Carl Pomerance, “There are infinitelyCarmichael numbers"; Annals of Mathematics 140 (1994), 703-722.

R.D. Carmichael, “Note on a new number theory function"; Bulletin of theAmerican Mathematical Society 16 (1910), 232-238.

R.D. Carmichael, “On composite numbers P which satisfy the Fermatcongruence aP−1 ≡ 1 mod P "; American Mathematical Monthly; 19(1912), 22-27.

Ireland, Kenneth y Rosen, Michael, A Classical Introduction to ModernNumber Theory, Graduate Texts in Mathematics (84), Springer-Verlag,1990.

C. Pomerance, J.L. Selfridge y S.S. Wagstaff Jr., “Thepseudoprimes to25× 109"; Mathematics of Computation 35 (1980), 1003-1026.

David J. Fernández Bretón (UNAM-UMSNH) Números de Carmichael XLI Congreso SMM 23/10/2008 15 / 15