En teoría de números, concretamente en aritmética modular, el criterio de Euler es utilizado para calcular si un número entero x es un residuo cuadrático módulo un número primo. Su nombre se debe al matemático suizo Leonhard Euler.
.
Como corolario de este teorema se obtiene que:
Si x no es un residuo cuadrático módulo p entonces
Así, el criterio de Euler puede ser reformulado de manera más compacta usando el símbolo de Legendre:
- Supongamos que
. Se sabe por el pequeño teorema de Fermat que si p es primo, entonces
. Luego tenemos
A la inversa, suponemos que. Sea b un elemento primitivo modulo p. Entonces
para algún i. Entonces tenemos
Como b es de orden p-1, debe darse el caso que p-1 divide a i(p-1)/2. Por lo tanto, i es par, y las raíces cuadradas de x son.
-
where
is the Legendre symbol.
- La exponenciación modular es un tipo de exponenciación realizada sobre un módulo. Es particularmente útil en ciencias de la computación, especialmente en el campo de lacriptografía.Una «exponenciación modular» calcula el residuo cuando un número entero positivo b (la base) se eleva a la e-ésima potencia (el exponente), be, y es dividido por el entero positivo m, llamado módulo. En símbolos, esto es, dada la base b, el exponente e, y el módulo m, la exponenciación modular c es:Por ejemplo, dado b = 5, e = 3, y m = 13, la solución, c = 8, es el resto de dividir
por 13.
Si b, e, y m no son negativos, y b < m, entonces una única solución c existe con la propiedad 0 ≤ c < m.La exponenciación modular se puede realizar con exponente negativo e encontrando el inverso multiplicativo modular d de b modulo m usando el algoritmo extendido de Euclides. Esto es:donde e < 0 y
Problemas de exponenciación modular similares al descrito arriba son considerados fáciles de resolver, incluso cuando los números que se manejan son enormes. Por otro lado, el cálculo del logaritmo discreto — es decir, la tarea de encontrar el exponente e si es dado un b, c, y m — se cree que es difícil. Este comportamiento de función unidireccionalhace a la exponenciación modular un candidato para su uso en algoritmos criptográficos. - En Teoría de números, la función de Carmichael de un entero positivo n, denotada λ(n), se define como el menor entero m tal que cumple:para cada número entero a coprimo con n. En otras palabras, define el exponente del grupo multiplicativo de residuos módulo n (Z/nZ)×.Los primeros valores de λ(n) son 1, 1, 2, 2, 4, 2, 6, 2, 6, 4, 10, 2, 12, 6, 4, 4, 16, 6, 18, 4, 6, 10, 22, 2, 20, 12
- La función puede definirse recursivamente, como sigue:Para un primo p y un entero positivo k tal que p ≥ 3 o k ≤ 2:
(De la misma manera que la función φ de Euler).
Para un entero k ≥ 3,.
Para distintos primosy enteros positivos
:
donde mcm denota el mínimo común múltiplo.En forma compactada, la función queda como: - Con la función de Carmichael, se puede elaborar un teorema, similar al teorema de Euler, éste dice:Si a es un número coprimo con n, entonces aλ(n) ≡ 1 (mod n)donde
es la función de Carmichael. Éste puede probarse considerando cualquier raíz primitiva módulo n y el teorema chino del resto.
- Hay dos definiciones de la función de Carmichael. Una es la reducción de la función totient (también llamada la función exponente menos universal), definido como el número entero más pequeño
de tal manera que
para todos primos a . El orden multiplicativo de (mod ) es como máximo (Ribenboim 1989). Los primeros valores de esta función, implementado como CarmichaelLambda [ n ], son 1, 1, 2, 2, 4, 2, 6, 2, 6, 4, 10, ... (OEISA002322 ).
Se da por la fórmula(1)dondeson primarias .
Se puede definir de forma recursiva como(2)Algunos valores especiales incluyen(3)y(4)dondees un primorial (SM Ruiz, com. pers., 05 de julio 2009).
La segunda función de Carmichaelestá dada por el mínimo común múltiplo (LCM) de todos los factores de la función totient
, excepto que si
, a continuación,
es un factor de lugar de
. Los valores de
para los primeros
son 1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 2, 12, ... (OEIS A011773).
Esta función tiene el valor especial(5)
No hay comentarios:
Publicar un comentario