Academia Sabatina Jvenes Talentos

Encuentro #18
Curso: Teora de Nmeros.

Grupo: Pre-olmpico. Instructor: Rolando Vega.

Fecha: 28 de mayo del 2015.

ORDEN: Sea p un primo y a0 (mod p). El orden de a (mod p) es definido como el menor entero
positivo m tal que: 1 ( )

Teorema fundamental del orden: Suponga que 1 ( ). Entonces el orden de a (mod

p) divide a N.

Lo anterior puede generalizarse reemplazando p por cualquier entero positivo n talque (a, n) =1 y p-1
por ()1.

Ejercicios:

1. Para un primo impar p, si 2 1 ( ), entonces 1 ( 4).

2. Si = ,entonces = .
3. Si = y = , y (, ) = 1, entonces = .

RAICES PRIMITIVAS: Sea n un entero positivo. Entonces existe un entero g, llamado raz primitiva y
(, ) = 1, talque el orden de g modulo p es ()

En las sesiones anteriores se demostr la existencia de races primitivas nicamente para los mdulos
2, 4, 2 _ A modo de referencia se adjunta al final del documento_.

Sea g una raz primitiva respecto del mdulo p. Se puede sealar un numero t de modo que el
nmero u que se determina por la igualdad ( + )1 = 1 + no sea divisible por p. El
nmero correspondiente + es una raz primitiva respecto del modulo para cualquier >
1.
Si 1 es una raz primitiva respecto del modulo , donde 1. Entonces, el impar entre los
nmeros 1 y 1 + , es una raz primitiva respecto al modulo 2 .

1
1
() = =1 (1 ); donde = =1

Lo interesante de este tema es que, dado una raz primitiva g, cada residuo modulo p, distinto de cero
puede ser expresado nicamente por , para = 1,2, , 2.

{1, 2, , 1} {1, 1 , 2 , , 2 } ( )

Ejercicios:

1. Suponga que = 2 + 1. Pruebe que 1 ( ).

2. Si 1 ( 4) es un primo, entonces existe un talque 2 1 ( ).
3. Pruebe que no existen races primitivas para cualquier nmero de la forma para distintos
primos impares p y q. (Use el teorema chino del resto para probar que (1,1)
1 ).
4. Sea 5 un primo y 1 < 1 un entero positivo. Pruebe que
1

.
=1

5. Sea p un primo impar y g una raz primitiva modulo p. Pruebe que:

1
2 1 ( ).
6. Sea p un primo talque 3(4). Pruebe que:
1

( 2 + 1) = 4( )
=1

ANEXO:

Existen races primitivas respecto del mdulo p.

Sean 1 , 2 , , todos los rdenes distintos de 1,2, , ( 1) respecto al mdulo p. Supongamos que
= (1 , 2 , , ) = =1 en su descomposicin cannica.

Ahora bien, cada factor de esta descomposicin divide al menos uno de los nmeros (ya que el
MCM resulta de escoger los primos con su mayor exponente de la descomposicin cannica de los
nmeros en cuestin). Por lo anterior se tiene que = .

Definimos como uno de los nmeros de la sucesin 1,2, , ( 1), para el cual () = = ,

de aqu que () = . Adems, si = =1 entonces () = =1 , ya que

=1

( , ) = 1. Es decir () = .
Por ultimo como \, los nmeros 1,2, , ( 1) son soluciones de la ecuacin 1 ( ) y como
el coeficiente de x no es mltiplo de p, se deduce que2 1 . Por el teorema de Fermat se sabe
que 1 1 ( ), de lo cual \ 1. Por lo tanto = 1 y es una raz primitiva.

AREA DE TRABAJO:

2
Si () = =0 0 ( )admite mas de n soluciones, todos los coeficientes de () son mltiplos de .