El pequeño teorema de Fermat es un teorema, no una función. Un teorema en matemáticas es una afirmación probada.
El pequeño teorema de Fermat establece que para cualquier primo [matemático] p [/ matemático] y cualquier entero [matemático] a [/ matemático] obtenemos que [matemático] a ^ p \ equiv a \ mod p [/ matemático], que es equivalente decir que [math] a ^ pa [/ math] es un múltiplo de [math] p [/ math].
Una función unidireccional se define como una función que se considera difícil de invertir. En el pequeño teorema de Fermat se nos presentan dos operaciones.
La operación de módulo [math] a \ mod p [/ math] simplemente significa: encontrar el entero más grande [math] k [/ math] donde [math] a> kp [/ math] y devolver el resto [math] r = a -kp [/ matemáticas].
Observe aquí que hay un número infinito de elementos que resultarán en la misma salida, por ejemplo, let [math] p = 7 [/ math] y let [math] a \ equiv 2 \ mod p [/ math], luego [math ] a \ in 2 + 7 \ mathbb {Z} [/ math], es decir [math] a \ in \ {2, 9, 16, 23, \ cdots \}. [/ math]
- ¿Qué debo hacer a continuación, si de repente descubro que probé la hipótesis de Riemann?
- Si a, byc son números positivos reales, [matemática] n \ en N [/ matemática], ¿cómo se demuestra (cálculo no permitido): [matemática] (a + bc) ^ n + (b + ca) ^ n + (a + cb) ^ n \ geq a ^ n + b ^ n + c ^ n? [/ math]
- ¿Cómo explicaría la aritmética modular a un niño de cinco años?
- ¿Qué método usarías para escribir los factores primos de [matemáticas] 2 ^ {1 \, 000 \, 000} -1 [/ matemáticas] y [matemáticas] 2 ^ {1 \, 000 \, 000} +1 [ /matemáticas]?
- ¿Cuáles son los usos y funciones del módulo en la teoría de números?
Sin embargo , no ser una función inyectiva (uno a uno) no es suficiente para considerarse una función unidireccional. Pero, ¿qué sucede cuando combinamos la exponenciación con la operación de módulo? Obtenemos lo que se conoce como el problema de logaritmo discreto (DLP). El problema es el siguiente: para un primo conocido [matemático] p [/ matemático] y enteros conocidos [matemático] a, b [/ matemático] encuentre un entero [matemático] k [/ matemático] tal que [matemático] a ^ k \ equiv b \ mod p. [/ math] Este es un problema (aparentemente) muy difícil, sin una solución eficiente (es decir, tiempo polinomial) descubierta. Esta podría ser una función unidireccional.
Varios esquemas en criptología se basan en el DLP , entre estos están el intercambio de claves Diffie-Hellman, el cifrado ElGamal y el algoritmo de firma digital, ¡ todos los cuales debe buscar si está interesado en este tema!