Una función en matemáticas, teoría de números.
En teoría de números , la función totiente de Jordan , denotada como , donde es un número entero positivo, es una función de un número entero positivo , que es igual al número de - tuplas de números enteros positivos que son menores o iguales a y que junto con forman un coprimo conjunto de números enteros
La función totiente de Jordan es una generalización de la función totiente de Euler , que es lo mismo que . La función lleva el nombre de Camille Jordan .
Definición
Para cada número entero positivo , la función totient de Jordan es multiplicativa y puede evaluarse como
- , donde pasa por los divisores primos de .
Propiedades
- que puede escribirse en el lenguaje de las convoluciones de Dirichlet como [1]
- y mediante la inversión de Möbius como
- .
- Dado que la función generadora de Dirichlet de es y la función generadora de Dirichlet de es , la serie para se convierte en
- .
- .
- ,
- y mediante la inspección de la definición (reconociendo que cada factor en el producto sobre los números primos es un polinomio ciclotómico de ), también se puede demostrar que las funciones aritméticas definidas por o son funciones multiplicativas con valores enteros.
- . [2]
Orden de grupos de matrices
- El grupo lineal general de matrices de orden tiene orden [3]
- El grupo lineal especial de matrices de orden tiene orden
- El grupo simpléctico de matrices de orden tiene orden
Las dos primeras fórmulas fueron descubiertas por Jordan.
Ejemplos
- Las listas explícitas en OEIS son J 2 en OEIS : A007434 , J 3 en OEIS : A059376 , J 4 en OEIS : A059377 , J 5 en OEIS : A059378 , J 6 hasta J 10 en OEIS : A069091 hasta OEIS : A069095 .
- Las funciones multiplicativas definidas por razones son J 2 (n)/J 1 (n) en OEIS : A001615 , J 3 (n)/J 1 (n) en OEIS : A160889 , J 4 (n)/J 1 (n) en OEIS : A160891 , J 5 (n)/J 1 (n) en OEIS : A160893 , J 6 (n)/J 1 (n) en OEIS : A160895 , J 7 (n)/J 1 (n) en OEIS : A160897 , J 8 (n)/J 1 (n) en OEIS : A160908 , J 9 (n)/J 1 (n) en OEIS : A160953 , J 10 (n)/J 1 (n) en OEIS : A160957 , J 11 (n)/J 1 (n) en OEIS : A160960 .
- Ejemplos de las relaciones J 2k (n)/J k (n) son J 4 (n)/J 2 (n) en OEIS : A065958 , J 6 (n)/J 3 (n) en OEIS : A065959 , y J 8 (n)/J 4 (n) en OEIS : A065960 .
Notas
- ^ Sándor y Crstici (2004) p.106
- ^ Holden et al en enlaces externos. La fórmula es la de Gegenbauer.
- ^ Todas estas fórmulas son de Andrica y Piticari en #Enlacesexternos.
Referencias
enlaces externos
- Andrica, Dorin; Piticari, Mihai (2004). "Sobre algunas extensiones de las funciones aritméticas de Jordan". Acta Universitatis Apulensis . 7 : 13–22. SEÑOR 2157944.
- Holden, Mateo; Orrison, Michael; Vrable, Michael. "Otra generalización más de la función Totient de Euler" (PDF) . Archivado desde el original (PDF) el 5 de marzo de 2016 . Consultado el 21 de diciembre de 2011 .