Raizprim

Rafael Parra Mach?o RA?
CES PRIMITIVAS, INDICES MODULARES Y SISTEMAS

Rafael Parra Mach?o RA?CES PRIMITIVAS, INDICES MODULARES Y SISTEMAS
1
a 2 ar

10. RAICES PRIMITIVAS, INDICES MODULARES Y SISTEMAS
10.1 Races primitivas
1.1 Raz primitiva: definicin.
Dados , tales que , = 1, el menor tal que

1 . se denomina
gaus-
siano de respecto de . Si es un primo y es un nmero
cualquiera tal que
gaussiano de es m1, entonces se dice que n es una raz
primitiva de .
m F n, y
el
El nmero de races primitivas de m viene determinada
por la funcin
(m 1) ,
siendo
(m 1) m
a1
m
2
...
m
r
.
Si en se cumple
que

( p 1) /
p
1
T1(md.
p),
con p primo,
y
tambin en
( p
1)/ pr
T 1(md.p) entonces, es la raz primitiva de p. En
efecto. Notemos que
si p F
n,
entonces n
p
1
1(md.p), con lo que, si el gaussiano
de no es p 1,
deber ser
un
divisor
de

p
1.
Pero en este caso, si el gaussiano se descompone en factores
primos como
p
1
p
r
donde alguno
de los
puede ser cero, y

suponiendo que

<

,
tenemos
que
1 r
i j j
( p
1)/

