Moebius PDF
Moebius PDF
Moebius PDF
ii. pk (n) = nk si k R
p0 = C1 (la funcion constante 1)
p1 = 1N la inclusion de N en C.
1 n=1
iii. (n) = (1)k n = p1 p2 . . . pk con pi 6= pj si i 6= j
0 en otro caso
la funcion de Mobius.
1
Definicion: Sean f, g A definimos la convolusion de Dirichlet (o simple-
mente convolusion) como:
X n X
f g(n) = f (d)g( ) = f (a)g(b)
d 1a,bn
d|n
ab=n
i. f g = g f
ii. f (g + h) = f g + f h
iii. f = f = f
iv. (f g) h = f (g h)
X m X n
(f g)(m)(f g)(n) = f (d1 )g( ) f (d2 )g( ) =
d1 d2
d1 |m d2 |n
X m n X m n
= f (d1 )g( )f (d2 )g( ) = f (d1 )f (d2 )g( )g( ) =
d1 d2 d1 d2
d1 |m d1 |m
d2 |n d2 |n
X mn X mn
= f (d1 d2 )g( )= f (d)g( ) = (f g)(mn)
d1 d2 d
d1 |m d|mn
d2 |n
2
dado que cualquier d|mn se puede escribir como d1 d2 con d1 |m d2 |n.2
Proposicion: Sea Au = {f A/f (1) 6= 0} entonces (Au , ) es un grupo
abeliano y (M, ) un sugrupo.
Dem: Ya sabemos que la convolusion es asociativa y conmutativa, y que
es el neutro, solo nos falta ver la existencia de un inverso. Veamoslo primero
para las multiplicativas.
Dada f M buscamos g (M ) tal que f g = . Comenzaremos
definiendo g(1) = 1, y recursivamente para las potencias de primos, como:
m1
X
m
g(p ) = f (pmk )g(pk )
k=0
y se tiene que f g = .2
Ejemplos:
3
como ambas funciones coinciden en las potencias de primos y son mul-
tiplicativas, tienen que ser iguales.
Luego = = (C1 ) = ( C1 ) = 1N es decir
X n
(n) = (d) = (1N )(n)
d
d|n
y si m 6= 0
2
Corolario: Sea K un cuerpo finito de q elementos. Entonces,
Pla cantidad
de polinomios P K[X] monicos irreducibles de grado n es n d|n ( nd )q d
1
4
clausura algebraica de K. Sabemos que E resulta ser el conjunto de races (y
n
el cuerpo de descomposicion sobre K) de X q X y que este es un polinomio
separable, por lo que resulta ser el producto de los minimales de algunas de
sus races. Estos seran todos polinomios monicos irreducibles cuyos grados
dividen a n. Por otro lado, si P es un polinomio monico irreducible cuyo
grado es d divisor de n, su cuerpo de descomposicion estara contenido en E,
n
por lo que tendra que dividir a X q X, de donde conclumos:
n
Y
Xq X = P
P Tn