• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
Download
 
 
Teoría de númerosEntrega 4: Teorema de Dirichlet
Versión 2003-05-10
 
Copyright (c) 2003 by F. A. González de la Hoz.This material may be distributed only subject to the terms and conditions set forth in the Open Publication License,v1.1 or later (the latest version is presently available at http://www.opencontent.org/openpub/).
CONTENIDO
TEOREMA DE DIRICHLETTeorema de DirichletDemostración del Teorema de DirichletAPÉNDICESPrincipio de Inclusión-ExclusiónEJERCICIOS
Temas de las entregas anteriores: Funciones multiplicativas, Congruencias, La función Zeta, El teorema de los números primos.Temas de las próximas entregas: Números algebraicos 
 
 
TEOREMA DE DIRICHLET
TEOREMA DE DIRICHLET
El teorema de Dirichlet afirma lo siguiente:Si
a 
y
b 
son dos enteros positivos sin divisores primos comunes, entonces la sucesión
n b a a 
n 
⋅+=
contiene infinitos números primos.Realmente se prueba un resultado algo más fuerte que la afirmación anterior, ya que sedemuestra que
∞→
∑
≡
b a  p 
 p  p 
mod 
) ln( 
 
Demostración del Teorema de Dirichlet
La demostración se apoyará en las propiedades de determinadas funciones multiplicativas,para cuya definición se requieren algunos conceptos teóricos previos:Sea
G 
un grupo conmutativo
1
finito de orden
h 
y con elemento unidad
e 
. Un
caráctersobre
G 
es una función
 χ 
compleja no nula tal que
) ( ) ( ) ( 
v u v u 
 χ  χ  χ 
⋅=⋅
para todo
G 
v u 
∈
, 
.Puesto que la función inversa de un carácter así como el producto de dos caracteres mantienetambién esta propiedad, se deduce inmediatamente que el conjunto de los caracteres forma a suvez un grupo conmutativo con la multiplicación. Se denomina
carácter principal
del grupoconmutativo
G 
a la función
0 
 χ 
tal que
1 ) ( 
0 
=
u 
 χ 
para todo
G 
u 
∈
. El carácter principal hace deelemento unidad en el grupo de los caracteres.Hay otras propiedades que se deducen fácilmente: Se tiene que
1 ) ( 
=
e 
y, dado que elorden de un elemento divide al orden del grupo, para todo
G 
u 
∈
se cumpleque
( )
1 ) ( ) ( ) ( 
===
e u u 
h h 
χ  χ  χ 
, lo cual implica que
1 | ) ( | 
=
u 
 χ 
. Dado que el número de raíces dela unidad de orden
h 
es como máximo
h 
, el número de caracteres
c 
es finito, (cada carácter sepuede considerar una variación con repetición de las raíces de la unidad de orden
h 
, de modocomo mucho podría haber
h 
h 
variaciones, aunque, como veremos enseguida, ese número esmucho menor).Se necesitará un resultado previo: Para todo
G 
u 
∈
distinto de la unidad existe al menosun carácter tal que
1 ) ( 
≠
u 
. (Ejercicio TeDi01)

1 
Aunqueenestetemaseestáhablandodegruposengeneral,ellectorquenoestéfamiliarizadoconlateoríadegrupospuedelimitarseaidentificarelgrupo
G 
conlosconjuntosdeclasesresidualesreducidas
∗
=
q 
Z G 
delascualesyaobtuvimossudescomposiciónconcretaenlosapuntessobrecongruenciasalestudiarellogaritmodiscreto.EseeselúnicogrupoparaelquesenecesitanestaspropiedadesenlademostracióndelTeoremadeDiriclet.
 
Representaremos por
∑
 χ 
la suma para todos los diferentes caracteres del grupo
G 
.Entonces se cumplen los siguientes resultados (Ejercicio TeDi02):
∑
   
≠==
 χ 
 χ 
e u si e u si c  u 
0 ) ( 
para todo
G 
u 
∈
donde
∑
=
 χ 
1 
c 
es el número de caracteres
∑
∈
   
≠==
G u 
si si h u 
0 0 
0 ) ( 
 χ  χ  χ  χ  χ 
donde
h 
es el orden de
G 
 
h 
c 
=
 Para todo
G u 
∈
y
G v 
∈
se cumple
∑
   
≠==
 χ 
χ  χ 
v u si v u si v u h 
0 1 ) ( ) ( 1 
 Para cualquier par de caracteres
1 
 χ 
y
2 
 χ 
se tiene que
∑
∈
   
≠==
G u 
si si u u h 
2 
1 2 1 2 1 
0 1 ) ( ) ( 1 
 χ  χ  χ  χ  χ  χ 
 Fijado un entero positivo,
q 
, consideramos los caracteres del grupo
∗
=
q 
Z G 
de las
clases de congruencia módulo
q 
 
de números coprimos con
q 
. Dado que este grupo tiene
) ( 
q 
φ 
elementos, lo podemos representar por
) ( 2 1 
, 
..., , 
q 
a a a G 
φ 
=
donde los
i 
a 
son losrepresentantes de cada clase de congruencia que cumplen
q 
a 
i 
<<
0 
. Ahora utilizamos loscaracteres de
G 
para obtener funciones extendidas de los mismos, las cuales toman valorespara todos los números reales, según la igualdad:
   
>≡=
1 
) , ( 0  ) (mod ) (  ) ( 
q 
n MCD si q a n si a  n 
i i 
χ  χ 
 Estas funciones se denominan
caracteres de Dirichlet módulo
q 
y es fácil observar queson
completamente multiplicativas
. Existen
) ( 
q 
φ 
funciones de este tipo, de las cuales sedenomina
carácter principal de Dirichlet
a la función
   
>≡=
1 
) , ( 0  ) 
(mod 1 ) ( 
0 
q 
n MCD 
si q a n si  n 
i 
 χ 
 De las propiedades demostradas para los caracteres de un grupo se deducen directamentelas siguientes:
∑
   
≠==
) (mod 0 0 
0 
) ( ) ( 
q 
n 
si si q n 
 χ  χ  χ  χ φ  χ 
 
∑
   
≠≡=
) (mod 
) 
(mod 1 0 ) (mod 1 ) (  ) ( 
q 
q 
u si q u si q  u 
 χ 
φ  χ 
 
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...