j
1(md.p) luego, el nmero de races primitivas de viene
determinado por (p 1).
Dada una raz primitiva de , se tiene que los valores n
0
,n
1
,,n
p
2
dan
restos distintos dos a
dos (md.p). Dado a, si existe {0,, p 2 tal que
n

a(md.p),
es ndice modular de en base , y se denota como
I
n
(a) Ind
n
a.
entonces se dice
que
No todos los mdulos poseen races primitivas. Los casos en que existen
races primitivas res-
pecto de un mdulo m, con m >1 son, m
{
2, 4, p

,2p
, en donde p es
primo y 1.
1.2 Calcular la raz primitiva de 11.
Para calcular la raz primitiva de 11, empezaremos por descomponer
en factores primos
( p 1) 10 2
5,
10 2 5 y 10 5 2. Por consiguiente, para que un nmero
no sea divi-
sible por 11, sea raz primitiva respecto del mdulo 11, es necesario y
suficiente que este
nmero no satisfaga a ninguna de las congruencias
2
1(md.11)


o
5
1(md.11). Para
2
,
2
(10/2)
2
5

1(md.11)
no es congruente con 11,
y para
2
(10/ 5)
2
2
4(md.11),
tampoco es congruente con 11, luego 2 es la raz primitiva de 11.
Se
a
p
13.
( p 1) 12 2
2
3
2 6,
12 2
6
y 12 6
2,
que
para
2 ,
tenemos
2
(12/ 2)
2
6
1(md.13) y 2
(12/ 6)
2
2
4(md.13). Ninguna de las dos
congruencias satisface,
ni a
2
1(md.13) ni a
6
1(md.13) luego, la raz primitiva de 13 es 2.
Tenemos
que
p
17
y ( p 1) 16 2
4

2 8,
donde 16 2
8
y 16 8
2.
Par
a
3,
3
(16 /2)
3
8
16
1(md.17)
y
para
3
(16/8)
3
2

9(md.17),
que no satisfacena

2
,
8
1(md.17) por tanto, la raz primitiva de 17 es 3.


Tenemos
que
p
23
y ( p 1) 22 2
11,
donde 22 2
11
y 22 11
2.
Par
a
3 ,
3
( 22 / 2 )
3
11

1(md.23)
que es
congruente y
3
( 22 / 11)
3
2

9(md.23)
que no es
con-
gruente con 1 mdulo 23 y, por tanto, 3 no es raz primitiva de 23.
Probamos con 5. Te-
nemos que, 5
( 22 / 2 )
5
11
22(md.23) y 5
( 22 / 11)
5
2
2(md.23) , ambas son
incongruen-
tes con 1 mdulo 23, luego 5 es la raz primitiva de 23.
1.6 Calcular las races primitivas de los enteros n < 100 .
Utilizando el programa 6.1, las races primitivas de los
enteros com- prendidos entre el 1 y 99, son,
n 0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 2 5 3 2
1 3 2 2 3 3 5 2
2 7 5 2 7 2 2
3 3 3 2 3
4 6 3 5 5 3
5 3 2 5 3 2
6 2 3 2
7 7 5 5 3
8 2 7 2 3 3
9 5 5 3
N o ta :Las casillas en blanco son nmeros que n o tie n e n raz primitiva.
1.7 Demostrar la no existencia de races primitivas md.2

para
s 3 .
) / 2
Sea un entero
impar. Si
s
3,
tenemos
que
x
(2

1(md.2
)
luego, no existen
races
) / 2
primitivas
md. 2
.
Efectivamente, si 3, la
ecuacin
x
(2

1(md.2
)
establece
que
x
2
1(md.2
3
) para impar. Este hecho se comprueba fcilmente haciendo
que x 1,3, 5, 7 u
observando que (2k + 1)
2
4k
2
+ 4k + 1
4k(k + 1) + 1
par.
y teniendo en
cuenta que
k(k +1)
es
Supongamos que el teorema se cumple para y queremos demostrar que
tambin se cumple
par
a
+
1.
La hiptesis de induccin nos
dice que
x
(2

)
/ 2
1 +
2
t , t
Z.
Elevando
ambos
)
+ +
miembros al cuadrado
obtenemos
x
(2
1
+ 2
1
t +
2
2
t
2

1(md.2
1
) ya que 2 s
+1.
Esto termina la demostracin puesto que (2

) 2
1
(2
+
1
) / 2.


1.8 Demostrar en qu casos la congruencia x
n
(md.m) tiene
solucin.
Supongamos que p es un nmero primo
impar; s1,
m es uno de los
nmeros
p

, 2 p

y
finalmen
te,
c p 1
y
mcd (n, c)
d ,
entonc
es
x
n

(md.m)
admite solucin s, y
slo s
(I ) sea un mltiplo de d, esto es, es un resto de grado n respecto del
mdulo m. Por tan-
to, si x
n
(md.m) es soluble, sta admite d soluciones.
Aplicando el teorema de
Fermat, como
I ( ) 0(md
.c)
es equivalente a
c / d
1(md.d ) y,
com
o
g
c / q
1(md.m)
ser equivalente s, y slo s g sea un no resto de grado q
respecto del


mdulo m, por la imposibilidad
de que
g
c / 2
1(md.m),
entonces
c / d
1(md.d )
ser
con-
gruente si, y slo si es un no resto de grado d respecto al mdulo d.
Se
a
x
8
7(md .
13)
y
sea
g
2
la raz primitiva de 13.
Como
mcd (8,12)
4
y I (7)
11,
re-
sulta que 4 F 11 , luego la congruencia no admite ninguna solucin.
Comprobamos
para
I (7) 11 T 0(md .
12),
dond
e
7
12 / 4
7
3
343
T1(md.4)
y que
2
12/ 4
2
3
27
T1(md.13)
por tanto, queda demostrado que la congruencia no
admite ningu-
na solucin si I (a) no es mltiplo de d.
10 . 2 ndi ces modul ar es
2.1 ndices modulares: confeccin de tablas.
Si m tiene una raz primitiva g, los nmeros 1,
g,g
2
,, g
(m)
1
forma un sistema residual
redu-
cido md. m. Si mcd(a, m) 1 existe un nico entero k en el intervalo 0
c k c (m) 1 tal que
a g
k
(md.m).
Este entero se llama ndice de
a en base g
md.
m,
y que escribimos
como
k ind
g
a o simplemente k nd a cuando la base g se sobrentiende.
Los ndices tienen propiedades anlogas a las de los logaritmos.
Efectivamente. Sea g una raz primitiva md. m. Si mcd(a, m) (b, m)
1 tenemos que:
nd(ab) nd(a) + nd(b)(md.(m))
nd(q
n
) n nd(a)(md.(m)) s n s 1.
nd(1) 0 e nd(g) 1.
nd(1) (m) / 2 s m > 2.
Si g ' es tambin una raz primitiva md. m entonces
nd
g
(a) nd
g
(a) nd
g
(g ')(md.(m))
Las tablas de ndices modulares se confeccionan en dos partes: una para
hallar el ndice de un
nmero dado, otra para hallar los nmeros por el ndice. Las primeras
las denotamos como
N (n) y las segundas como I (n).
2.2 Confeccionar la tabla de ndices modulares del 11.
Sabemos que la raz primitiva del nmero 11 es 2, esto es, 2 por tanto,
se trata de calcular
por
n
r(md.11) donde n es el conjunto {0,1, 2,, p 1, los restos

n
0
1
2
3
4
5
6
7
8
9
0
1
3
9
10
13
5
15
11
16
14
1
8
7
4
12
2
6

potenciales, que para
11 resultan ser:
2
0
1 2
2
4
2
4
5 2
6
9 2
8
3
2
1
2
2
3
8 2
5
10 2
7
7 2
9
6
Se confecciona tabla I
( n )
para hallar el nmero, conociendo el ndice, que es
copia de la que se
acaba de calcular, y tabla n para hallar el ndice, conociendo el nmero:

n
0
1
2
3
4
5
6
7
8
9
0
1
3
9
10
13
5
15
11
16
14
1
8
7
4
12
2
6

n 0 1 2 3 4 5 6 7 8 9
0 1 2 4 8 5 10 9 7 3 6
I
( n )
0 1 2 3 4 5 6 7 8 9
0 0 1 8 2 4 9 7 3 6
1 5
Por ejemplo, si queremos conocer el nmero que corresponde al
ndice 4, en la tabla
I (4) 2 y para conocer el ndice del nmero 8, en la tabla, n(8) 3.
I
( n )
,
2.3 Resolver la
ecuacin
x
8
5(md.11) .
Se
a
m p 1
y
mcd (a, b)
d ,
donde la
congruencia
x
n
a(md.
p)
admite solucin y
por
consiguiente, a es un resto de grado n respecto del mdulo p
cuando, y slo cuando
I (a) es
un mltiplo de d. Si la congruencia es soluble, sta admite d
soluciones en la forma
n I ( x) I (a)(md .m).
La solucin de x
8
5(md.11) requiere los siguientes pasos:
a)
El
mcd (8,10)
2
y el ndice que corresponde al
nmero 5 es
I (5)
4,
que es
divisible
por 2 luego, la ecuacin admite 2 soluciones.
b) La
congruencia
x
8

5(md.11)
es equivalente a 8 I ( x) 4(md.10). Ahora
dividimos
todos los miembros por 2 que resulta 4 I (
x) 2(md.5),
x 3 + 5t por lo que x 3, 8(md.10).
de
donde
x
3(md.5),
o
sea
c) Segn la
tabla
n, los valores de 3 y
8 son
n(3, 8) 8,
3
por tanto, la solucin al
sistema
planteado es, x 3,8(md .11).
2.4 Resolver la
ecuacin
x
7
11(md.17) .
Sabemos que la raz primitiva de 17 es 3, ahora calculamos las tablas de
ndices.
3
0
1 3
2
9 3
4
13 3
6
15 3
8
16 3
10
8 3
12
4 3
14
2
3
1
3 3
3
10 3
5
5 3
7
11 3
9
14 3
11
7 3
13
12 3
15
6
I
( n )
0 1 2 3 4 5 6 7 8 9
0 0 14 1 12 5 15 11 10 2
1 3 7 13 4 9 6 8

n
0
1
2
3
4
5
6
7
8
9
0
1
2
4
8
3
6
12
11
9
5
1
10
7

El mcd (7.16) 1 y el ndice de I
(11) 7
que divide a 1, esto es, 1 | 11 luego, la
ecuacin ad-
mite al menos una solucin. La ecuacin es equivalente a 7
I ( x) 7(md .16),
o
sea,
I ( x) 1(md .
16).
x 3(md .17).
Por la tabla
n,
n(1)
3
luego, la solucin al sistema
propuesto es

n
0
1
2
3
4
5
6
7
8
9
0
1
2
4
8
3
6
12
11
9
5
1
10
7

2.5 Resolver la
ecuacin
x
16
3(md.13) .
Sabemos que la raz primitiva de 13 es 2. Las tablas de ndices que generan
son:
I
( n ) 0 1 2 3 4 5 6 7 8 9
0 0 1 4 2 9 5 11 3 8
1 10 7 6
El mcd (16,12) 4.
Como
I (3)
4,
que es
mltiplo del
mcd
,
la ecuacin admitir
cuatro
soluciones. La
ecuacin
x
16

3(md.13)
es equivalente a 16 I ( x)
4(md .12),
que
haciendo
operaciones,
x 1 + 3t. Dando valores a t obtenemos para I ( x)
1, 4, 7,10
que,
de
acuerdo con las tablas de
ndice, resulta,
propuesto.
x 2, 3,10,11(md .
13)
como solucin al
sistema
2.6 Resolver la
ecuacin
x
5
3(md.41) .
El mcd (5, 40) 5. Como I (3)
15,
que es mltiplo del mcd , luego la ecuacin
admite cinco
soluciones.
Sea
x
5

3(md.41)
que equivale a 5 I ( x)
15(md .40),
si dividimos
toda la
ecuacin
por 5,
I ( x) 3(md .
8)
o
sea,
I ( x) 3 +
8t.
Damos valores a t y
obtenemos,
I ( x) 3,11,19, 27,
35
que, de acuerdo con las tablas
de ndice
n, resulta
para
x 11,12, 28, 34, 38(md .41), que son las soluciones del sistema propuesto.
2.7 Resolver la
ecuacin
x
5
3(md.65) .
La descomposicin factorial del mdulo es 65 5 13 por tanto, la
ecuacin tendr solucin
si, y slo si la
tienen
x
5
3(md .
5)
y x
5
3(md.13). Por simple observacin la
primera es
equivalent
e a
x 3(md .5)
luego,
x 3 + 5t. Para la segunda, el mcd
(5,12) 1 y
I (3) 4
o sea, 1|4 por consiguiente admite una solucin.
La ecuacin
x
5

3(md.13)
es
equivalente
a 5 I ( x) 4(md .
12),
que operando se
convierte en
I ( x) 8 +
12t.
Segn las
tablas de
ndices del 13, al 8 le corresponde 9, entonces, x 9 + 13t.


x 9(md .13),
que escribimos como
Para la
solucin de
x
5
3(md .
65)
utilizaremos el Teorema Chino de Restos.
Tomamos
3 + 5t
1

9(md.13),
haciendo
operaciones
t
1
9 +
13t.
Sustituimos para
conocer x,
x 3 + 5(9 + 13t ) 48 + 65t, luego x 48(md .65) que es la solucin buscada.
2.8 Resolver la
ecuacin
x
6
17(md.23) .
El mcd (6, 22) 2 y I (17) 7. Como 2 F 7, la ecuacin no admite ninguna
solucin.
2.9 Resolver la
ecuacin
x
10
9(md .161) .
Como 161 7
23,
la ecuacin tendr solucin si y slo si las tienen
las ecuaciones
x
10
9(md.7) y x
10
9(md.23).


Para x
10
9(md.7) equivalente a x
10
2(md.7), cmo mcd (10, 6) 2 y I (2)
2, dado
que 2 6 2, la ecuacin tendr dos soluciones. Si 10 I (
x) 2(md .6)
la dividimos por 2
resulta
5 I ( x) 1(md .3),
donde
I ( x) 2, 5(md .6). Por la tabla de ndices n, los valores
de I (2, 5)
son equivalentes a 2 y 5, que es la solucin de x
10
9(md .7).
Par
a
x
10

9(md.23),
cm
o
mcd (10, 22) 2
y
I (9)
10,
dado que 2 6
10,
la
ecuacin
tendr dos soluciones. Si 10 I ( x) 10(md .22) la dividimos por 2 resulta 5 I
( x) 5(md .11),
donde N ( x) 1,12(md .22). Por la tabla de ndices n, los valores de I (1,12)
son equivalentes
a 5 y 18, la solucin de x
10
9(md.23).
Aplicando el teorema chino de restos, la solucin de x
10
9(md .161) es de
5, 51,110,156.
10 . 3 Si st emas mono var iabl es
3.1 Resolver el
sistema
f ( x) 2
500
r (md.61) .
Fermat nos
dice que
a
( p
1)
1(md.
p),
si ahora sustituimos
resulta
2
(61
1)
1(md.61).
Para
2
500
2
480
+
20
2
480
2
20
1
480
2
20
2
20
.
ste ltimo resultado aplicado a la
ecuacin pro-
puesta resulta 2
20
1048576 47(md.61) donde, r 47.
A continuacin comprobamos si este sistema tiene otras soluciones. Para
ello resolvemos la
funci
n
x
500

47(md.61)
equivalente a 500 I ( x)
47(md.60).
Por las tablas de
ndices
modular
es,
I (47)
20
por tanto, 20 I ( x)
20(md .60),
o
sea
I ( x) 1(md .
3).
Dand
o
valores
a
I ( x) 1, 4, 7,10,13,16,19, 22, 25, 28, 31, 34, 37, 40, 43, 46, 49,
52, 55, 58
por lo que
obte-
nem
os
f ( x) 2, 5, 6, 7,13,15,16,18, 21, 22, 39, 40, 43, 45, 46, 48, 54, 55, 56,
59(md .61)
que
son
las soluciones del sistema.
3.2 Resolver el
sistema
f (x) 13x
40
+ 23x
25
1(md.11) .
La
ecuacin
x 13x
40
+ 23x
25
1(md.11) podemos
reducirla a
x 2x
40
+ x
25
1(md.11).
Por


la funcin de Euler, (11) 11
1 10,
por lo que podemos modificar los
exponentes hasta
convertir la
ecuacin a
x 2 + x
5
1(md.11),
de
donde
x
5
10(md.11).
Tomando
ndices,
escribimos 5I ( x) I(10)
(md.10)
que es equivalente a 5I ( x)
5(md .10)
y que
podemos
escribir
como
I ( x) 1(md .2).
Para
I ( x) 1, 3, 5, 7, 9 y para n 2,8,10, 7, 6. Por
tanto, la solu-
cin al sistema
propuesto es
f ( x) 2, 6, 7, 8,10(md .11).
3.3 Resolver el
sistema
f (x) x
12
37(md.41) .
Utilizando ndices, 12 I ( x) I (37)
(md .40)
que resulta 12 I ( x) 32(md
.40).
Como
el
mcd (12, 32) 4, lo que indica que el sistema tiene cuatro soluciones.
Dividiendo el resultado obtenido anteriormente por 4, tenemos 3I ( x)
8(md .10). Multiplicamos por 3 para despe-
ja
r
I (
x),
obtenem
os
I ( x) 6(md .
10).
Par
a
I ( x) 6,16, 26,
36
que son
equivalentes a
n 39,18, 2, 23 luego, la solucin al sistema
propuesto es
f ( x) 2,18, 23, 39(md .41).


3.4 Resolver el
sistema
f (x) x
36
36(md.29) .
La funcin propuesta la podemos
escribir como
x
8

7(md.29).
Utilizando ndices
modula-
res, 8I ( x) I(7)(md .
28)
que resulta 8I ( x)
12(md .28).
Como
el
mcd (8,12) 4,
la
ecuacintendr 4 soluciones. Dividiendo 8I ( x)
12(md .28)
por 4
obtenemos
2 I ( x) 3(md .
7)
que simplificada
resulta
I ( x) 5(md .
7).
Ahora podemos
conocer los
valores
de
I ( x) 5,12,19,
29
equivalentes a n 3, 7,
26, 22,
de donde, las soluciones
al sis-
tema
son
f ( x) 3, 7, 22, 26(md .29).
3.5 Resolver el
sistema
f (x) 5x
85
+ 8x
40
13(md.533) .
El mdulo se factoriza como 533 13 41 luego, el sistema tendr solucin
si y slo si la tienen
las ecuaciones 5x
85
+ 8x
40
13(md.13) y 5x
85
+ 8x
40
13(md.41).
Para 5x
85
+ 8x
40
13(md.13), que simplificamos como 5x + 8x
4
0(md.13), que
podemos
reducir a 12 x
4
+ x 0(md .13) y que se convierte finalmente en x
4
x
0(md.13).
Utilizando ndices modulares, 4I ( x) I ( x) I(0)(md .
12),
que se convierte en
3I ( x) 0(md .
12).
Como
el
mcd (3, 0)
3,
la ecuacin tendr tres soluciones.
Dividiendo
por 3, I ( x) 0(md
.4),
de donde I ( x) 0, 4, 8 equivalentes a n 0,1, 3, 9 de
donde las so-
luciones a la ecuacin son x
1
0 + 13t, x
2
1 + 13t, x
3
3 + 13t y x
4
9 + 13t.
Par
a
5x
85
+ 8x
40
13(md.41),
que simplificamos
como
5x
5
+ 8
13(md.41),
y que
pode-
mos reducir a x
5
1(md .41).
Utilizando ndices modulares, 5I ( x) I(1)(md .40) equivalente a 5I ( x) 0(md
.40). Como el
mcd (5, 0)
5,
la ecuacin tiene cinco soluciones. Dividiendo por cinco y
simplificando, tene-
mo
s
I ( x) 0(md .
8),
de
donde
I ( x) 0, 8,16, 24,
32
equivalente
s a
n 1,10,18,16,
37
que
son las soluciones a la ecuacin y que escribimos en la forma
x
1
1 + 41t, x
2
10 + 41t, x
3
16 + 41t, x
4
18 + 41t y x
5
37 + 41t.


Par
a
5x
85
+ 8x
40
13(md.533),
como las ecuaciones parciales han dado cuatro y
cinco solu-
ciones, respectivamente, sta tendr veinte soluciones que se pueden
encontrar utilizando el
Teorema Chino de Restos y
que son,
365, 406, 469, 508, 510, 529 (md .
533).
f ( x) 1,16, 42, 78, 92,100,133,139,165,182, 211, 247, 256, 338,
3.6 Resolver el
sistema
f (x) 7 x
90
+ x
63
9(md.6231) .
Factorizamos el mdulo como 6231 3 31 67.
Par
a
7 x
90
+ x
63

9(md.3),
simplificamos a 1 + x
0(md .3)
que tiene como
solucin
x 2 + 3t.
Par
a
7 x
90
+ x
63

9(md.31),
simplificamo
s a
7 + x
3

9(md.31)
que podemos escribir
como
x
3
2(md.31). Utilizando ndices, 3I ( x) I(2)
(md .30)
donde 3I ( x) 24(md .30).
Como el
mcd (3, 24) 3, tres sern las soluciones de la ecuacin. Dividiendo la
ecuacin por 3, resulta


I ( x) 8(md .
10)
de
donde
I ( x) 8,18, 28
equivalentes a
n 20, 4, 7. Las soluciones
de la
ecuacin son x
1
4 + 31t, x
2
7 + 31t y x
3
20 + 31t.
Par
a
7 x
90
+ x
63

9(md.67),
simplificamo
s a
7 x
24
+ x
63

9(md.67).
Para simplificar
los ex-
ponentes hemos utilizado la funcin de Euler (67) 67 1 66, nmero
que es mayor que
el segundo coeficiente 63. Podemos forzar el coeficiente negativo haciendo
que 63 66 3
y reescribiendo la ecuacin
simplificada como
7 x
24
+ x
3

9(md.67)
equivalente
a
7 x
24
+ 1 x
3

9(md.67).
Quitando denominadores,
resulta
7 x
27
9x
3
+1
0(md.67)
que
tiene como
solucin
riores.
x 17, 24, 26(md .
67),
como podr comprobar utilizando
mtodos ante-
Aplicando el teorema chino de restos,
el sistema
f (x) 7 x
90
+ x
63

9(md.6231)
tiene
como
soluci
n
f ( x) 627, 888,1089,1433,1632,1833, 2438, 2639, 3510, 4037, 4515, 4716, 4781,
5042,
5243, 5786, 5987, 6114(md .6231).
3.7 Resolver el
sistema
f (x) x
20
- 20x
40
2(md.1127) .
Empecemos por factorizar el mdulo: 1127 7
2
23.
Par
a
x
20
- 20 x
40

2(md.7),
simplificamo
s a
x
2
+ x
4

2(md.7)
que podemos escribir
como
x
2
(x
2
+1) 2(md.7) y que tiene como solucin x 1, 6(md .7).
Par
a
x
20
- 20x
40

2(md.23),
simplificamos a 1 x
2
+ 26
x
4

2(md.23)
que quitando
deno-
minadores podemos escribir como x
2
+ 26 2x
4
(md.23).
Si ahora unificamos
monomios,
tenemos 2 x
4
x
2

3(md.23)
que podemos
transformar en
x
2
(2 x
2
1)
3(md.23)
que
tiene como solucin x 6,17(md .23).
Para resolver la
ecuacin
x
20
- 20x
40

2(md.49),
ya que conocemos las
soluciones del
mdulo 7, utilizaremos la formula de Taylor, ! 1685 1731 ,
matemtico
ingls que la descubri. Los valores de la ecuacin x
2
+ x
4
2(md.7) y sus
derivadas, son

? ?

f ( x)
x
2
+
x
4

f
(1)
2
f ( x)
2x
+
4x
3

f (1) 6
'

f (4)
1332
'

f (4) 876
Ahora debemos resolver la
ecuacin
f ( x) + f ( x) pt 0(md . p
n
), que sustituyendo
los valo-
res obtenidos, obtenemos x 6, 43(md .49).
Utilizando el teorema chino de restos, la solucin al sistema planteado
vendr determinado
po
r
f ( x) 6,190,937,1121(md .1127).
3.8 Confeccionar tabla de nmeros e ndices mdulo 13
Sabemos que la raz primitiva de 13 es 2. Las restantes races primitivas se
obtienen calculando
los r tales
que
mcd (r ,12)
1.
stos resultan
ser
r 5,
7,11,
con lo que las races
pedidas
son, 2
5

6(md.13),
2
7
11(md.13) y 2
11
7(md.13).

b b b b 2
2

Para pasar de un ndice de base b a otro de base b .
Supongamos conocido
x
x I
b
(n) y
que-
remos
calcular
x
I
b
(n), si b
n(md. p),
entonces
x
I
b
(b
) I
b
(n)(md . p 1), por
lo
qu
e
x

I (b
1
I (n)(md. p 1). Por consiguiente, es suficiente
calcular la columna
I
2
(n) de
la tabla siguiente, y, a partir de ella calcular las otras mediante x

I (b
1
I
(n)(md. p 1).
Suponga
mos
I (n)
(I
(6)
1
I
(n)(md.12).
Como
I (6)

5,
I (6)
1
1 5 5(md .12),
ya
6 2 2 2 2
que 5 5 25 1(md
.12).
De la misma
manera, si
I (11)
1
= 1 7 7(md .
12) ,
ya
que
7 7 49 1(md .
12).
Anlogame
nte
I (7)
1
=
11,
ya que 11 11 121 1(md .
12). De
esta manera la tabla nos queda de la siguiente forma:
n I
2
(n) I
6
(n)
I
7
(n)
I
11
(n)
1 0 0 0 0
2 1 5 1
1
7
3 4 8 8 4
4 2 1
0
1
0
2
5 9 9 3 3
6 5 1 7 11
7 1
1
7 1 5
8 3 3 9 9
9 8 4 4 8
10 1
0
2 2 10
11 7 1
1
5 10
12 6 6 6 6
No ta: Este supuesto aparece en la pgina 308 de Problemas y Ejercicios de Matemticas
Discreta de Antonio Vera
Lpez y Ramn Esteban Romero.
3.9 Confeccionar tabla de nmeros e ndices mdulo 17
Sabemos que la raz primitiva
de 17 es
g 3 y los nmeros que generan las nuevas
races pri-
mitivas vendrn determinados por mcd (n,16) 1, 3, 5, 7, 9,11,13,15. Con estos
nmeros ndices
se generan las races primitivas de la forma siguiente:
3
1
3(md.17), 3
3
10(md.17), 3
5
5(md.17), 3
7
11(md.17),
3
9
14(md.17), 3
11
7(md.17), 3
13
12(md.17), 3
15
6(md.17)
donde las races primitivas, respecto al mdulo 17, son 3, 5, 6, 7,10,11,12,14.
Ahora podemos
crear las tablas ndices de estas races primitivas:
g
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
3 1 3 9 10 13 5 15 11 16 14 8 7 4 12 2 6
5 1 5 8 6 13 14 2 10 16 12 9 11 4 3 15 7


6 1 6 2 12 4 7 8 14 16 11 15 5 13 10 9 3
7 1 7 15 3 4 11 9 12 16 10 2 14 13 6 8 5
10 1 10 15 14 4 6 9 5 16 7 2 3 13 11 8 12
11 1 11 2 5 4 10 8 3 16 6 15 12 13 7 9 14
12 1 12 8 11 13 3 2 7 16 5 9 6 4 14 15 10
14 1 14 9 7 13 12 15 6 16 3 8 10 4 5 2 11


10.4 Sistemas multidimensionales
4.1 Transformacin a sistemas multivariables.
Sea una ecuacin monovariable cuadrtica ax
2
+ bx c, que tiene solucin.
Sea una ecuacin
multivaria
ble
ax
2
+ by
c.
Estas dos ecuaciones sern equivalentes s, y slo
s, c es restos
cuadrtico de ax
2
respecto al
mdulo b.
5
t
5
2
+
4

2
5
t
33
Suponga
mos
x
2
+ 5x 2. Esta ecuacin tiene como
solucin
x ,
2 2
dos races reales. La
ecuacin
x
2
+ 5 y
2
tendr solucin s, y slo s, 2 es resto
cuadrtico
respecto al mdulo 5. Por el
criterio de Euler
a
( p
1)/ 2
1(md.
p),
aplicado a nuestro
caso
2
(5
1)/ 2
3 T 1(md .
5),
2 no es resto cuadrtico respecto al mdulo 5 y, por
tanto, los siste-
mas no son equivalentes ni transformables.
4.2 Transformar la
ecuacin
x
2
+ 5 x 4 0 .
5
t
5
2
+
4

4
5
t
41
La solucin de x
2
+ 5x 4 0 es x
2 2
, dos races reales.
Par
a
x
2
+ 5 y 4
0,
com
o
4
(5
1)/ 2

1(md.5),
el sistema es transformable y
tendr cuatro
races, dos por cada variable.
A continuacin exponemos un mtodo de solucin para estas
ecuaciones. Calcular x e n func i n de y : Por ecuaciones
modulares.
Se
a
x
2
+ 5 y 4 que
transformamos en
x
2
4(md.5).
Como
x
2
2
2
(md.5), la ecuacin
tie-
ne como
solucin
x 2(md .5). De acuerdo con Gauss, si una ecuacin
cuadrtica pura admi-
te una raz, tambin admitir una segunda que ser la inversa de
aquella. En este caso,
x -2(md.5). Como la inversa o complemento de 2 , respecto al mdulo 5
es 3, la segunda
raz ser x 3(md .5) luego, la solucin ser, x
1
2 + 5t y x
2
3 + 5t.
Calcular ye n funci n de x: Por sustitucin.
En x
2
+ 5 y 4, sustituyendo el valor de

1 2

x, obtenemos (2 + 5t)
2
+ 5 y
4.
Como
5 y 4 (2 +
5t)
2
es equivalente a 5 y 4 (2
+ 5t)
2
resulta
para
y (4t + 5t
2
).
Referente a
la segunda
raz,
5 y 4 (3 +
5t)
2
resulta
para
y (1 + 6t + 5t
2
). El sistema
propuesto tiene
cuatro soluciones paramtricas que, como sistema indeterminado, genera
infinitas soluciones que resumidas resultan:
2
+
5t y
(0
+
4t
+
5t
2
)
x
2
+
5 y
'

1 1
x
3
+
5t
y
(1
+
6t
+
5t
2
)
2 2


4.3
A partir de la ecuacin 5 x
2
+ 11x 3 crear, si es posible, un
sistema multidimen-
sional.
11
t
11
2
4

5(
3)
11
t
181
La solucin a 5x
2
+ 11x 3 0 es x
2 5 10
, dos races reales.
Para 5x
2
+ 11x 3 0, como 3
(11
1)/ 2

1(md.11),
multivariable 5x
2
+ 11y 3.
la ecuacin es transformable en el
sistema
Para la
ecuacin
5x
2
+ 11x
3.
Transformamos a una
modular
5x
2
+ 11x
3(md.11)
que
simplificada podemos
escribir como
x
2

5(md.11).
Esta ecuacin tiene dos
soluciones,
x
1
4 + 11t y x
2
7 +
11t.
Por otra parte, la
funcin Euler
(11) 11 1
10,
soluciones
que
modifican los exponentes y que
escribimos como
e
1
2 + 10s y e
2
1 +
10s.
Por todo lo
ex-
puesto, la
ecuacin
5x
2
+ 11x
3(md.11)
se transforma en un sistema con
infinitas solucio-
nes mediante la modificacin de los parmetros e y t que podemos escribir
como:
f ( x)
5x
e
1
+
11x
e
2
3(md.11)
x
1

4 + 11t
e
1
2 + 10s
'
'

x
2
7 +
11t
e
2
1 + 10s
Para la ecuacin 5x
2
+ 11x 3. Transformamos en 5x
2
+ 11y = 3, una ecuacin
multivariable.
De spejamo s x e n funci n de y:
Sea 5x
2
+ 11y = 3 que escribimos como 5x
2
3(md.11).
Simplificada resulta
que sabemos tiene como solucin x
1
4 + 11t y x
2
7 + 11t.
x
2
5(md.11)
De spejamo s y e n funci n de x:
En la ecuacin 5x
2
+ 11y = 3, sustituyendo los valores de x, obtenemos 5(4 +
11t )
2
+ 11y = 3 y
5(7 + 11t )
2
+ 11y = 3. Ahora, despejamos y en cada una de las ecuaciones:
y

3 + 5(4 +
11t)
2
3 + 5(16 + 88t +
121t
2
7
+
40t
+
55t
2
1
11 11


y

3 + 5(7 +
11t )
2
3 + 5(49 + 154t +
121t
2
22
+
70t
+
55t
2
2
11 11
Por la funcin Euler sabemos que (11)
11 1 10,
con e
1
2 + 10s y e
2
1 + 10s, por
tanto,
la ecuacin 5x
2
+ 11y = 3 puede ser transformada en el siguiente sistema
multidimensional:
4
+
11t
y
7
+
40t
+
55t
2
e
2
+
10s
f ( x, y) 5x
e
1
+ 11y
e
2
3(md .11)
'

1
x
7
+
11t
1
y
22
+
70t
+
55t
2
1
'
e
1
+
10s
2 2 2

333

4.4
A partir de la
ecuacin
sional.
x
3
+ 7 x 6 crear, si es posible, un sistema
multidimen-
La
ecuacin
x
3
+ 7 x 6 tendr solucin si, y slo si 6 es resto cuadrtico
respecto al mdulo
7. Como 6
( 7
1)
1(md.7), la ecuacin tiene solucin en la forma x
3

6(md .7).
Utilizando ndices, como 3I ( x) I(6)(md .6) es equivalente a 3I ( x)
3(md .6),
que
divi-
dida por 3, resulta I ( x) 1(md .2). Como para I ( x) 1, 3, 5
equivalentes a
lucin a la ecuacin planteada resulta x
1
3 + 7t, x
2
5 + 7t y
x
3
6 + 7t.
x 3, 6 y 5, la
so-
Por la funcin de Euler sabemos que (7) 6 de donde e
1
3 + 6s y e
2
1 +
6s, por tala ecua-
cin x
3
6(md .7) puede ser transformada en un sistema multidimensional
como:
x
1
3 +
7t
3
+
6s
f ( x)
x
e
1
+
7 x
e
2
6(md .7)
5
+
7t
1
'
2
'
e
1
+
6s
6
+
7t
2

3
Para la
ecuacin
x
3
+ 7 y
6,
son vlidas las soluciones
anteriores de
x, por tanto,
sustitu-
yendo esos valores en la
ecuacin, resulta
(3 + 7t)
2
+ 7 y =
6,
(5 + 7t )
2
+ 7 y = 6y
(6 + 7t )
2
+ 7 y = 6, ecuaciones que tienen para y las siguientes soluciones:
y
6
+
(3
+
7t)
1
7
3 + 27t + 63t
2
+ 49t
3
y
6
+
(5
+
7t
)
2
7
17 + 75t + 105t
2
+ 49t
3
y
6
+
(6
+
7t
)
3
7
30 + 108t + 126t
2
+ 49t
3
La ecuacin x
3
+ 7 y 6 genera un sistema multivariable y multidimensional


de la forma:
3
+
7t y
3
+
27t
+
63t
2
+
49t
3

1 1
3
+
6s
f ( x, y)
x
e
1
+
7 y
e
2
6(md .7)
'

x
5
+
7t
y
17
+
75t
+
105t
2
+
49t
3
'

1

2 2
1
+
6s
x
6
+
7t
y
30
+
108t
+
126t
2
+
49t
3 2
3 3
4.5
A partir de la ecuacin 7 x
51
+ 13x
13
4 crear, si es posible, un
sistema multidi-
mensional.
Por la funcin de Euler sabemos que (13) 12. La ecuacin
7 x
51
+ 13x
13
4
podemos
sim-
plificarla
a
7 x
51
12
4
+ 13x
13
12
4 7 x
3
+ 13x
4
y resolverla
como
7 x
3
4(md.13).
Ahora quitamos el coeficiente dependiente de x y obtenemos x
3
8(md.13).
Observar que
x
3
2
3
(md.13),
por
tanto
x 2(md .
13).
Si utilizamos ndices, 3I ( x) I(8)
(md .12)
equivalente a 3I ( x) 3(md .12), de donde I ( x) 1(md .4). Como
I ( x) 1, 5, 9
las soluciones de la ecuacin, son x
1
2 + 13t, x
2
5 + 13t y x
3
6 +
13t.
y x 2, 6,
5

1
2 3

La ecuacin 7 x
3
+ 13x 4 genera un sistema monovariable y
multidimensional de la forma:
x
1
2 +
13t
3
+
12s
f ( x)
7 x
e
1
+
13x
e
2
4(md .13)
5
+
13t
1
'
2
'
e
1
+
12s
6
+
13t
2

3
Sustituyendo en 7 x
3
+ 13 y 4 los valores de x, obtenemos:
3 2 3
7(2 +
13t )
+ 13 y 4 y
1
4 + 84t +
546t
+ 1183t
3 2 3
7(5 +
13t)
+ 13 y 4 y
2
67 + 525t +
1365t
+ 1183t
3 2 3
7(6 +
13t )
+ 13 y 4 y
3
116 + 756t +
1638t
+ 1183t
La ecuacin 7 x
3
+ 13 y 4 genera un sistema multivariable y
multidimensional de la forma:
2
+
13t,
y
4
+
84t
+
546t
2
+
1183t
3

1 1
3
+
12s
f ( x, y)
7 x
e
1
+
13x
e
2
4(md .13)
'

x
5
+
13t,
y
67
+
525t
+
1365t
2
+
1183t
3
'

1

2 2
1
+
12s
x
6
+
13t,
y
116
+
756t
+
1638t
2
+
1183t
3 2
3 3
4.6
A partir de la
ecuacin
sional.
x
3
+ 7 x
2

6
crear, si es posible, un sistema
multidimen-
Si resolvemos la
ecuacin como
x
3
+ 7x
2
6(md.7), dado que 7 x
2
es mltiplo del
mdulo,
la ecuacin tiene como
solucin
dos por
x 3, 5, 6(md .
7),
y los valores
de
y
2
vendrn
determina-
y t ( 3 + 27t + 63t
2
+ 49t
3
)
1 2
,
y t
(
17 + 75t + 105t
2
+ 49t
3
)
1 2
y t
(
30 + 108t + 126t
2
+ 49t
3
)
1 2
Que son los valores del supuesto 4.4.
4.7
A partir de la ecuacin


sional. x
10
+ 7 x
2
4 crear, si es posible, un sistema
multidimen-
La funcin de Euler determina
que
(7)
6.
Si resolvemos la
ecuacin como
x
10
+ 7 x
2

4(md.7),
dado
que
7
x
2
es mltiplo del mdulo
y que
x
106
x
4
,
obtenemo
s
una ecuacin
simplificada de
x
4
4(md .7), que tiene como solucin x 3, 4(md .
7).
Sustituyendo estos valores en x
10
+ 7 y
2
4, resulta para y
2
4 2
(
2 3 4
)
1 2
(3 +
7t)
+ 7
y
4 y
1
t 11 + 108t +
378t
+
588t
+ 343t
4 2
(
2 3 4
)
1 2
(4 +
7t)
+ 7
y
4 y
2

t
36 + 256t +
672t
+
384t
+ 343t
Un sistema multivariable y multidimensional.

1
1

4.8
Resolver la
ecuacin
x
42
+ 55 y
2
1 .
Si tomamos la ecuacin como x
42
+ 55 y
2
1(md.55), dado que 55 y
2
es
mltiplo del mdu-
lo y ste se factoriza 55
5 11,
tenem
os
x
42
+ 55 y
2

1(md.55)
que es
equivalente a
x
42
+ 5 y
2
(md.5)
y
x
42
+11y
2
1(md.11). Si estas ecuaciones tienen
solucin, tambin
las tendr la ecuacin que las ha generado.
Se
a
x
42
+ 5y
2
1(md.5). El trmino
5 y
2
es mltiplo del mdulo y por la funcin
Euler sa-
bemos que (5) 4, de
donde
x
42
10
x
2
, por tanto x
2
1(md.5) es la ecuacin
a resol-
ver y que, como fcilmente se puede comprobar, tiene como soluciones x
1, 4(md .5).
Se
a
x
42
+11y
2

1(md.11).
El trmino
11y
2
es mltiplo del mdulo y por la
funcin Euler
sabemos que (11)
10,
de
donde
x
4210 4
x
2
,
por
tanto
x
2
1(md.11) es la
ecuacin a
resolver y que tiene como soluciones x 1,10(md .11).
Se
a
x
42
+ 55 y
2
1(md .
55).
El
trmino
55 y
2
es mltiplo del mdulo. Por la
funcin Euler
sabemos que (55)
40,
de
donde
x
4240
x
2
,
lueg
o
x
2

1(md.55)
es la ecuacin a
re-
solver. Por el teorema chino de restos, estas soluciones son x 1, 21, 34,
54(md .55).
Conocidos los
valores de
x
2
55 y
2
1,
(*)
esto
es:
x, los valores de y vendrn determinado mediante
sustitucin en
(1 +
55t)
2
55
y
2

1,
y
1

t
(
0 + 2t +
55t
2
)
2
1
(21 +
55t)
2
55 y
2
2 2

1,
y
2

t
(
8 + 42t +
55t
(
2
)
2
2
)

2
(34 +
55t) (5
4
5
55 y
2
55 y
2
1,

1

1,
y
3

t
y
4

t
21 +
68t +
55t
(
53 + 108t +
55t
2
)
2
(*)
Ponemos 55 y
2
en negativo ya que las soluciones que genera son en .
Esta ecuacin genera un sistema multivariable y multidimensional que
podemos identificar
com
o
x
e
1
+ 55 y
e
2

1(md.55)
con
e
1
2 +
40s
y
e
2
2 + 40s, iguales por
pertenecer a ex-
ponentes originales iguales pero distintos, ya que pueden ser utilizados de
forma independien- tes.
4.9
A partir de la
ecuacin
dimensional.
x
3
+ 7 y
2
+ 11z 13 crear, si es posible, un
sistema multi-
Dado que se trata de una ecuacin con tres variables, la solucin debe
pasar por tomar dos
variables principales, por
ejemplo x y
tearla como x
3
+ 7 y
2
13 11z.
y, y una libre, z por tanto, la ecuacin
podremos plan-

1 1 1 1
1
1
1

Sea x
3
+ 7 y
2
13 11s(md.7) que reducimos a x
3
6 + 3s(md.7).
x recorre el sistema completo de restos respecto al mdulo 7.
6 + 3s debe ser resto cuadrtico de x respecto al mdulo 7.
z recorre parte del sistema completo de restos respecto a 11 (md .7)
5.
Por tanteo obtenemos:
{x 0, z 5,{x 1, z 3,{x 2, z 3,{x 3, z 0
{
x 4, z 3
,
{
x 5, z 0
,
{
x 6, z 0
Aplicando a la ecuacin x
3
6 + 3s(md.7), resulta para x las siguientes
soluciones:
x
1
0 + 7t, x
2
1 + 7t, x
3
2 + 7t, x
4
3 + 7t,
x
5
4 + 7t, x
6
5 + 7t, x
7
6 + 7t.
En funcin de estos resultados, las soluciones de y vendrn determinadas
por:
(0 + 7t
)
3
+ 7 y
2
+ 11 5 13
y
1

t
{
6 +
49t
3

2
(1 + 7t
)
3
+ 7 y
2
+ 11 3 13
y
2

t
{
3 + 3t +
21t
2
+ 49t
3

2
(2 + 7t
)
3
+ 7 y
2
+ 11 3 13
y
3

t
{
4 + 12t +
42t
2
+ 49t
3

2
(3 + 7t
)
3
+ 7 y
2
+ 11 0 13
y
2

t
{
2 + 27t +
63t
2
+ 49t
3

2
(4 + 7t
)
3
+ 7 y
2
+ 11 3 13
y
5
t
{
12 + 48t +
84t
2
+ 49t
3

2
(5 + 7t
)
3
+ 7 y
2
+ 11 0 13
y
6
t
{
16 + 75t +
105t
2
+ 49t
3

2
(6 + 7t
)
3
+ 7 y
2
+ 11 0 13
y
7

t
{
29 + 108t +
126t
2
+ 49t
3

2
10 . 5 Si st emas crip to gr fi co s:Herr ami ent as ut il izadas
5.1 Orden multiplicativo.
Si a, m son dos enteros positivos mcd (a, m) 1,

n

si (m) e, entonces a
e
1(md.m) y se de-
nota como ord
m
a.
El orden multiplicativo de a mdulo m es el menor entero
positivo e
que
cumple
a
e
1(md.m).
Por ejemplo, para determinar el orden
multiplicativo de
4 mdulo
7,
4
2
2(md.7) y 4
3
1(md.7), por lo que
ord
4 3.
Algunas de las propiedades de los rdenes multiplicativos son:
1. Si ord
m
a e,
entonces a
1(md.m) s, y slo s e | n.
2. Si p es primo, entonces ord
m
a | p 1. En particular ord
m
a | (m).
s t
3. Si ord
m
a e,
entonces a
a (md.m) s, y slo s s t (md .e). Como mcd (a,
m) 1,
esto implica que a
s
t
1(md .m).

7
13

Referente al ejemplo
anterior, como
lente a 4
2
- 4
3
1(md.7).
4
2
2(md.7)
y
4
3
1(md.7),
4
2
4
3
(md.7)
equiva
-
5.2 Grupo cclico.
En teora de grupos, un grupo cclico es un grupo que puede ser generado
por un solo elemen-
to; es decir, hay un elemento g
del grupo
G, llamado "generador" de G , tal que
todo ele-
mento de G puede ser expresado como una potencia de g. Si la operacin
del grupo se deno-
ta aditivamente, se dir que todo elemento de G se puede expresar como
ng , para n entero.
En otras palabras, G es cclico, con un
generador
g,
si
G
{
g
n
| n
. Dado que un
grupo
generado por un elemento de G es, en s mismo, un
subgrupo de G ,
basta con demostrar
que
el nico subgrupo de G que contiene a g es el mismo G para probar que
ste es cclico.
Por ejemplo, G
{
e, g
1
, g
2
, g
3
, g
4
es cclico. De hecho, G es esencialmente igual

(esto es, iso-
morfo) al grupo {1, 2, 3, 4 bajo la operacin de suma mdulo 5. El isomorfismo
se puede hallar fcilmente haciendo g 1.
Contrariamente a lo que sugiere la palabra "cclico", es posible generar
infinitos elementos y
no formar nunca un ciclo real: es
decir, que cada
g
n
sea distinto. Tal grupo sera
un grupo
cclico infinito, isomorfo al grupo de los enteros bajo la adicin.
Salvo isomorfismos, existe exactamente un grupo cclico para cada cantidad
finita de elemen-
tos, y exactamente un grupo cclico infinito. Por lo anterior, los grupos
cclicos son de algn
modo los ms simples, y han sido completamente clasificados.
Por esto, los grupos cclicos normalmente se denotan simplemente por el
grupo "cannico" al
que son isomorfos: si el grupo es
de orden
n, para n entero, dicho grupo es el
grupo n de
enteros {0,1,,
n 1
bajo la
adicin
mdulo n. . Si es infinito, ste es, como cabe
esperarse,
. Ejemplo, comprobar la
relacin entre
ord
13
7.
y
ord
13
5.
Com
o
mcd (5,13) 1 mcd
(7,13),
calculamos 5
e
, 7
e
1(md.13),
donde e es igual a 5
1
, 5
2
, 5
3
, 5
4
(md.13) 5,12,8,1,
por tanto
5
4
1(md.13) y el orden
multiplicativo ord
5 4.
Par a

13 9

7
1
,
7
2
,
7
3
, 7
4
, 7
5
, 7
6
, 7
7
, 7
8
, 7
9
, 7
10
, 7
11
, 7
12
(md.13) 7,10, 5, 9,11,12, 6, 3,8,
4, 2,1,
por
tanto
7
12
1(md.13) y el orden
multiplicativo ord
7 12.
Ejemplo, encontrar todos los elementos de ord
21
5. Como (21) (3) (7) 2
6 12, los factores primos de 12, son {1, 2, 3, 4, 6,12 suficientes para
valorar ord
21
5.
Como 5
1
, 5
2
, 5
3
, 5
4
, 5
6
(md.21) 5, 4,
20,16,1,
multiplicativo.
5.3 Raz primitiva.
lueg
o
5
6
1(md .
21)
y
ord
21
5
6
es el
orden
Si g es un entero positivo donde mcd (
g, m) 1,
g ser una raz primitiva respecto al
mdulo
m, si, y slo si ord
m
g (m). Comprobar s 2 es raz primitiva de 9.
Tenem
os
(9) 3
2
3
1

6,
dond
e
2
6
1(md.9)
y 2
k
T1(md.9)
s 0 < k <
6.
Como
ord 2 1, 2, 3, 6, para 2
1
, 2
2
,
2
3
, 2
6
(md.9) 2, 4,8,1 y para ord
9
2 6, se puede
asegurar que
2 es raz primitiva de 9. Las races primitivas restantes se obtienen
calculando los restos r tales que mcd (r, 9) 1, en este caso 2 y 5.
Calcular las races primitiva
de 11. Sea
(11) 11 1
10
y mcd (r,10) 1, 3,
7, 9.
Como
2
1
, 2
3
, 2
7
, 2
9
(md.11) 2,8, 7, 6, stas son las races primitivas, respecto al
mdulo 11.


5.4 Logaritmo discreto.
Si a es entero arbitrario relativamente primo con m, y g es una raz
primitiva de m, enton-
ces existir entre los nmero {0,1,
2,, (m) 1,
nmero que satisfaga a a g
(md.n).
dond
e

(m)
es la funcin de
Euler, un
El nmero es denominado logaritmo discreto de a respecto a la
base g mdulo
m, y
se
denota
como
log
g
(md
.m).
Este nmero es utilizado frecuentemente en
sistemas de se-
guridad y criptografa.
Confeccionar tabla de logaritmos discreto de
11
sabiendo que las
races primitivas son
2, 6, 7 y 8.
0 1 2 3 4 5 6 7 8 9
2

(md .11) 1 2 4 8 5 10 9 7 3 6
0 1 2 3 4 5 6 7 8 9 10
log
2
0 1 8 2 4 9 7 3 6 5
g /
0 1 2 3 4 5 6 7 8 9
2 1 2 4 8 5 10 9 7 3 6
6 1 6 3 7 9 10 5 8 4 2
7 1 7 5 2 3 10 4 6 9 8
8 1 8 9 6 4 10 3 2 5 7
La tabla general de logaritmos discretos respecto a
11
, es
/ g log
2
log
6
log
7
log
8
1 0 0 0 0
2 1 9 3 7
3 8 2 4 6
4 2 8 6 4
5 4 7 2 8
6 9 1 7 3
7 7 3 1 9
8 3 6 9 1
9 6 4 8 2
1
0
5 5 5 5
5.5 Mtodo de los cuadrados repetidos.
Para el
clculo de
x
n
,
cuando n es suficientemente grande, se puede simplificar
utilizando la
descomposicin de n en factores binarios, tales que n x
1
+ x
2
+ x
4
+ x
8
+ +
x
n
.
Ejemplo: Calcular 19
21
r(md.17). Observamos que 19
21
2
21
r(md.17) y la


descomposi-
cin del exponente
resulta
21 2
4
+ 2
2
+
1.
Ahora planteemos la solucin de la
ecuacin
2
21
r(md.17) de la siguiente forma:


2
1
2(md.17)
2
2
2
2
4(md.17)
2
4
4
2
16(md.17)
2
8
16
2
1(md.17)
2
16
1
2
1(md.17)
2
21
2
16+4+1
1 16 2 32 15(md.17)
Teniendo en cuenta que, por la funcin de Euler
(17) 17 1 16,
la ecuacin
tambin se
podra haber resuelto como 2
21
2
21-16
5
r(md.17), de donde 2
5
(md.17)
15.
Ejemplo: Calcular 31
73
r(md.101). La descomposicin del exponente es 73
2
6
+ 2
3
+ 1 y la solucin la planteamos como:
Exp
Cuadrados sucesivos
1 31
1
31(md.101)
31
2
31
2
52(md.101)
31
4
52
2
78(md.101)
8 31
8
78
2
24(md.101)
31
16
24
2
71(md.101)
31
32
71
2
92(md.101)
64 31
64
92
2
81(md.101)
73
31
73
31
64
+
8
+
1
81 24 31 60264
68(md.101)
La solucin de este supuesto sera muy difcil aplicando mtodos normales
ya que el resultado
de 31
73
7402930120435182309838061067999977541338847655293867577988460115733182809088639813666435147650814205274159391
sera imposible de manejar.
5.6 Matrices.
En criptografa la codificacin de mensajes requiere, a veces, la
agrupacin en bloques de di- chos cdigos. Esto se puede llevar a cabo
utilizando matrices de 2 x 2, 3 x 3 n x n, de- pendiendo del tamao del
mensaje o del enmascaramiento que se quiera hacer de l.
Supongamos el sistema:
2 x 2,
ax + by e(md
.m)
cx + dy f (md
.m)
|
a b
` |
x
` |
e
`

(md .m)
.
c d
, .
y
, .
f
,
para
ad bc
a b
(md .m),
c d


si x
o
e
y
o
son soluciones al sistema:


x
1
(
ed
bf
)

1
a b
(md .m)
e
o
f d
y
1
(
af
cd
)

1
a e
(md .m)
o
c f
si, y slo si mcd (, m) 1 con ad bc(md .m)
y
te e inversa, respectivamente.
Como ejemplo resolvemos el siguiente
supuesto:
3x + 13 y 8(md .55)
5x + 21y 34(md .55)
1
ad bc

1
(md.m),
determinan-
Par
a
3 21 13 5
53(md.55)
y mcd (53, 55)
1,
el sistema tiene una nica
solucin
mdulo 55. Como
1
27(md.55) obtenemos:
x
0

1
(de bf ) 27(21 8 13 34) 27(md .55)
1
y
0

(af ce) 27(3 34 5 8) 24(md .55)

Esto nos lleva a
que
cen a la
ecuacin.
x 27(mm.55)
e
y 24(mm.55) son las nicas soluciones que
satisfa-
Supongamos ahora un sistema lineal de 3x3 de la forma
a
1
x + b
1
y + c
1
z d
1
(md.m)
a
2
x + b
2
y + c
2
z d
2
(md .m)
a
3
x + b
3
y + c
3
z d
3
(md .m)
Este sistema tendr solucin en md. m si, y slo si mcd (, m) 1, donde
a
1
b
1
a
2
b
2
a
3
b
3
c
1
c
2
(md .m)
c
3
y con soluciones de
d
1
b
1
c
1
a
1
d
1
c
1
a
1
b
1
d
1

2 2 2 2 2 2

x
1
d b c (md .
m),
y
1
a d c (md .m) y z
1
a b d (md .m)
d
3
b
3
c
3
a
3
d
3
c
3
a
3
b
3
d
3
Por ejemplo, resolvemos el siguiente sistema:
3x + 4 y + 7 z 8(md.23)
5x + 6 y + 2 z 7(md.23)
3x + 5 y + 11z 1(md.23)
Aplicando el procedimiento descrito, obtenemos las siguiente solucin al
sistema:
x 20, y 13, z 18

2 2 2

B IB LI OGRA FIA:
BOLKER, Ethan D., Elementary Number Theory, ISBN: 0-486-45807-5
CRANTZ, Paul, Aritmtica y lgebra, Edicin 1926
KOSHY, Thomas, Elementary Number Theory with Applications, ISBN: 978-0-
12-372487-8
LANG, Serge, Algebraic Number Theory, ISBN: 0-387-94225-4
NATHANSON, Melvyn B. Elementary Methods in Number Theory, ISBN: 0-387-
98912-9
PHILLIPS, BUTTS y SHAUGHNESSY, lgebra con Aplicaciones, ISBN: 968-6034-
93-5
TATTERSALL, James T., Elementary Number Theory in Nine Chapters, ISBN: 0-
521-61524-0
VERA LPEZ, Antonio y otro, Problemas y Ejercicios de Matemtica
Discreta, ISBN: 84-605-
4351-X
A PO Y O I N T E R NET
http://www.akiti.ca/Mathfxns.html (Solucin de ecuaciones)
http://www.vadenumeros.es/actividades/division-por-ruffini.htm (Programa
matemtico)
http://www.vadenumeros.es/actividades/division-por-ruffini.htm (Soluciones
Ruffini)
http://www.wolframalpha.com/examples/ (Programa matemtico)
http://www.wolframalpha.com/examples/ (Soluciones algebraicas)
http://Hojamat.es
http://es.wikipedia.org/wiki/Ley_de_reciprocidad_cuadr%C3%A1tica
http://es.wikipedia.org/wiki/Residuo_cuadr%C3%A1tico

Raizprim

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Raizprim

Cargado por

Copyright:

Formatos disponibles

Rafael Parra Mach?o RA?

CES PRIMITIVAS, INDICES MODULARES Y SISTEMAS

puede ser cero, y

es cclico. De hecho, G es esencialmente igual

(af ce) 27(3 34 5 8) 24(md .55)

También podría gustarte