Matemáticas II · Tema 6 · Sección 6.5

Ejercicios resueltos de función de Euler y elementos invertibles

4 ejercicios resueltos paso a paso del tema 6 de Matemáticas II (Aritmética modular). El enunciado está a la vista y la solución, plegada: intenta cada ejercicio antes de abrirla.

Ejercicio 1

Dificultad: Básico

Calcular ϕ(36)\phi(36) y listar todos los elementos invertibles en Z36\mathbb{Z}_{36}.

Ver solución paso a paso8 pasos
  1. Paso 1
    Factorizar 36

    36=4×9=22×3236 = 4 \times 9 = 2^2 \times 3^2

  2. Paso 2
    Aplicar la fórmula de Euler

    ϕ(36)=36×∏p∣36(1−1p)\phi(36) = 36 \times \prod_{p|36} \left(1 - \frac{1}{p}\right)

    Los primos que dividen a 36 son 2 y 3:

    ϕ(36)=36×(1−12)×(1−13)\phi(36) = 36 \times \left(1 - \frac{1}{2}\right) \times \left(1 - \frac{1}{3}\right)

    =36×12×23=36×26=36×13=12= 36 \times \frac{1}{2} \times \frac{2}{3} = 36 \times \frac{2}{6} = 36 \times \frac{1}{3} = 12

  3. Paso 3
    Verificar usando la fórmula alternativa

    Para n=p1a1×p2a2×⋯n = p_1^{a_1} \times p_2^{a_2} \times \cdots:

    ϕ(n)=n×∏i(1−1pi)=∏ipiai−1(pi−1)\phi(n) = n \times \prod_{i} \left(1 - \frac{1}{p_i}\right) = \prod_{i} p_i^{a_i-1}(p_i - 1)

    ϕ(36)=ϕ(22×32)=ϕ(22)×ϕ(32)\phi(36) = \phi(2^2 \times 3^2) = \phi(2^2) \times \phi(3^2)

    =22−1(2−1)×32−1(3−1)=21×1×31×2=2×6=12= 2^{2-1}(2-1) \times 3^{2-1}(3-1) = 2^1 \times 1 \times 3^1 \times 2 = 2 \times 6 = 12 ✓\checkmark

  4. Paso 4
    Encontrar los elementos invertibles

    Un elemento a∈Z36a \in \mathbb{Z}_{36} es invertible si y solo si gcd⁡(a,36)=1\gcd(a, 36) = 1.

    Debemos encontrar todos los a∈{0,1,2,…,35}a \in \{0, 1, 2, \ldots, 35\} tales que gcd⁡(a,36)=1\gcd(a, 36) = 1.

  5. Paso 5
    Método por exclusión

    Los elementos NO invertibles son aquellos que comparten factores con 36=22×3236 = 2^2 \times 3^2:

    Múltiplos de 2: {0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,30,32,34}\{0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34\}

    Múltiplos de 3: {0,3,6,9,12,15,18,21,24,27,30,33}\{0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33\}

    Elementos con gcd⁡(a,36)>1\gcd(a, 36) > 1: Unión de múltiplos de 2 y múltiplos de 3

    {0,2,3,4,6,8,9,10,12,14,15,16,18,20,21,22,24,26,27,28,30,32,33,34}\{0, 2, 3, 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 26, 27, 28, 30, 32, 33, 34\}

  6. Paso 6
    Elementos invertibles

    Z36\{no invertibles}={1,5,7,11,13,17,19,23,25,29,31,35}\mathbb{Z}_{36} \setminus \{\text{no invertibles}\} = \{1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35\}

  7. Paso 7
    Verificación

    Contamos: ∣{1,5,7,11,13,17,19,23,25,29,31,35}∣=12=ϕ(36)|\{1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35\}| = 12 = \phi(36) ✓\checkmark

  8. Paso 8
    Verificación de algunos elementos

    Para a=5a = 5: gcd⁡(5,36)=1\gcd(5, 36) = 1 ✓\checkmark

    Para a=7a = 7: gcd⁡(7,36)=1\gcd(7, 36) = 1 ✓\checkmark

    Para a=25a = 25: gcd⁡(25,36)=gcd⁡(25,36)=1\gcd(25, 36) = \gcd(25, 36) = 1 ✓\checkmark (ya que 25=5225 = 5^2 y 36=22×3236 = 2^2 \times 3^2)

    Respuesta:

    • ϕ(36)=12\phi(36) = 12
    • Elementos invertibles: {1,5,7,11,13,17,19,23,25,29,31,35}\{1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35\}

