Professional Documents
Culture Documents
Defensa de Tesis
para obtener el título de
Licenciado en Física y Matemáticas
1 Números de Bernoulli
Introducción histórica
Números de Bernoulli
Polinomios de Bernoulli
Los números ζ(2m) y ζ(1 − m)
2 Propiedades algebraicas de los números de Bernoulli
La función orden y los p-enteros
Congruencias importantes en Z y en Zhpi
Números primos regulares e irregulares
3 El último teorema de Fermat
El campo Q(ζp ) y el anillo Z(ζp )
Dominios Dedekind y campos numéricos
Caracteres de Dirichlet y L-series
Fórmula para el número de clases
Un caso particular del último teorema de Fermat
1 Números de Bernoulli
Introducción histórica
Números de Bernoulli
Polinomios de Bernoulli
Los números ζ(2m) y ζ(1 − m)
2 Propiedades algebraicas de los números de Bernoulli
La función orden y los p-enteros
Congruencias importantes en Z y en Zhpi
Números primos regulares e irregulares
3 El último teorema de Fermat
El campo Q(ζp ) y el anillo Z(ζp )
Dominios Dedekind y campos numéricos
Caracteres de Dirichlet y L-series
Fórmula para el número de clases
Un caso particular del último teorema de Fermat
1 Números de Bernoulli
Introducción histórica
Números de Bernoulli
Polinomios de Bernoulli
Los números ζ(2m) y ζ(1 − m)
2 Propiedades algebraicas de los números de Bernoulli
La función orden y los p-enteros
Congruencias importantes en Z y en Zhpi
Números primos regulares e irregulares
3 El último teorema de Fermat
El campo Q(ζp ) y el anillo Z(ζp )
Dominios Dedekind y campos numéricos
Caracteres de Dirichlet y L-series
Fórmula para el número de clases
Un caso particular del último teorema de Fermat
Definición
Definición
Definición
Definición
Números de Bernoulli
Se denota Sm (n) = 1m + 2m + · · · + (n − 1)m .
∞
t X Bm m
t
= t .
e − 1 m=0 m!
m
1 X m+1
Sm (n) = Bk nm+1−k .
m+1 k
k=0
De la primera ecuación, tenemos que:
∞
X Bk t t
1+ tk = + .
k! 2 et − 1
k=2
Esta última es una función par, de donde se sigue que, para cualquier
k ∈ N,
B2k+1 = 0.
Números de Bernoulli
Se denota Sm (n) = 1m + 2m + · · · + (n − 1)m .
∞
t X Bm m
t
= t .
e − 1 m=0 m!
m
1 X m+1
Sm (n) = Bk nm+1−k .
m+1 k
k=0
De la primera ecuación, tenemos que:
∞
X Bk t t
1+ tk = + .
k! 2 et − 1
k=2
Esta última es una función par, de donde se sigue que, para cualquier
k ∈ N,
B2k+1 = 0.
Números de Bernoulli
Se denota Sm (n) = 1m + 2m + · · · + (n − 1)m .
∞
t X Bm m
t
= t .
e − 1 m=0 m!
m
1 X m+1
Sm (n) = Bk nm+1−k .
m+1 k
k=0
De la primera ecuación, tenemos que:
∞
X Bk t t
1+ tk = + .
k! 2 et − 1
k=2
Esta última es una función par, de donde se sigue que, para cualquier
k ∈ N,
B2k+1 = 0.
Números de Bernoulli
Se denota Sm (n) = 1m + 2m + · · · + (n − 1)m .
∞
t X Bm m
t
= t .
e − 1 m=0 m!
m
1 X m+1
Sm (n) = Bk nm+1−k .
m+1 k
k=0
De la primera ecuación, tenemos que:
∞
X Bk t t
1+ tk = + .
k! 2 et − 1
k=2
Esta última es una función par, de donde se sigue que, para cualquier
k ∈ N,
B2k+1 = 0.
Definición
Definición
Definición
Definición
Polinomios de Bernoulli
m−1
X 1
k q = Sq (m) − Sq (n) = (Bq+1 (m) − Bq+1 (n)).
q+1
k=n
1
B 0 (X) = Bm (X), m ∈ N ∪ {0}.
m + 1 m+1
Bm (0) = Bm (1) = Bm , m ∈ N ∪ {0}, m 6= 1.
k−1
q−1
X j
Bq (kX) = k Bq X + , q ∈ N ∪ {0}.
j=0
k
b Z b q
X X Br (r−1)
f (n) = f (x)dx + (−1)r {f (b) − f (r−1) (a)} + Rq ,
n=a+1 a r=1
r!
en donde
b
(−1)q−1
Z
Rq = Bq (x − [x])f (q) (x)dx.
q! a
Polinomios de Bernoulli
m−1
X 1
k q = Sq (m) − Sq (n) = (Bq+1 (m) − Bq+1 (n)).
q+1
k=n
1
B 0 (X) = Bm (X), m ∈ N ∪ {0}.
m + 1 m+1
Bm (0) = Bm (1) = Bm , m ∈ N ∪ {0}, m 6= 1.
k−1
q−1
X j
Bq (kX) = k Bq X + , q ∈ N ∪ {0}.
j=0
k
b Z b q
X X Br (r−1)
f (n) = f (x)dx + (−1)r {f (b) − f (r−1) (a)} + Rq ,
n=a+1 a r=1
r!
en donde
b
(−1)q−1
Z
Rq = Bq (x − [x])f (q) (x)dx.
q! a
Polinomios de Bernoulli
m−1
X 1
k q = Sq (m) − Sq (n) = (Bq+1 (m) − Bq+1 (n)).
q+1
k=n
1
B 0 (X) = Bm (X), m ∈ N ∪ {0}.
m + 1 m+1
Bm (0) = Bm (1) = Bm , m ∈ N ∪ {0}, m 6= 1.
k−1
q−1
X j
Bq (kX) = k Bq X + , q ∈ N ∪ {0}.
j=0
k
b Z b q
X X Br (r−1)
f (n) = f (x)dx + (−1)r {f (b) − f (r−1) (a)} + Rq ,
n=a+1 a r=1
r!
en donde
b
(−1)q−1
Z
Rq = Bq (x − [x])f (q) (x)dx.
q! a
Polinomios de Bernoulli
m−1
X 1
k q = Sq (m) − Sq (n) = (Bq+1 (m) − Bq+1 (n)).
q+1
k=n
1
B 0 (X) = Bm (X), m ∈ N ∪ {0}.
m + 1 m+1
Bm (0) = Bm (1) = Bm , m ∈ N ∪ {0}, m 6= 1.
k−1
q−1
X j
Bq (kX) = k Bq X + , q ∈ N ∪ {0}.
j=0
k
b Z b q
X X Br (r−1)
f (n) = f (x)dx + (−1)r {f (b) − f (r−1) (a)} + Rq ,
n=a+1 a r=1
r!
en donde
b
(−1)q−1
Z
Rq = Bq (x − [x])f (q) (x)dx.
q! a
Polinomios de Bernoulli
m−1
X 1
k q = Sq (m) − Sq (n) = (Bq+1 (m) − Bq+1 (n)).
q+1
k=n
1
B 0 (X) = Bm (X), m ∈ N ∪ {0}.
m + 1 m+1
Bm (0) = Bm (1) = Bm , m ∈ N ∪ {0}, m 6= 1.
k−1
q−1
X j
Bq (kX) = k Bq X + , q ∈ N ∪ {0}.
j=0
k
b Z b q
X X Br (r−1)
f (n) = f (x)dx + (−1)r {f (b) − f (r−1) (a)} + Rq ,
n=a+1 a r=1
r!
en donde
b
(−1)q−1
Z
Rq = Bq (x − [x])f (q) (x)dx.
q! a
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
(−1)m+1 (2π)2m
ζ(2m) = B2m , m ∈ N.
2(2m)!
(−1)m+1 B2m > 0, m ∈ N.
B2m
2m −→ ∞ cuando m → ∞.
La función orden
La función orden
La función orden
La función orden
La función orden
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli La función orden y los p-enteros
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli La función orden y los p-enteros
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli La función orden y los p-enteros
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli La función orden y los p-enteros
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli La función orden y los p-enteros
Los p-enteros
na o
Zhpi = r ∈ Qordp (r) ≥ 0 = a, b ∈ Z, p - b .
b
r ≡ s mod pn ⇐⇒ ordp (r − s) ≥ n.
pBm ∈ Zhpi , ∀ m ∈ N.
(
0; (p − 1) - m
pBm ≡ Sm (p) ≡ mod p, para todo m par.
−1; (p − 1) | m
X 1
B2m = A2m + para algunos A2m ∈ Z. Así, el denominador de
p
(p−1)|2m
B2m es un número libre de cuadrado cuyos divisores primos son
exactamente los números primos p tales que (p − 1) | 2m. En
particular, 6 siempre divide al denominador de B2m .
David J. Fernández Bretón (ESFM-IPN) Números de Bernoulli Defensa de Tesis 29/05/2008 11 / 28
Propiedades algebraicas de los números de Bernoulli Congruencias importantes en Z y en Zhpi
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Congruencias en Z y en Zhpi
Um
Sea m ∈ N ∪ {0} par. Escribimos Bm = , Um , Vm ∈ Z, (Um , Vm ) = 1.
Vm
Vm Sm (n) ≡ Um n mod n2 , ∀ n ∈ N.
p número primo tal que (p − 1) - m ⇒ Sm (p) ≡ Bm p mod p2 .
n−1
m−1 ja
X
m m−1
(a, m) = 1 ⇒ (a − 1)Um ≡ ma Vm j mod n,
j=1
n
∀ a, n ∈ N tales que (a, n) = 1.
Bm
p número primo tal que (p − 1) - m ⇒ ∈ Zhpi .
m
Sean n, e ∈ N con n ≡ m mod φ(pe ). Entonces,
Bn Bm
(1 − pn−1 ) ≡ (1 − pm−1 ) mod pe .
n m
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Si D es un dominio entero, decimos que D es dominio Dedekind si D es
noetheriano, enteramente cerrado, y cada ideal primo de D es un ideal
maximal.
Dominios Dedekind
Dominios Dedekind
Dominios Dedekind
Dominios Dedekind
Dominios Dedekind
Campos numéricos
Campos numéricos
Campos numéricos
Campos numéricos
Campos numéricos
Caracteres de Dirichlet
Caracteres de Dirichlet
Caracteres de Dirichlet
Caracteres de Dirichlet
Caracteres de Dirichlet
Caracteres de Dirichlet
Caracteres de Dirichlet
Si X es un grupo
\ finito de caracteres de Dirichlet módulo m, entonces al
campo fijo de ker(χ) = {σ ∈ Gal(Q(ζm )/Q)χ(σ) = 1, ∀ χ ∈ X} se le
χ∈X
conoce como el campo perteneciente a X.
Caracteres de Dirichlet
Si X es un grupo
\ finito de caracteres de Dirichlet módulo m, entonces al
campo fijo de ker(χ) = {σ ∈ Gal(Q(ζm )/Q)χ(σ) = 1, ∀ χ ∈ X} se le
χ∈X
conoce como el campo perteneciente a X.
Caracteres de Dirichlet
Si X es un grupo
\ finito de caracteres de Dirichlet módulo m, entonces al
campo fijo de ker(χ) = {σ ∈ Gal(Q(ζm )/Q)χ(σ) = 1, ∀ χ ∈ X} se le
χ∈X
conoce como el campo perteneciente a X.
L-series
L-series
L-series
L-series
L-series