7 votos

Por qué demostrar que multiplicativo funciones son un grupo con Dirichlet convolución?

Todo el mundo le gusta demostrar que Dirichlet convolución es un grupo de operación de la multiplicación aritmética de las funciones, pero, ¿qué consecuencia tiene esto?

¿Alguna importante teorema de utilizar este hecho?

Puede general de la teoría de grupo conducir a resultados acerca de estas funciones (o mejor aún, acerca de los números) a partir de este teorema?


Además hay dos estructuras de anillo en este conjunto, la costumbre pointwise anillo así como el anillo con la convolución.

Me gustaría extender la misma pregunta para estos.

8voto

Goofy Puntos 119

Porque hay un grupo de homomorphism en Dirichlet de la serie.

Esto puede ser usado para relacionar los valores zeta por ejemplo desde la $\varphi \star 1 = I$ conduce a $\sum \varphi(n)/n^s = \zeta(s-1)/\zeta(s)$.

Probablemente, se puede utilizar para probar la aritmética declaraciones usando zeta funciones, pero no tengo ningún ejemplo de eso.

2voto

Martin OConnor Puntos 116

James Delaney papel de "Grupos de Aritmética Funciones" (Mathematics Magazine 78 (2), 83-97, 2005) puede ser digno de una mirada. Aquí están algunos de sus principales resultados.

El grupo $U$ de unidades del anillo de funciones aritméticas (pointwise además de Dirichlet y de convolución ($\ast$) como la multiplicación) puede ser expresado como la suma directa de $U = C \oplus U_M \oplus U_A$ donde $C$ es el subgrupo de las funciones escalares, $U_M$ es el subgrupo de multiplicativa funciones, y $U_A$ es el subgrupo de lo que él llama "anti-multiplicativo de" funciones definidas por $f(1) = 1$ $f(p^k) = 0$ al $p^k$ es una fuente primaria de energía con $k > 0$.

Luego, él se muestra, si $U_1 = U_M \oplus U_A$, $(U_1, \ast)$ es un múltiplo de torsión libre de grupo y por lo tanto puede ser visto como un espacio vectorial sobre los racionales. Por lo tanto, $U_M$ $U_A$ son divisibles entre subgrupos y por lo tanto son subespacios complementarios al $U_1$ es considerado como un espacio vectorial. Esto también implica que el $n$th raíz de una función multiplicativa es multiplicativo.

Finalmente, se demuestra que las funciones $\{\epsilon_{\alpha} \lambda_{\beta} | \alpha, \beta \in \mathbb{C}, \beta \neq 0\}$ son linealmente independientes, donde $\epsilon_{\alpha}(n) = n^{\alpha}$ $\lambda_{\beta}(p_1^{k_1} \cdots p_r^{k_r}) = \beta^{k_1 + \cdots + k_r}$ (una generalización de Liouville $\lambda$).

Tengo bastante parafraseado directamente de Delaney papel. Mi álgebra de fondo es demasiado deficientes para mí ser capaz de comentar sobre lo interesante (o poco interesante) estos resultados son en realidad, o lo bien que satisfacer lo que el OP está buscando. (Tal vez alguien más podría ayudar con eso?)

2voto

Lost Carrier Puntos 23

Vi una charla de John Thompson, no es que yo sabía de qué se trataba, en cuanto a una copia de SL(2,Z) de la serie de Dirichlet en virtud de la convolución. Este papel http://arxiv.org/abs/0803.1121 podría ser algo...

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X