Ejercicio 2

Dificultad: Intermedio

Verificar el Teorema de Euler calculando 7ϕ(15)(mod15)7^{\phi(15)} \pmod{15} y también calcular 7100(mod15)7^{100} \pmod{15}.

Ver solución paso a paso7 pasos
  1. Paso 1
    Calcular ϕ(15)\phi(15)

    15=3×515 = 3 \times 5

    ϕ(15)=15×(1−13)×(1−15)\phi(15) = 15 \times \left(1 - \frac{1}{3}\right) \times \left(1 - \frac{1}{5}\right)

    =15×23×45=15×815=8= 15 \times \frac{2}{3} \times \frac{4}{5} = 15 \times \frac{8}{15} = 8

  2. Paso 2
    Verificar que gcd⁡(7,15)=1\gcd(7, 15) = 1

    Como 7 es primo y 7∤157 \nmid 15, tenemos gcd⁡(7,15)=1\gcd(7, 15) = 1 ✓\checkmark

  3. Paso 3
    Aplicar el Teorema de Euler

    Por el Teorema de Euler: 7ϕ(15)≡78≡1(mod15)7^{\phi(15)} \equiv 7^8 \equiv 1 \pmod{15}

  4. Paso 4
    Calcular 78(mod15)7^8 \pmod{15} paso a paso

    71≡7(mod15)7^1 \equiv 7 \pmod{15}

    72≡49≡4(mod15)7^2 \equiv 49 \equiv 4 \pmod{15} (ya que 49=3×15+449 = 3 \times 15 + 4)

    74≡(72)2≡42≡16≡1(mod15)7^4 \equiv (7^2)^2 \equiv 4^2 \equiv 16 \equiv 1 \pmod{15} (ya que 16=1×15+116 = 1 \times 15 + 1)

    Como 74≡1(mod15)7^4 \equiv 1 \pmod{15}:

    78=(74)2≡12≡1(mod15)7^8 = (7^4)^2 \equiv 1^2 \equiv 1 \pmod{15} ✓\checkmark

  5. Paso 5
    Calcular 7100(mod15)7^{100} \pmod{15}

    Como 74≡1(mod15)7^4 \equiv 1 \pmod{15}, el orden de 7 módulo 15 divide a 4.

    100=4×25+0100 = 4 \times 25 + 0

    Por tanto:

    7100=(74)25≡125≡1(mod15)7^{100} = (7^4)^{25} \equiv 1^{25} \equiv 1 \pmod{15}

  6. Paso 6
    Método alternativo usando el Teorema de Euler

    100=8×12+4100 = 8 \times 12 + 4

    7100=78×12+4=(78)12×74≡112×74≡74≡1(mod15)7^{100} = 7^{8 \times 12 + 4} = (7^8)^{12} \times 7^4 \equiv 1^{12} \times 7^4 \equiv 7^4 \equiv 1 \pmod{15}

  7. Paso 7
    Observación importante

    Hemos descubierto que el orden de 7 módulo 15 es 4, que es menor que ϕ(15)=8\phi(15) = 8. Esto es normal, ya que el Teorema de Euler garantiza que aϕ(n)≡1(modn)a^{\phi(n)} \equiv 1 \pmod{n}, pero el orden puede ser un divisor propio de ϕ(n)\phi(n).

    Respuesta:

    • 7ϕ(15)=78≡1(mod15)7^{\phi(15)} = 7^8 \equiv 1 \pmod{15} (verificando el Teorema de Euler)
    • 7100≡1(mod15)7^{100} \equiv 1 \pmod{15}
    • Además, encontramos que ord15(7)=4\text{ord}_{15}(7) = 4

