Primero, saquemos algunas cosas obvias del camino.
Ciertamente, no es cierto que si elige un polinomio arbitrario [matemática] Q (x) [/ matemática], entonces [matemática] Q (x) \ equiv 0 \ mod p [/ matemática] tiene una solución, mucho menos muchas soluciones (contadas con multiplicidad) como el grado de [matemáticas] Q [/ matemáticas]. Por ejemplo, para cualquier primo impar [matemática] p [/ matemática], solo [matemática] \ frac {p – 1} {2} [/ matemática] los elementos distintos de cero pueden ser cuadrados mod [matemática] p [/ matemática] (para ver esto, tenga en cuenta que la cuadratura es un mapa 2-1).
Por otro lado, es cierto que dado un polinomio arbitrario [matemática] Q (x) [/ matemática] de grado [matemática] k [/ matemática], puede haber a lo sumo soluciones [matemática] k [/ matemática] a [matemática] Q (x) = 0 \ mod p [/ matemática]. Esto es una consecuencia del hecho de que [math] \ mathbb {Z} / p \ mathbb {Z} [/ math] es un dominio integral (es decir, no hay soluciones distintas de cero para [math] xy = 0 \ mod p [/ math]).
Finalmente, es cierto que para el caso muy especial que [matemática] Q (x) = x ^ k [/ matemática], donde [matemática] k [/ matemática] divide [matemática] p – 1 [/ matemática], entonces hay soluciones [matemáticas] k [/ matemáticas].
- Cómo encontrar todos los enteros positivos [matemática] n> 1 [/ matemática] de modo que [matemática] \ frac {n (n + 1)} {2} -1 [/ matemática] es primo
- Cómo calcular el resto de un número expresado en términos de exponentes apilados módulo N
- ¿Cuál será el resto cuando [matemáticas] 6457 ^ {({76} ^ {57})} [/ matemáticas] se divide por [matemáticas] 23 [/ matemáticas]?
- ¿Para cuántos enteros positivos n es 3n + 81 el cuadrado de un entero?
- Cómo resolver: [matemática] 25x – 108y = 1 [/ matemática] con [matemática] x [/ matemática] y [matemática] y [/ matemática] enteros
Si tomamos [math] k = p – 1 [/ math], esto se conoce mejor como el pequeño teorema de Fermat, que más comúnmente se dice que [math] x ^ p = x [/ math] para todos [math] x \ mod p [/ math]. (Por cierto, el mapa [math] x \ mapsto x ^ p [/ math] es tan importante que recibe su propio nombre: se llama endomorfismo de Frobenius). Hay muchas pruebas del pequeño teorema de Fermat. Soy parcial al enfoque teórico grupal, personalmente.
Según el pequeño teorema de Fermat, es bastante fácil ver que [matemática] x ^ k = 1 [/ matemática] debe tener soluciones [matemática] k [/ matemática] si [matemática] k [/ matemática] divide [matemática] p – 1 [/ matemáticas].
De hecho, escriba [matemáticas] p – 1 = kr [/ matemáticas]. Entonces
[matemáticas] x ^ {p – 1} = \ izquierda (x ^ r \ derecha) ^ k = 1 \ mod p [/ matemáticas],
por lo tanto, si tomamos cualquier solución de [matemáticas] x ^ {p – 1} = 1 \ mod p [/ matemáticas] y la elevamos a la potencia [matemáticas] r [/ matemáticas], obtendremos una solución para [ matemáticas] x ^ k = 1 \ mod p [/ matemáticas]. Dado que subir al poder [matemático] r [/ matemático] es un mapa [matemático] r [/ matemático] a 1, hemos terminado.