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
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