Ejercicio 3

Dificultad: Avanzado

Demostrar que si pp es primo, entonces (p−1)!≡−1(modp)(p-1)! \equiv -1 \pmod{p} (Teorema de Wilson) y verificarlo para p=7p = 7.

Ver solución paso a paso7 pasos
  1. Paso 1
    Enunciado del Teorema de Wilson

    Teorema de Wilson: Si pp es primo, entonces (p−1)!≡−1(modp)(p-1)! \equiv -1 \pmod{p}.

  2. Paso 2
    Demostración

    Casos base:

    • Para p=2p = 2: (2−1)!=1!=1≡−1≡1(mod2)(2-1)! = 1! = 1 \equiv -1 \equiv 1 \pmod{2} ✓\checkmark
    • Para p=3p = 3: (3−1)!=2!=2≡−1(mod3)(3-1)! = 2! = 2 \equiv -1 \pmod{3} ✓\checkmark

    Caso general (p≥5p \geq 5):

    En Zp\mathbb{Z}_p, cada elemento no nulo a∈{1,2,…,p−1}a \in \{1, 2, \ldots, p-1\} tiene un inverso único a−1a^{-1} tal que a⋅a−1≡1(modp)a \cdot a^{-1} \equiv 1 \pmod{p}.

  3. Paso 3
    Elementos que son su propio inverso

    aa es su propio inverso si a2≡1(modp)a^2 \equiv 1 \pmod{p}, es decir, (a−1)(a+1)≡0(modp)(a-1)(a+1) \equiv 0 \pmod{p}.

    Como pp es primo, esto ocurre si y solo si p∣(a−1)p | (a-1) o p∣(a+1)p | (a+1).

    Para 1≤a≤p−11 \leq a \leq p-1:

    • p∣(a−1)⇒a=1p | (a-1) \Rightarrow a = 1
    • p∣(a+1)⇒a=p−1p | (a+1) \Rightarrow a = p-1

    Por tanto, solo 1 y p−1p-1 son sus propios inversos módulo pp.

  4. Paso 4
    Emparejamiento de elementos

    Los elementos {2,3,…,p−2}\{2, 3, \ldots, p-2\} se pueden emparejar en pares (a,a−1)(a, a^{-1}) donde a≠a−1a \neq a^{-1}.

    Cada par satisface a⋅a−1≡1(modp)a \cdot a^{-1} \equiv 1 \pmod{p}.

  5. Paso 5
    Cálculo del producto

    (p−1)!=1×2×3×⋯×(p−2)×(p−1)(p-1)! = 1 \times 2 \times 3 \times \cdots \times (p-2) \times (p-1)

    Los elementos {2,3,…,p−2}\{2, 3, \ldots, p-2\} se cancelan en pares que dan producto ≡1(modp)\equiv 1 \pmod{p}:

    (p−1)!≡1×(p−1)≡p−1≡−1(modp)(p-1)! \equiv 1 \times (p-1) \equiv p-1 \equiv -1 \pmod{p}

  6. Paso 6
    Verificación para p=7p = 7

    (7−1)!=6!=1×2×3×4×5×6(7-1)! = 6! = 1 \times 2 \times 3 \times 4 \times 5 \times 6

    Calculamos paso a paso:

    1×2=21 \times 2 = 2

    2×3=62 \times 3 = 6

    6×4=24≡3(mod7)6 \times 4 = 24 \equiv 3 \pmod{7} (ya que 24=3×7+324 = 3 \times 7 + 3)

    3×5=15≡1(mod7)3 \times 5 = 15 \equiv 1 \pmod{7} (ya que 15=2×7+115 = 2 \times 7 + 1)

    1×6=6≡−1(mod7)1 \times 6 = 6 \equiv -1 \pmod{7}

    Por tanto: 6!≡−1(mod7)6! \equiv -1 \pmod{7} ✓\checkmark

  7. Paso 7
    Verificación mediante emparejamiento para p=7p = 7

    En Z7\mathbb{Z}_7:

    • 1−1=11^{-1} = 1 (inverso de sí mismo)
    • 6−1=66^{-1} = 6 (ya que 6×6=36≡1(mod7)6 \times 6 = 36 \equiv 1 \pmod{7}) (inverso de sí mismo)
    • 2−1=42^{-1} = 4 (ya que 2×4=8≡1(mod7)2 \times 4 = 8 \equiv 1 \pmod{7})
    • 3−1=53^{-1} = 5 (ya que 3×5=15≡1(mod7)3 \times 5 = 15 \equiv 1 \pmod{7})

    Los pares son: (2,4)(2{,}4) y (3,5)(3{,}5)

    6!=1×(2×4)×(3×5)×6=1×1×1×6=6≡−1(mod7)6! = 1 \times (2 \times 4) \times (3 \times 5) \times 6 = 1 \times 1 \times 1 \times 6 = 6 \equiv -1 \pmod{7} ✓\checkmark

    Respuesta: El Teorema de Wilson queda demostrado y verificado para p=7p = 7.

