Función totiente de Euler (φ): definición, propiedades y aplicaciones
La función totiente φ(n) cuenta los enteros ≤ n coprimos con n. Este artículo explica su definición, fórmulas, papel algebraico, historia, cálculo, ejemplos y uso criptográfico.
Resumen
En la teoría de números elemental, la función totiente de Euler, escrita por lo general como ϕ(n), cuenta los enteros positivos hasta un entero dado n que son coprimos con n (es decir, que no comparten factores comunes salvo el 1). Por ejemplo, ϕ(8)=4, porque los números 1, 3, 5 y 7 son los cuatro enteros menores o iguales que 8 que son relativamente primos con 8.
Fórmulas básicas y propiedades
La función totiente es multiplicativa: si a y b son coprimos, entonces ϕ(ab)=ϕ(a)ϕ(b). Su valor en potencias de primos es sencillo: para un primo p y k≥1,
- ϕ(p^k)=p^k−p^{k−1}=p^k(1−1/p).
A partir de esto se obtiene el producto de Euler para cualquier n con factorización prima n=∏ p_i^{e_i}: ϕ(n)=n∏(1−1/p_i). Una consecuencia aritmética es que ϕ(n) es par para todo n>2.
Interpretación algebraica y teoremas
El valor ϕ(n) coincide con el orden del grupo multiplicativo de las unidades módulo n, es decir, el grupo de enteros coprimos con n bajo la multiplicación módulo n. Más precisamente, ϕ(n) es el tamaño del grupo de unidades del anillo Z/nZ. Esta relación proporciona resultados importantes: al aplicar el teorema de Lagrange a ese grupo se obtiene el teorema de Euler, que generaliza el pequeño teorema de Fermat.
Historia y nombre
La función recibe su nombre del matemático suizo Euler, aunque ideas relacionadas aparecieron antes. Euler utilizó la función en el siglo XVIII al estudiar la aritmética modular y las raíces primitivas; la notación moderna y su estudio crecieron a partir de ese trabajo y de desarrollos posteriores de otros estudiosos e historiadores de las matemáticas. El nombre "phi" (ϕ) es común en los textos contemporáneos.
Ejemplos, cálculo e inversión
Entre los valores simples están ϕ(p)=p−1 para un primo p y ϕ(1)=1. Ejemplos pequeños: ϕ(9)=6, ϕ(10)=4. Para calcular ϕ(n) se factoriza n y se aplica la fórmula del producto; por tanto, el cálculo eficiente depende de la factorización entera. La inversión de Möbius y las identidades relacionadas permiten reconstruir sumas multiplicativas que involucran ϕ, y el cototiente n−ϕ(n) mide cuántos enteros ≤n comparten un factor no trivial con n.
Aplicaciones y distinciones notables
La función totiente de Euler aparece en criptografía (en particular, en el algoritmo RSA) porque conocer ϕ(n) para un módulo compuesto proporciona información que puede romper ciertos esquemas de clave pública. En teoría algebraica de números y teoría de grupos ayuda a describir la estructura de los grupos de unidades y de los polinomios ciclotómicos. Es multiplicativa, pero no completamente multiplicativa, y no debe confundirse con funciones relacionadas como la función de Carmichael, que da el exponente del grupo de unidades en lugar de su orden.
Observaciones adicionales
Muchos problemas y resultados se centran en el comportamiento medio y extremal de ϕ(n): por ejemplo, el orden promedio de ϕ(n) es (3/π^2)n, y existen infinitos n para los que ϕ(n) toma el mismo valor (la "ecuación totiente" y sus inversas son áreas activas de investigación). Para una introducción a las demostraciones y más ejemplos, véanse textos estándar de teoría elemental de números y referencias en línea. Para lectura de fondo, consulte recursos sobre la función phi, el papel de los matemáticos en su desarrollo y las conexiones con el grupo multiplicativo módulo n.
Referencias clave y material adicional: las definiciones y demostraciones elementales pueden encontrarse en cursos introductorios de teoría de números; los aspectos algorítmicos y las implicaciones criptográficas se tratan en textos de teoría computacional de números y criptografía aplicada. Véanse también los teoremas clásicos enlazados arriba para enunciados y demostraciones formales.
Artículos relacionados
Autor
AlegsaOnline.com Función totiente de Euler (φ): definición, propiedades y aplicaciones Leandro Alegsa
URL: https://es.alegsaonline.com/art/32519