27.12.2012 Views

Introducción a la teoría de números. Ejemplos y - TEC-Digital

Introducción a la teoría de números. Ejemplos y - TEC-Digital

Introducción a la teoría de números. Ejemplos y - TEC-Digital

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

235711<br />

5 131719<br />

RAÍCES 232931<br />

235711<br />

5.1 <strong>Introducción</strong><br />

PRIMITIVAS Y<br />

LOGARITMO DISCRETO<br />

Se pue<strong>de</strong> <strong>de</strong>mostrar que si p es primo, existe b ∈ Z tal que Zp = {Zp = {0,b,b 2 ,...,b p−1 }. A b<br />

se le l<strong>la</strong>ma “raíz primitiva” módulo p. Como cualquier elemento a ∈ Zp <strong>de</strong>be ser una potencia<br />

<strong>de</strong> b, tiene sentido <strong>de</strong>finir un logaritmo discreto (indicador) que resulta tener propieda<strong>de</strong>s simi<strong>la</strong>res<br />

al logaritmo usual. Es muy útil en el cálculo <strong>de</strong> residuos y para resolver algunos tipos <strong>de</strong><br />

ecuaciones congruenciales. Las raíces primitivas módulo n son usadas a menudo en criptografía.<br />

5.2 Raíces primitivas<br />

Definición 5.1 (Raíces primitivas) Sea m ∈ Z + y mcd(a,m) = 1. Si Ordm(a) = ϕ(m) entonces a<br />

se dice raíz primitiva módulo m<br />

Teorema 5.1 Si p es primo y b raíz primitiva módulo p, entonces<br />

Prueba: Ejercicio.<br />

EJEMPLO 5.1<br />

Zp = {0,b,b 2 ,...,b p−1 }.<br />

Ord5(3) = 4 pues 3 2 ≡ 4 (mod 5), 3 3 ≡ 2 (mod 5) y 3 4 ≡ 1 (mod 5). Entonces,<br />

Existencia <strong>de</strong> <strong>la</strong>s raíces primitivas.<br />

Z5 = {0,3,3 2 ,3 3 ,3 4 }<br />

77<br />

<strong>Introducción</strong> a <strong>la</strong> Teoría <strong>de</strong> Números.. Walter Mora F.<br />

Derechos Reservados © 2012 Revista digital Matemática, Educación e Internet (www.tec-digital.itcr.ac.cr/revistamatematica/)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!