Ejercicio 4

Dificultad: Experto

Encontrar el orden multiplicativo de cada elemento en Z13∗\mathbb{Z}_{13}^* (grupo de elementos invertibles módulo 13) y determinar cuáles son generadores del grupo.

Ver solución paso a paso7 pasos
  1. Paso 1
    Identificar el grupo Z13∗\mathbb{Z}_{13}^*

    Como 13 es primo, Z13∗={1,2,3,4,5,6,7,8,9,10,11,12}\mathbb{Z}_{13}^* = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\}

    ∣Z13∗∣=ϕ(13)=12|\mathbb{Z}_{13}^*| = \phi(13) = 12

  2. Paso 2
    Recordar la definición de orden

    El orden de un elemento aa es el menor entero positivo kk tal que ak≡1(mod13)a^k \equiv 1 \pmod{13}.

  3. Paso 3
    Calcular el orden de cada elemento

    Elemento 1:

    11=1≡1(mod13)1^1 = 1 \equiv 1 \pmod{13}

    ord13(1)=1\text{ord}_{13}(1) = 1

    Elemento 2:

    21=22^1 = 2, 22=42^2 = 4, 23=82^3 = 8, 24=16≡3(mod13)2^4 = 16 \equiv 3 \pmod{13}

    25=2×3=62^5 = 2 \times 3 = 6, 26=2×6=12≡−1(mod13)2^6 = 2 \times 6 = 12 \equiv -1 \pmod{13}

    212=(26)2≡(−1)2=1(mod13)2^{12} = (2^6)^2 \equiv (-1)^2 = 1 \pmod{13}

    Verificamos: 212=4096=315×13+1≡1(mod13)2^{12} = 4096 = 315 \times 13 + 1 \equiv 1 \pmod{13}

    ord13(2)=12\text{ord}_{13}(2) = 12

    Elemento 3:

    31=33^1 = 3, 32=93^2 = 9, 33=27≡1(mod13)3^3 = 27 \equiv 1 \pmod{13}

    ord13(3)=3\text{ord}_{13}(3) = 3

    Elemento 4:

    4=224 = 2^2, por tanto 4k=(22)k=22k4^k = (2^2)^k = 2^{2k}

    ord13(4)=ord13(2)gcd⁡(ord13(2),2)=12gcd⁡(12,2)=122=6\text{ord}_{13}(4) = \frac{\text{ord}_{13}(2)}{\gcd(\text{ord}_{13}(2), 2)} = \frac{12}{\gcd(12, 2)} = \frac{12}{2} = 6

    Elemento 5:

    51=55^1 = 5, 52=25≡12≡−1(mod13)5^2 = 25 \equiv 12 \equiv -1 \pmod{13}

    54=(52)2≡(−1)2=1(mod13)5^4 = (5^2)^2 \equiv (-1)^2 = 1 \pmod{13}

    ord13(5)=4\text{ord}_{13}(5) = 4

    Elemento 6:

    61=66^1 = 6, 62=36≡10(mod13)6^2 = 36 \equiv 10 \pmod{13}, 63=6×10=60≡8(mod13)6^3 = 6 \times 10 = 60 \equiv 8 \pmod{13}

    64=6×8=48≡9(mod13)6^4 = 6 \times 8 = 48 \equiv 9 \pmod{13}, 65=6×9=54≡2(mod13)6^5 = 6 \times 9 = 54 \equiv 2 \pmod{13}

    66=6×2=12≡−1(mod13)6^6 = 6 \times 2 = 12 \equiv -1 \pmod{13}

    612=(66)2≡1(mod13)6^{12} = (6^6)^2 \equiv 1 \pmod{13}

    ord13(6)=12\text{ord}_{13}(6) = 12

    Elemento 7:

    71=77^1 = 7, 72=49≡10(mod13)7^2 = 49 \equiv 10 \pmod{13}, 73=7×10=70≡5(mod13)7^3 = 7 \times 10 = 70 \equiv 5 \pmod{13}

    74=7×5=35≡9(mod13)7^4 = 7 \times 5 = 35 \equiv 9 \pmod{13}, 75=7×9=63≡11(mod13)7^5 = 7 \times 9 = 63 \equiv 11 \pmod{13}

    76=7×11=77≡12≡−1(mod13)7^6 = 7 \times 11 = 77 \equiv 12 \equiv -1 \pmod{13}

    712≡1(mod13)7^{12} \equiv 1 \pmod{13}

    ord13(7)=12\text{ord}_{13}(7) = 12

  4. Paso 4
    Completar el cálculo para elementos restantes

    Usando propiedades y cálculos similares:

    ord13(8)=4\text{ord}_{13}(8) = 4 (ya que 8=238 = 2^3 y 84≡1(mod13)8^4 \equiv 1 \pmod{13})

    ord13(9)=3\text{ord}_{13}(9) = 3 (ya que 9=329 = 3^2 y 93≡1(mod13)9^3 \equiv 1 \pmod{13})

    ord13(10)=6\text{ord}_{13}(10) = 6

    ord13(11)=12\text{ord}_{13}(11) = 12

    ord13(12)=2\text{ord}_{13}(12) = 2 (ya que 12≡−112 \equiv -1 y (−1)2=1(-1)^2 = 1)

  5. Paso 5
    Tabla resumen de órdenes
    Elemento123456789101112
    Orden1123641212436122
  6. Paso 6
    Identificar los generadores

    Los generadores de Z13∗\mathbb{Z}_{13}^* son los elementos de orden máximo, es decir, orden 12.

    Los generadores son: {2,6,7,11}\{2, 6, 7, 11\}

  7. Paso 7
    Verificar la teoría
    • La cantidad de generadores es ϕ(ϕ(13))=ϕ(12)=4\phi(\phi(13)) = \phi(12) = 4 ✓\checkmark
    • Todos los órdenes dividen a ∣Z13∗∣=12|\mathbb{Z}_{13}^*| = 12 ✓\checkmark
    • Los divisores de 12 son: {1,2,3,4,6,12}\{1, 2, 3, 4, 6, 12\}, y encontramos elementos de cada uno de estos órdenes ✓\checkmark

    Respuesta:

    • Órdenes: Como se muestra en la tabla
    • Generadores de Z13∗\mathbb{Z}_{13}^*: {2,6,7,11}\{2, 6, 7, 11\}