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.

En efecto,<br />

“⊆”: i n ∈ Sn tenemos dos casos. Si mcd(i,n) = 1, i n ∈ Tn. Si i n no está en forma reducida,<br />

entonces, usando <strong>la</strong> factorización prima <strong>de</strong> i y <strong>de</strong> n, simplificamos y nos queda i n = k h con<br />

mcd(k, h) = 1 y 1 ≤ k ≤ h. Como h|n, entonces k h ∈ T h y por tanto está en <strong>la</strong> unión <strong>de</strong> los “T d’s”.<br />

“⊇”: Ahora si s ∈ �<br />

d|n Td, entonces s ∈ Th para algún h|n. Por tanto, s =<br />

d>0<br />

j<br />

h<br />

y 1 ≤ j ≤ h. Si n = k ′ h, se tiene jk ′ ≤ n, así s = j<br />

h = k′ j<br />

k ′ h ∈ Sn.<br />

79<br />

con mcd(j, h) = 1<br />

Si d y d ′ son divisores distintos <strong>de</strong> n, Td ∩ Td ′ = ∅. Esto es así pues si s está en esta <strong>la</strong> intersección,<br />

s = j i<br />

d = d ′ =⇒ id = jd ′ y entonces, como mcd(j,d) = mcd(i,d ′ ) = 1, d|d ′ y d ′ |d. Esto<br />

contradice que d �= d ′ .<br />

Finalmente, |Sn| = ∑ d|n |Td|, entonces, como |Td| = ϕ(d), n = ∑ ϕ(d).<br />

d>0<br />

d|n<br />

d>0<br />

El teorema (5.2) nos da una fórmu<strong>la</strong> recursiva para calcu<strong>la</strong>r ϕ(n). No es un fórmu<strong>la</strong> a<strong>de</strong>cuada<br />

para cálculos porque requiere todos los divisores (primos y compuestos) <strong>de</strong> n<br />

EJEMPLO 5.3<br />

Como ϕ(1) = 1, ϕ(3) = 2 y ϕ(5) = 4, entonces<br />

ϕ(1) + ϕ(3) + ϕ(5) + ϕ(15) = 15 =⇒ ϕ(15) = 8.<br />

Teorema 5.3 Sea p primo y t un entero positivo. Si t ∤ (p − 1) entonces Zp no tiene elementos <strong>de</strong> or<strong>de</strong>n<br />

t. Si t|(p − 1), hay exactamente ϕ(t) elementos <strong>de</strong> or<strong>de</strong>n t en Zp<br />

Prueba: De acuerdo al teorema “pequeño” <strong>de</strong> Fermat, para cada a ∈ Zp, a �= 0, a p−1 ≡ 1 (mod p).<br />

Luego, si a es <strong>de</strong> or<strong>de</strong>n t, t|(p − 1), o lo que es lo mismo, si t ∤ (p − 1) no hay elementos <strong>de</strong><br />

or<strong>de</strong>n t.<br />

Para probar <strong>la</strong> segunda parte, <strong>de</strong>finimos una nueva función ψ(t) : Para cada entero positivo s<br />

que divi<strong>de</strong> a p − 1, sea ψ(s) el número <strong>de</strong> elementos <strong>de</strong> or<strong>de</strong>n s en Zp. Ahora, como cada<br />

elemento en Z ∗ p tiene algún or<strong>de</strong>n s que divi<strong>de</strong> a p − 1, entonces<br />

∑ ψ(t) = p − 1<br />

t|(p−1)<br />

Por el teorema (5.2), ∑t|(p−1) ϕ(t) = p − 1, entonces<br />

∑ (ϕ(t) − ψ(t)) = 0<br />

t|(p−1)<br />

Pero, para cualquier entero t, no hay elementos <strong>de</strong> or<strong>de</strong>n t o hay exactamente ϕ(t) elementos<br />

<strong>de</strong> or<strong>de</strong>n t; entonces ϕ(t) − ψ(t) ≥ 0 para todo t. Como los sumandos son ≥ 0 y <strong>la</strong> suma da

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

Saved successfully!

Ooh no, something went wrong!