La Gaceta de la RSME, Vol. 00 (0000), Nm. 0, Pgs.

126 1
Desde Fermat, Lam y Kummer hasta Iwasawa: Una
introduccin a la teora de Iwasawa
por
lvaro Lozano-Robledo
Resumen. En una conferencia de 1956, Kenkichi Iwasawa present la de-
mostracin de un teorema que inauguraba lo que hoy llamamos la teora de
Iwasawa. Desde entonces, las ideas de Iwasawa han ido abriendo numerosas
nuevas vas de investigacin en teora de nmeros, y sus ideas y sus general-
izaciones se han usado en cientos de artculos.
Este artculo es una introduccin a la teora de Iwasawa desde un punto
de vista histrico. Los orgenes de esta teora se remontan al famoso ltimo
teorema de Fermat y, en particular, a un clebre intento fallido de demostrar-
lo por parte de Gabriel Lam. En la primera parte del artculo hablaremos
sobre el intento de Lam y de cmo Ernst Kummer, que independientemente
estaba estudiando ideas similares, logr encontrar una demostracin vlida del
teorema de Fermat para primos regulares. La estrategia de Kummer motivar
el estudio del nmero de clases y grupo de clases de ideales de un cuerpo de
nmeros, que son precisamente el centro de atencin de la teora de Iwasawa.
1. Introduccin
En una conferencia de 1956, Kenkichi Iwasawa present la demostracin de un
teorema (Teorema 9.2 de este artculo) que inauguraba lo que hoy llamamos teora de
Iwasawa. Desde entonces, las ideas de Iwasawa han ido abriendo numerosas nuevas
vas de investigacin en teora de nmeros y tanto ellas como sus mltiples gen-
eralizaciones se han usado en cientos de trabajos cientcos. Este artculo es una
introduccin histrica a la teora de Iwasawa. Est orientado hacia la comunidad
matemtica en general (y no solo para aquellos interesados en teora de nmeros) y,
por tanto, es parte de nuestro objetivo denir y motivar los conceptos segn vayan
apareciendo, aunque corramos el riesgo de aburrir a los expertos.
Los orgenes de esta teora se remontan al famoso ltimo teorema de Fermat y,
en particular, a un clebre intento fallido de demostrarlo por parte de Gabriel Lam.
En la primera parte del artculo hablaremos sobre el intento de Lam (en las sec-
ciones 2 y 3) y de cmo Ernst Kummer, que independientemente estaba estudiando
ideas similares, logr encontrar una demostracin vlida del teorema de Fermat para
primos regulares (en las secciones 4, 5 y 6). La estrategia de Kummer motivar el
estudio del nmero y grupo de clases de ideales de un cuerpo de nmeros, que son
precisamente el centro de atencin de la teora (clsica) de Iwasawa. En la seccin 5
repasaremos la denicin del nmero y grupo de clases de un cuerpo de nmeros, y
2 Una introduccin a la teora de Iwasawa
su relacin con factorizacin nica en el anillo de enteros del cuerpo. En la seccin
7 trataremos brevemente de las propiedades de divisibilidad de nmeros de clases
en extensiones de cuerpos de nmeros. La teora de Iwasawa describe el crecimiento
de la componente p-primaria del grupo de clases en un tipo de extensiones de cuer-
pos de nmeros llamadas extensiones p-dicas. En las secciones 8 y 9 describiremos
el teorema que Iwasawa present en 1956, y hablaremos sobre extensiones p-dicas
en general. En la seccin 10, trataremos las consecuencias del teorema de Iwasawa.
En concreto, explicaremos el signicado de los invariantes , y que aparecen
en el enunciado del teorema de Iwasawa, en relacin con los grupos de clases de
una extensin p-adica. En las ltimas tres secciones del artculo, discutiremos una
reformulacin del teorema de Iwasawa en trminos de extensiones sin ramicacin
(gracias a la teora de cuerpos de clases), y haremos un resumen de la demostracin
del teorema, usando la estructura de mdulos sobre Z
p
[[T]].
Es necesario aclarar que en este artculo, cuando decimos teora de Iwasawa nos
referimos a lo que los expertos denominan teora de Iwasawa clsica, que se centra
en el estudio de nmeros y grupos de clases de torres de cuerpos de nmeros. En la
actualidad, la teora de Iwasawa moderna abarca el estudio de otros grupos, como
el grupo de Shafarevich-Tate, que se asemejan al grupo de clases. La teora sigue
creciendo muy rpido y ahora tiene muchas ms aplicaciones, adems del estudio de
nmeros de clases. Por ejemplo, la teora moderna de Iwasawa es de gran inters en el
estudio de curvas elpticas y funciones L, y es uno de los ingredientes fundamentales
en los avances en torno a la conjetura de Birch y Swinnerton-Dyer (uno de los siete
problemas del milenio elegidos por el Instituto Clay). Por no omitir completamente
los nombres de los grandes arquitectos de la teora de Iwasawa moderna, incluimos
aqu algunos de ellos: Burns, Coates, Greenberg, Kato (el cual, precisamente, habl
en Madrid sobre la teora de Iwasawa durante el ICM de 2006), Kolyvagin, Pollack,
Rubin, y Wiles, entre muchos otros.
Hay muy buenas referencias (en ingls) sobre la teora de Iwasawa. El libro de L.
C. Washington, [15], es una de las referencias ms completas y ms recomendables
para aquel que est comenzando en este tema. Muy desafortunadamente, no podemos
tratar de abarcar en este artculo la Conjetura Central (Main Conjecture) de la
teora de Iwasawa (demostrada por B. Mazur y A. Wiles), pero el lector puede leer
sobre ella en [15], o en el librito de J. Coates y R. Sujatha, [3]. El autor tambin
recomienda encarecidamente el artculo [6] de R. Greenberg, que explica varias de las
nuevas tendencias en la teora de Iwasawa (por ejemplo, las aplicaciones al estudio
de rangos de curvas elpticas).
2. El teorema de Fermat y los acontecimientos de 1847
Los orgenes de la teora de Iwasawa se remontan a un clebre (o, mejor dicho,
tristemente clebre) pero fallido intento de demostrar el ltimo teorema de Fermat.
Teorema 2.1 (ltimo teorema de Fermat, o teorema de Wiles [16]). La ecuacin
x
n
+y
n
= z
n
La Gaceta Artculos 3
Figura 1: Pierre de Fermat (1601-1665).
no tiene soluciones con x, y, z Z y xyz = 0, cuando n 3.
El primer da de Marzo de 1847, un excitadsimo Gabriel Lam present sus ideas
sobre una posible demostracin del ltimo teorema de Fermat, ante la Academia de
Pars. Lam propuso resolver el problema a travs de una factorizacin de x
n
+
y
n
usando nmeros complejos (explicaremos sus ideas en ms detalle luego). De
acuerdo con los documentos que han perdurado hasta nuestros das, la presentacin
de Lam fue muy poco apropiada para la Academia, pues le faltaban muchos detalles
y precisin. De cualquier modo, Lam proclam haber resuelto completamente el
problema que Fermat haba enunciado a nales de la decada de 1630. Sin embargo,
Lam no se quiso atribuir todo el mrito de la demostracin durante su charla, y
mencion que la idea se origin tras una conversacin con Liouville.
Figura 2: Gabriel Lam, Joseph Liouville y Augustin Cauchy.
Ese mismo da de 1847, el mismsimo Liouville fue el siguiente orador en la
Academia de Pars, pero su discurso estuvo cargardo de reproches hacia Lam. Para
4 Una introduccin a la teora de Iwasawa
empezar, Liouville dijo que la estrategia de Lam era una de las primeras que se
le ocurriran a cualquier matemtico competente al enfrentarse con el problema por
primera vez. De hecho, es muy probable que Liouville ya hubiese considerado la mis-
ma alternativa, y sabemos que Lagrange ya haba mencionado la misma factorizacin
de x
n
+ y
n
en conexin con el ltimo teorema de Fermat. Para acabar de rematar
a Lam en su discurso, Liouville seal una laguna importante en la demostracin:
su mtodo asuma la factorizacin nica en un subanillo de nmeros complejos y
Lam no haba justicado en ningn momento porqu esta propiedad se tendra que
cumplir.
Tras Liouville, sin embargo, tom la palabra Cauchy y mencion su optimismo
acerca de la estrategia de Lam, porque l mismo haba mandado a la Academia
(supuestamente en Octubre de 1846) un bosquejo de una demostracin del teorema
de Fermat, posiblemente muy parecida a la idea de Lam.
El debate lo cerr Ernst Kummer, el 24 de Mayo de 1847. En una carta a la
Academia de Pars (leida a la Academia por Liouville), Kummer explic que tres
aos antes haba publicado una memoria en la que demostraba que, desafortunada-
mente, la factorizacin nica no se cumple en general en los anillos que Lam (y
probablemente Cauchy) consideraba en su trabajo. En la misma carta Kummer pros-
egua diciendo que la teora de factorizacin se puede salvar introduciendo una
nueva clase de nmeros complejos que l decidi llamar nmeros complejos ideales.
Todos los detalles haban sido publicados en 1846 en las actas de la Academia de
Berln, y una exposicin ms completa iba a aparecer en la revista de Crelle en breve.
El lector que quiera saber ms sobre los interesantes y clebres acontecimientos de
1847 puede consultar el Captulo 4 de [5].
Figura 3: Ernst Eduard Kummer (1810-1893).
3. La demostracin de Lam
Es bien sabido, y fcil de demostrar, que para vericar que la ecuacin de Fermat
no tiene soluciones cuando n 3 basta demostrar que no hay soluciones en el caso
La Gaceta Artculos 5
n = 4 y cuando n = p 3 es un nmero primo. La prueba del caso n = 4 fue
proporcionada por Fermat (y es una de las nicas demostraciones de Fermat que
han perdurado hasta nuestros das). Cuando estudiamos la ecuacin x
p
+ y
p
= z
p
,
donde p 3 es primo, es conveniente considerar dos casos:
1. primer caso: x
p
+y
p
= z
p
con mcd(xyz, p) = 1, y
2. segundo caso: x
p
+y
p
= z
p
con mcd(xyz, p) = p.
En general, el primer caso del ltimo teorema de Fermat es ms fcil de tratar,
mientras que el segundo caso es, habitualmente, ms difcil de demostrar. En este
artculo nos limitamos al primer caso por simplicidad aunque la demostracin de
Lam, en principio, hubiera tratado ambos casos.
La estrategia propuesta por Lam se basaba en una factorizacin de x
p
+ y
p
,
usando nmeros complejos. Comencemos calculando las races de x
p
+ y
p
, consid-
erndolo como un polinomio en la variable x. La igualdad x
p
+ y
p
= 0 implica que
x
p
= y
p
= (y)
p
. Por tanto, se debe cumplir que x = (y), donde es una raz
p-sima de la unidad.
1
Sea
p
una raz primitiva de la unidad, dada por:

p
= e
2i
p
= cos
_
2
p
_
+i sen
_
2
p
_
.
Las races p-simas de la unidad son las races de x
p
= 1, y todas ellas vienen dadas
por
i
p
con i = 0, . . . , p1. Por consiguiente, las races de x
p
+y
p
son x =
i
p
(y) =

i
p
y para i = 0, . . . , p 1. As que el polinomio x
p
+y
p
se puede factorizar como
x
p
+y
p
=
p1

i=0
(x +
i
p
y),
y, por tanto,
z
p
= x
p
+y
p
=
p1

i=0
(x +
i
p
y) = (x +y)(x +
p
y) (x +
p1
p
y). (1)
Ejemplo 3.1. Sea p = 3. Entonces
x
3
+y
3
= (x +y)(x
2
xy +y
2
)
= (x +y)
_
x +
_
1 +

3
2
_
y
__
x +
_
1

3
2
_
y
_
,
donde
3
=
1+

3
2
y
2
3
=
1

3
2
.
Consideraremos la ecuacin (1) como una factorizacin de x
p
+y
p
sobre el anillo
Z[
p
] = {a
0
+a
1

p
+a
2

2
p
+ +a
p1

p1
p
: a
i
Z}.
1
lase pe-sima, y no psima!
6 Una introduccin a la teora de Iwasawa
Lam demostr correctamente que, en el anillo Z[
p
], dos nmeros cualquiera de
la forma x +
i
p
y y x +
j
p
y son relativamente primos entre s, siempre que i = j.
Pero su error fue concluir que si estos nmeros son relativamente primos y tenemos
la ecuacin (1), entonces cada x +
i
p
y tiene que ser una potencia p-sima de otro
elemento de Z[
p
]. Es decir, Lam arm que existe un
i
Z[
p
] tal que x+
i
p
y =
p
i
,
y despus deducira una contradiccin con la existencia de tales
i
.
Tal y como seal Liouville, el problema con este argumento es que, para concluir
que cada x +
i
p
y es una potencia p-sima, Lam estaba armando implcitamente
que Z[
p
] es un dominio de factorizacin nica o DFU (es decir, todos los elementos
del anillo tienen una factorizacin nica como producto de elementos primos). Pero
no hay ninguna razn obvia por la que Z[
p
] tenga que ser un DFU y, de hecho, Ernst
Kummer ya haba demostrado que algunos de estos anillos no tienen la propiedad
de factorizacin nica. (Vase [12], Captulo I, Ejercicios 19-27.)
4. Los nmeros complejos ideales de Kummer
Anteriormente, y de manera independiente, Kummer haba descubierto la es-
tratega que Lam intentaba seguir y haba llegado a la conclusin de que este
mtodo tena un fallo fundamental. Sin embargo, Kummer encontr una manera de
salvar esta idea (en ciertos casos) deniendo los que l llam nmeros complejos
ideales (y que hoy en da llamamos ideales de un anillo). Esta nueva construccin
le permiti demostrar el ltimo teorema de Fermat en un gran nmero de casos.
Sean
1
, . . . ,
n
elementos en Z[
p
]. Denimos el ideal generado por {
i
: i =
1, . . . , n} en Z[
p
] como
(
1
,
2
, . . . ,
n
) = {
1

1
+
2

2
+ +
n

n
:
i
Z[
p
]}.
Por ejemplo, el ideal A = () es el conjunto de nmeros de la forma , donde
Z[
p
]. Decimos que un ideal A en Z[
p
] es principal si hay un Z[
p
] tal que
A = ().
Sea A
i
= (x +
i
p
y) para cada i = 0, . . . , p 1. Entonces, como en la ecuacin (1)
de la seccin 3, la igualdad:
(x +y)(x +
p
y) (x +
p1
p
) = z
p
implica una factorizacin de la p-sima potencia del ideal (z) como producto de
ideales:
(z)
p
= A
0
A
1
A
p1
.
Kummer comprendi que los ideales en Z[
p
] tienen una estructura multiplicativa (la
nica unidad es el anillo entero (1) = Z[
p
]), y que cada ideal tiene una factorizacin
nica como producto de ideales primos. Adems, demostr que los ideales A
i
son
primos entre s. Por tanto, se puede concluir que A
i
= B
p
i
para cada i = 0, . . . , p1,
i. e., cada ideal A
i
es una potencia p-sima de otro ideal B
i
. Pero Kummer indic que
B
i
no es necesariamente principal. Si asumimos que el anillo Z[
p
] es un dominio
La Gaceta Artculos 7
de ideales principales (DIP), entonces todos los ideales son principales, y existen
elementos
i
Z[
p
] tales que B
i
= (
i
).
Por consiguiente,
(x +
i
p
y) = A
i
= B
p
i
= (
i
)
p
.
Esto conlleva que existen unidades
i
Z[
p
]

tales que
x +
i
p
y =
i

p
i
,
y Kummer prob que esta igualdad es imposible, lo cual demuestra el ltimo teorema
de Fermat para todos aquellos primos p tales que Z[
p
] es un DIP. No entraremos en
este artculo en ms detalles del resto de la demostracin de Kummer, pero el lector
interesado puede encontrarlos en el Captulo 1 de [15], o en [4], por ejemplo.
Las aportaciones de Kummer en esta rea no terminan aqu, porque l era con-
sciente de que la condicin Z[
p
] es un DIP es demasiado fuerte,
2
as que se propuso
encontrar una manera de sortear esta hiptesis tan restrictiva. Para medir lo lejos
que un anillo dado est de ser un DIP, deni un grupo de clases de idealesque,
como veremos en la siguiente seccin, es, esencialmente, el grupo cociente de ideales,
mdulo ideales principales.
5. El grupo y nmero de clases de ideales
En esta seccin explicamos (y procuramos motivar) la denicin del grupo de
clases de ideales y el nmero de clases de un cuerpo de nmeros K. Como ya hemos
visto, estamos interesados en el caso particular de K = Q(
p
), pero tambin nece-
sitaremos hablar de grupos de clases de otros cuerpos ms adelante. Recordamos al
lector que un cuerpo de nmeros K es simplemente una extensin nita (y por tanto
algebraica) de Q, y el anillo de enteros de K, denotado por O
K
, es el anillo formado
por todos los elementos de K que son races de polinomios mnicos con coecientes
enteros.
Ejemplo 5.1. Sea d Z un entero libre de cuadrados, y denamos un cuerpo de
nmeros K = Q(

d). La extensin K/Q es cuadrtica (grado 2) y

O
K

=
_
Z +
1+

d
2
Z, si d 1 mod 4,
Z +

d Z, s d 2, 3 mod 4.
En otras palabras, si denimos
=
_
1+

d
2
, si d 1 mod 4,

d, si d 2, 3 mod 4
entonces O
K
= Z[] = {n+m : n, m Z}. Por ejemplo, si K = Q(

3), entonces
O
K
= Z
_
1+

3
2
_
. Por cierto, Q(

3) = Q
_
1+

3
2
_
= Q(
3
).
2
De hecho, Montgomery y Uchida han demostrado (independientemente) que Z[
p
] es un DIP
si y solo si p 19. Vase [14], por ejemplo.
8 Una introduccin a la teora de Iwasawa
Ejemplo 5.2. El cuerpo K = Q(
p
) es un cuerpo de nmeros. La extensin K/Q
es de Galois y su grado es [K : Q] = p 1. El anillo de enteros es O
K
= Z[
p
].
En general, si n 2 y
n
= e
2i/n
es una raz n-sima de la unidad, entonces la
extensin Q(
n
)/Q es de Galois, de grado (n) y su anillo de enteros es Z[
n
]. Aqu
representa la funcin de Euler.
A continuacin, denimos el grupo de clases de ideales de un cuerpo de nmeros.
Primero, denimos una relacin de equivalencia entre ideales.
Definicin 5.3. Sea K un cuerpo de nmeros y sea O
K
el anillo de enteros de K.
Decimos que dos ideales A y B de O
K
pertenecen a la misma clase de ideales si
existen y O
K
tales que ()A = ()B. En tal caso, escribiremos [A] = [B]. Por
tanto:
[A] = {ideales B O
K
: existen , O
K
con ()A = ()B}.
Denimos el grupo de clases de ideales de K, denotado por Cl(K), como el grupo
multiplicativo de clases de ideales de O
K
.
3
Nota 5.4. El grupo de clases de ideales de un cuerpo de nmeros K es un grupo
abeliano. El elemento identidad en Cl(K) es la clase [(1)] = [O
K
] que tambin
denominaremos como la clase trivial. La clase de un ideal A es la clase trivial si y
solo si A es principal. En efecto, si A = () entonces (1)A = ()O
K
, y por tanto
[A] = [O
K
]. Por otra parte, si [A] = [O
K
] entonces existen , O
K
tales que
()A = ()O
K
= (). As que debe ser un divisor de , i. e. hay un O
K
tal
que = , y por tanto A = () es principal.
Nota 5.5. El grupo de clases de un cuerpo de nmeros K es un grupo nito (ni
la nitud del grupo ni la existencia del inverso multiplicativo de cualquier clase de
ideales son propiedades obvias). El orden (o cardinal) del grupo de clases se denomina
el nmero de clases de K, y normalmente lo denotamos por h
K
o h(K). En el caso
particular de K = Q(
p
), escribiremos h
p
en vez de h
K
para recalcar la dependencia
de la eleccin del primo p.
Nota 5.6. El nmero de clases de K es h
K
= 1 si y solo si K es un DIP. En efecto,
supongamos primero que h
K
= 1. Entonces Cl(K) solo tiene un elemento, la clase
trivial, y todo ideal A satisface [A] = [O
K
]. Por la nota 5.4, A es principal. A la
inversa, si todos los ideales son principales, entonces todos pertenecen a la clase
trivial [O
K
] y, por tanto, Cl(K) tiene un nico elemento.
Nota 5.7. Todo DIP es tambin un dominio de factorizacin nica (DFU). Adems,
si R es un dominio de Dedekind entonces DFU y DIP son condiciones equivalentes.
Afortunadamente, el anillo de enteros de un cuerpo de nmeros es un dominio de
Dedekind y, por tanto, DFU y DIP son sinnimos en los casos que nos interesan.
Ejemplo 5.8. El anillo Z[

5] no es un DFU. En efecto:
6 = 2 3 = (1 +

5)(1

5)
3
En libros de texto recientes, el grupo de clases es simplemente denido como el cociente de los
ideales fraccionales de K, mdulo los ideales fraccionales principales.
La Gaceta Artculos 9
son dos factorizaciones distintas de 6 como producto de factores irreducibles. Por
tanto, Z[

5] no es tampoco un DIP. Se puede demostrar fcilmente que el ideal

P = (2, 1 +

5) no es principal. De hecho, el grupo de clases de K = Q(

5)
consiste en dos elementos, a saber {[O
K
], [P]}, y el nmero de clases de K es 2.
6. El criterio de Kummer
En la seccin 4 hemos indicado que si Z[
p
] es un DIP entonces el ltimo teorema
de Fermat es cierto para el exponente primo p. Sea K
p
= Q(
p
). Cundo es el
nmero de clases de K
p
igual a 1? Kummer identic esta pregunta como interesante
pero difcil de reponder, as que intent buscar una solucin alternativa. Recordemos
que, para que su demostracin funcionase, Kummer necesitaba precisamente que lo
siguiente fuera cierto:
si (x +
p
y) = B
p
entonces existe Z[
p
] tal que B= ().
Supongamos que (x +
p
y) = B
p
. Entonces, [B]
p
= [(x +
p
y)] = [O
K
p
] porque
(x +
p
y) es un ideal principal. Por consiguiente, la p-sima potencia de B es el
elemento identidad en Cl(K
p
) y, por tanto, el orden del elemento [B] en el grupo es
1 p. De este modo, si Cl(K
p
) no tiene elementos de orden p, el orden de [B] tiene
que ser 1, y B tiene que ser principal. Gracias al teorema de Lagrange sabemos que
Cl(K
p
) tiene un elemento de orden p si y solo si p es un divisor del orden de Cl(K
p
)
o, en otras palabras, si y solo si h
p
, el nmero de clases de K
p
, es divisible por p.
Teorema 6.1 (Kummer, 1846). Sea p 3 un nmero primo. Si el nmero de clases
de Q(
p
) no es divisible por p, entonces el ltimo teorema de Fermat se cumple para
el exponente primo p.
Definicin 6.2. Decimos que un nmero primo es irregular si h
p
= #Cl(Q(
p
)) es
divisible por p. Si mcd(h
p
, p) = 1, entonces decimos que p es un primo regular.
Esta denicin propicia una pregunta obvia:
Pregunta 6.3. Cundo es p un primo regular? O de otro modo, cundo son p y
h
p
primos entre s?
Kummer fue capaz de encontrar una respuesta magnca a esta pregunta. Antes
de ver su teorema, necesitamos denir los nmeros de Bernoulli.
Definicin 6.4. Los nmeros de Bernoulli B
k
, as llamados en honor de Jacob
Bernoulli (gura 4), son nmeros racionales denidos por la siguiente expansin en
serie
t
e
t
1
=

k=0
B
k
t
k
k!
.
Se pueden calcular fcilmente usando la frmula recursiva

n1
k=0
_
n
k
_
B
k
= 0. Hemos
incluido los primeros nmeros de Bernoulli en el cuadro 1. Si k 3 es impar, el
nmero de Bernoulli B
k
es cero.
10 Una introduccin a la teora de Iwasawa
k 0 1 2 4 6 8 10 12 14 16
B
k
1
1
2
1
6

1
30
1
42

1
30
5
66

691
2730
7
6

3617
510
Cuadro 1: Los primeros nmeros de Bernoulli
Figura 4: Jacob Bernoulli (1654-1705).
Teorema 6.5 (Criterio de Kummer, 1847). Un nmero primo p es irregular si y
slo si p divide al numerador del nmero de Bernoulli B
k
para algn ndice par 2k
en el intervalo 2 2k p 3.
Ejemplo 6.6. El cuadro 1 muestra que el primo p = 5 es regular. En efecto, por el
criterio de Kummer, slo tenemos que vericar que el numerador de B
2
= 1/2 no
es divisible por 5. De modo similar, la misma tabla muestra que p = 7, 11, 13, 17 y
19 son regulares, porque ninguno de estos primos aparecen como factores de uno de
los numeradores de B
2k
con 2 2k p 3 16.
Sin embargo, la misma tabla nos dice que p = 691 es irregular, porque el numer-
ador de B
12
es precisamente 691. Por tanto, el nmero de clases de Q(
691
) es un
mltiplo de 691. Igualmente, el primo 3617 es irregular.
Nota 6.7. Los primeros primos irregulares son 37, 59, 67, 101, 103, 131, . . .. Sabemos
demostrar que hay innitos primos irregulares pero, sorprendentemente, nadie ha
sido capaz de demostrar que hay innitos primos regulares. Se cree que alrededor de
un 39 % de todos los primos son irregulares (vase [15], p. 62, 63).
Nota 6.8. Si p es irregular, el criterio de Kummer nos dice que h
p
, el nmero de
clases de Q(
p
) es un mltiplo de p, pero el criterio no nos dice nada del resto
de divisores primos de h
p
. Por ejemplo, para p = 37, el nmero de clases h
37
es
La Gaceta Artculos 11
precisamente igual a 37. Indicamos a continuacin la factorizacin de h
p
para los
tres primeros primos irregulares:
h
37
= 37, h
59
= 3 59 233, y h
67
= 67 12739.
Nota 6.9. Si p es un primo que es divisor de los numeradores de n nmeros de
Bernoulli B
2k
distintos, todos con 2 2k p 3, entonces h
p
es un mltiplo de p
n
.
Por ejemplo, los numeradores de B
62
y B
110
son divisibles por 157 (y ningn otro
numerador de un nmero de Bernoulli entre 2 2k 154 es divisible por 157). Por
tanto, h
157
es divisible por 157
2
(pero no es divisible por 157
3
).
Un siglo despus de que Kummer resolviera el ltimo teorema de Fermat para
primos regulares, Martin Eichler (vase la gura 5) extendi las ideas de Kummer
a nmeros primos que no son demasiado irregulares. Denimos el ndice de irreg-
ularidad de un primo p, que denotamos por i(p), como el cardinal del conjunto de
nmeros de Bernoulli B
2k
, con 2 2k p3, cuyos numeradores son mltiplos de p.
Por ejemplo, el ndice de irregularidad de p = 5, 7, 11, 13, 17 19 es i(p) = 0 (vase el
ejemplo 6.6). Sin embargo, las notas 6.8 y 6.9 nos dicen que i(37) = i(59) = i(67) = 1,
pero i(157) = 2. He aqu el teorema de Eichler (recordamos al lector que la distincin
entre el primer y segundo caso de Fermat aparece al principio de la Seccin 3):
Teorema 6.10 (Eichler, 1965). Supongamos que p es irregular con un ndice de
irregularidad i(p) <

p 2. Entonces el primer caso del ltimo teorema de Fermat

es cierto para el exponente p.
Figura 5: Martin Eichler (1912-1992) y Harry Vandiver (1882 - 1973).
7. El mximo subcuerpo real y la conjectura de Vandiver
En esta seccin mencionaremos brevemente algunas de las relaciones entre los
nmeros de clases en extensiones (nitas) de cuerpos de nmeros. Antes de enunciar
el tipo de problemas a los que nos referimos, recordemos la denicin de ramicacin
en una extensin de cuerpos de nmeros F/K. Sea un ideal primo de O
K
, el anillo
12 Una introduccin a la teora de Iwasawa
de enteros de K. Entonces O
F
es un ideal de O
F
y tiene una factorizacin (nica!)
como un producto de ideales primos de O
F
. Es decir, O
F
= P
e
1
1
P
e
2
2
P
e
r
r
,
donde los P
i
O
F
son ideales primos distintos. Decimos que se ramica en F/K
si existe un ndice 1 i r tal que e
i
> 1. Si e
i
= 1 para todo i, entonces decimos
que no se ramica. Si O
K
= P
e
, entonces decimos que (y tambin F/K) se
ramica totalmente. Una extensin F/K es no ramicada si ningn ideal primo de
F se ramica.
Teorema 7.1 ([15], Prop. 4.11). Sea F/K una extensin de cuerpos de nmeros tal
que, si L/K es una extensin de Galois intermedia, con K L F, existe por lo
menos un primo (nito o innito) que se ramica en la extensin L/K. Entonces,
h
K
, el nmero de clases de K, es un divisor del nmero de clases de F, h
F
.
Ms tarde, tambin haremos uso del siguiente teorema de divisibilidad de nmeros
de clases:
Teorema 7.2 (Teorema de empujar hacia abajo, o push-down; [9]). Sea F/K una
p-extensin de cuerpos de nmeros (i. e. el grado de F/K es una potencia de p) y
supongamos que slo un ideal primo de K ramica en F y la ramicacin es total.
Entonces, si p es un divisor de h
F
, tambin lo es de h
K
.
Nota 7.3. Para poder usar el Teorema 7.1, el lector ha de recordar lo siguiente
acerca de extensiones ciclotmicas: el ideal primo (p) de Z ramica totalmente en la
extensin Q(
p
)/Q. En efecto, el ideal (p) en Z[
p
] es la (p 1)-sima potencia del
ideal primo = (
p
1). Como la extensin Q(
p
)/Q es de Galois y abeliana (i. e.
el grupo de Galois es abeliano), cualquier cuerpo intermediario Q L Q(
p
) es
de Galois sobre Q, y el primo p ramica en L/Q y tambin en Q(
p
)/L. Por tanto,
el nmero de clases de L es un divisor del nmero de clases de Q(
p
), i. e. h
L
es un
divisor de h
p
.
En particular, el nmero de clases de Q(
p
) esta ntimamente relacionado con los
nmeros de clases de sus subcuerpos. Uno de los subcuerpos de mayor inters es el
mximo subcuerpo real de Q(
p
), que viene dado por
Q(
p
)
+
= Q(
p
+
1
p
) = Q(cos(2/p)),
de modo que, Q(
p
)
+
= Q(cos(2/p)) R. Recordemos adems que la extensin
Q(
p
)/Q es de grado p 1, y el estimado lector puede vericar fcilmente que
p
es
una raz del polinomio
X
2
(
p
+
1
p
)X + 1 = 0.
Por tanto, la extensin Q(
p
)/Q(
p
+
1
p
) es cuadrtica, y el grado de Q(
p
)
+
/Q es
(p 1)/2.
La Gaceta Artculos 13
Q(
p
)
2
(p1)
Q(
p
+
1
p
)
(p1)
2
Q
Como antes, sea h
p
el nmero de clases de Q(
p
) y sea h
+
p
el de Q(
p
)
+
. El
nmero h
+
p
es un divisor de h
p
(vase la nota 7.3). La siguiente famosa conjectura
apareci por primera vez en una carta de 1849 de Kummer a Kronecker, pero Harry
Vandiver propus est pregunta en pblico frecuentemente, y lleva su nombre:
Conjetura 7.4 (La conjetura de Vandiver). El nmero de clases de Q(
p
)
+
nunca
es divisible por p, i. e. mcd(p, h
+
p
) = 1.
Esta misteriosa conjectura de Vandiver se ha vericado, por lo menos, para todos
los primos p < 12 000 000 (vase [1]).
8. Torres ciclotmicas y el teorema de Iwasawa
Hasta ahora, nos hemos concentrado en el grupo de clases del cuerpo ciclotmi-
co Q(
p
), para cada primo p. Es natural extender nuestro estudio a otros cuerpos
ciclotmicos. En concreto, estamos interesados en nmeros de clases de cuerpos ci-
clotmicos de tipo Q(
p
n), donde
p
n = e
2i/p
n
es una raz p
n
-sima de la unidad, y
n 1. Los cuerpos Q(
p
n), para cada n 1, forman lo que llamamos una torre de
cuerpos:
Q Q(
p
) Q(
p
2) Q(
p
n)
Para cada n 1, la extensin Q(
p
n)/Q es de Galois, y el grupo de Galois es isomorfo
a (Z/p
n
Z)

y, por tanto, el grado de la extensin es (p

n
) = p
n1
(p 1). Por su
parte, la extensin Q(
p
n+1)/Q(
p
n) es de Galois, de grado p.
Sea h
p
n el nmero de clases de Q(
p
n). El primo p ramica totalmente en la
extensin Q(
p
n)/Q, y por tanto ramica totalmente en la torre

n1
Q(
p
n). El
teorema 7.1 implica que h
p
k es un divisor de h
p
j , para todo k j.
El primer paso de Kenkichi Iwasawa hacia lo que hoy llamamos la teora de
Iwasawa fue demostrar un teorema muy interesante acerca de los nmeros de clases
en una torre de ciertos subcuerpos de

n1
Q(
p
n) que denimos a continuacin.
Primero, consideremos G
2
= Gal(Q(
p
2)/Q) que es un grupo abeliano (cclico) iso-
morfo a (Z/p
2
Z)

= Z/(p 1)pZ. Por tanto, G
2
tiene un nico subgrupo (normal)
14 Una introduccin a la teora de Iwasawa
H
1
de orden (p 1) tal que G
2
/H es isomorfo a Z/pZ. Denimos Q
1
como el sub-
cuerpo de Q(
p
2) jo por H, i. e. Q
1
= Q(
p
2)
H
. Por consiguiente, Q
1
/Q es una
extensin de Galois y abeliana de grado p.
Q(
p
2)
Z/(p1)Z
Q(
p
)
Q
1
Z/pZ
Q
Podemos generalizar esta construccin como sigue. Para cada n 1, sea G
n+1
=
Gal(Q(
p
n+1)/Q) que es un grupo abeliano (cclico) isomorfo a (Z/p
n+1
Z)

= Z/(p
1)p
n
Z. Por tanto, G
n+1
tiene un nico subgrupo (normal) H de orden (p 1), tal
que G
n+1
/H es isomorfo a Z/p
n
Z. Denimos Q
n
como el subcuerpo de Q(
p
n+1) jo
por H, i. e. Q
n
= Q(
p
n+1)
H
. As que Q
n
/Q es una extensin abeliana de grado p
n
,
tal que Gal(Q
n
/Q)

= Z/p
n
Z y
Q Q
1
Q
2
Q
n

_
n1
Q
n

_
n1
Q(
p
n).
He aqu nuestra primera versin del teorema de Iwasawa:
Teorema 8.1 (Iwasawa, 1956). Sea p
e
n
la mayor potencia de p que es un divisor
del nmero de clases de Q
n
. Existen n
0
0 y enteros no negativos , , Z tales
que e
n
= n +p
n
+ para todo n n
0
.
Figura 6: Kenkichi Iwasawa (1917-1998).
La Gaceta Artculos 15
En el resto del artculo primero explicamos el teorema de Iwasawa en toda la
generalidad en la que fue demostrado originalmente (ver [10]), pues el teorema 8.1
es slo un caso particular. Para ello, repasaremos la teora de extensiones p-dicas,
mencionaremos algunas de las consecuencias del teorema y, nalmente, trataremos
de esbozar una demostracin.
9. Extensiones p-dicas de cuerpos de nmeros
Fijemos un nmero primo p y sea Q
n
/Q la extensin abeliana denida en la
seccin 8, que est completamente caracterizada por las condiciones Q
n
Q(
p
n+1)
y Gal(Q
n
/Q)

= Z/p
n
Z. Recordemos que Q
n
Q
n+1
y denamos Q

n1
Q
n
.
Entonces, Q

/Q es una extensin de Galois y

Gal(Q

/Q) = lim

Gal(Q
n
/Q)

= lim

Z/p
n
Z
donde lim

denota el lmite inverso de grupos via morsmos de conexin Z/p

n+1
Z
Z/p
n
Z, que vienen dados como reduccin mdulo p
n
. Por tanto, Gal(Q

/Q) es
isomorfo a Z
p
, los enteros p-dicos. Podemos denir extensiones p-dicas de otros
cuerpos de nmeros como sigue.
Definicin 9.1. Sea K un cuerpo de nmeros y sea p un primo jo. Supongamos
que, para cada n 1, existe una extensin K
n
/K tal que Gal(K
n
/K)

= Z/p
n
Z,
y K
n
K
n+1
. Entonces decimos que K

=

n1
K
n
es una Z
p
-extensin, o una
extensin p-dica, de K.
En realidad, Iwasawa demostr el teorema 8.1 para todas las Z
p
-extensiones de
un cuerpo de nmeros K, y a continuacin reformulamos el enunciado en toda su
generalidad.
Teorema 9.2 (Iwasawa, 1956). Sea p un nmero primo, sea K un cuerpo de
nmeros y sea K

n1
K
n
una Z
p
-extensin de K. Sea p
e
n
la mayor potencia
de p que divide al nmero de clases de K
n
. Entonces existe un n
0
0 y enteros no
negativos , , Z tales que e
n
= n +p
n
+ para todo n n
0
.
Antes de adentrarnos en la demostracin del teorema de Iwasawa, necesitamos
algunos resultados de la teora de Z
p
-extensiones.
Ejemplo 9.3. La extensin Q

/Q denida al principio de esta seccin es una Z

p
-
extensin de Q, que llamamos la Z
p
-extensin ciclotmica de Q. Si K es un cuerpo de
nmeros entonces el cuerpo K

= KQ

se conoce como la Z
p
-extensin ciclotmica
de K. En efecto, sea m 1 el mayor entero tal que Q
m
K. Entonces K
1
= KQ
m+1
es una extensin abeliana de K de grado p y K
n
= KQ
m+n
/K es una extensin
abeliana con grupo de Galois isomorfo a Z/p
n
Z, para todo n 1. Por tanto, K

/K
es una Z
p
-extensin.
Ejemplo 9.4. Sea p = 5. La extensin 5-dica ciclotmica Q

de Q est contenida
en la extensin ciclotmica

n1
Q(
5
n). Sea q = 11 y consideremos la extensin
Q(
11
)/Q de grado 10, con grupo de Galois isomorfo a Z/10Z. Gracias a la teora
de Galois, sabemos que hay un subcuerpo (nico) F
1
de Q(
11
) tal que F
1
/Q es
16 Una introduccin a la teora de Iwasawa
abeliano con grado 5. Es F
1
el primer nivel de una Z
5
-extensin F

de Q, distinta
de Q

?
En este ejemplo, hemos escogido el primo 11 porque 11 1 mod 5. Por el teorema
de Dirichlet sobre primos en progresiones aritmticas, y si jamos un entero n 1,
existen innitos nmeros primos q tales que q 1 mod 5
n
(por ejemplo, q = 101
1 mod 25). Por tanto, podemos encontrar innitas extensiones distintas de Q, con
grupo de Galois Z/5
n
Z, cada una dentro de un cuerpo Q(
q
), y cada una con un
primo q diferente. Quiere esto decir que existen innitas Z
5
-extensiones distintas de
Q? La respuesta es no y el teorema 9.5 explica el porqu (vase tambin el ejemplo
9.8 ms abajo).
Antes de enunciar el teorema, recordamos al lector que el grado de una extensin
K/Q puede expresarse como [K : Q] = r
1
+ 2r
2
, donde r
1
es el nmero de homo-
morsmos inyectivos distintos de K en R y 2r
2
es el nmero de homomorsmos
inyectivos distintos de K en C, cuya imagen no esta incluida en R (que aparecen en
pares conjugados).
Teorema 9.5 ([15], Teorema 13.4). Sea K un cuerpo de nmeros y sea p un nmero
primo. Sea

K la composicin de todas las Z
p
-extensiones de K. Existe un entero
d 1 tal que Gal(

K/K)

= Z
d
p
y
r
2
+ 1 d r
1
+ 2r
2
= [K : Q].
Ntese que el entero d en el teorema es el rango del Z
p
-mdulo Gal(

K/K). El
nmero d es pues el nmero de Z
p
-extensiones linealmente independientes de K, y
hay una famosa conjetura de H. W. Leopoldt que asegura que d es siempre r
2
+ 1.
Conjetura 9.6 (Conjetura de Leopoldt). Sean K,

K y d denidos como en el
teorema 9.5. Entonces d = r
2
+ 1.
En mayo del 2009, Preda Mih ailescu anunci una demostracin de la conjetu-
ra que, hasta esta fecha, est todava siendo vericada. Desde que se propuso la
conjetura ha habido numerosos anuncios de demostraciones, pero siempre se han
encontrado errores en la prueba y, como consecuencia, la comunidad matemtica
est siendo muy cautelosa con la vericacin de esta nueva demostracin. El indicio
ms claro que tenemos a nuestra disposicin para creer que la conjetura es cierta es
que lo es si K/Q es una extensin abeliana.
Teorema 9.7 (Brumer, 1967, [2]). Sea K/Q una extensin nita de Galois y abeliana.
Entonces la conjetura de Leopoldt es cierta para K.
Ejemplo 9.8. Sea K = Q. Entonces r
1
= 1 y r
2
= 0, y
d = rank
Z
p
Gal(

Q/Q) = 0 + 1 = 1.
Por tanto, el teorema 9.7 nos dice que hay solo una extensin p-dica de Q. Es decir,
Q

, la extensin p-dica ciclotmica del ejemplo 9.3 es la nica Z

p
-extensin de Q.
Ejemplo 9.9. Sea K una extensin cuadrtica de Q. Como todas las extensiones
cuadrticas son galoisianas (pues K = Q(

m), para algn entero m libre de cuadra-

dos), el teorema 9.7 se puede utilizar en este caso. Hay que considerar dos casos:
La Gaceta Artculos 17
Supongamos que K/Q es un cuerpo real cuadrtico, i. e. K = Q(

m), donde
m > 0. El nmero de inyecciones reales y complejas de K son r
1
= 2 y r
2
= 0,
respectivamente, y rank
Z
p
Gal(

K/K) = 0+1 = 1. Por tanto K tiene una nica

Z
p
-extensin, una para cada primo p, que es K

= KQ

, la extensin p-dica
ciclotmica de K.
Supongamos que K/Q es un cuerpo cuadrtico imaginario. Entonces r
1
= 0,
r
2
= 1 y rank
Z
p
Gal(

K/K) = 1 + 1 = 2. Por consiguiente, K tiene dos Z

p
-
extensiones linealmente independientes. Una de ellas es la extensin ciclotmi-
ca. La otra extensin aparece de manera natural en la teora de curvas elpticas
(se puede obtener al aadir a K las coordenadas de los puntos de torsin de
orden p
n
de una curva elptica con multiplicacin compleja por K). La otra
extensin se denomina la Z
p
-extensin anticiclotmica de K, y normalmente
escribimos K
ac

=

n1
K
ac
n
. Los cuerpos intermedios K
ac
n
estn caracteriza-
dos como las nicas extensiones abelianas de K tales que el grupo de Galois
de K
ac
n
/K es el grupo dihedral de orden 2p
n
.
10. Acerca de los invariantes , y de una Z
p
-extensin
En esta seccin queremos explicar la importancia del teorema de Iwasawa y para
ello describiremos la relacin entre los invariantes y y el grupo de clases de
ideales de cuerpos intermedios de una Z
p
-extensin.
Sea K un cuerpo de nmeros y sea K

n1
K
n
una Z
p
-extensin de K. Por
el teorema de Iwasawa 9.2, existen invariantes
= (K

/K), = (K

/K) y = (K

/K)
tales que, si p
e
n
es la mayor potencia de p que divide el orden de Cl(K
n
), entonces
e
n
= n +p
n
+
para todo n n
0
. De esto se desprende que, si o no es nulo, entonces el tamao
de la parte p-primaria del grupo de clases Cl(K
n
) crece con n (y si = 0 muy
rpidamente!). De ahora en adelante llamaremos A
n
a la componente p-primaria de
Cl(K
n
). Es decir, A
n
es el subgroup de Cl(K
n
) formado por todos los elementos
cuyo orden es una potencia de p. Con esta notacin, el teorema de Iwasawa nos dice
que el rden del grupo A
n
es precisamente p
e
n
y, por tanto, si o no es nulo,
A
n
crece con n. Pero, cual es la estructura de A
n
como grupo abeliano? Z/p
e
n
Z,
o (Z/pZ)
e
n
, o . . . ? El teorema de Iwasawa, y la teora que Iwasawa inici con este
trabajo [10], describe precisamente la estructura de A
n
. A continuacin ofrecemos
ejemplos de resultados que conocemos acerca de esta cuestin.
Teorema 10.1 ([6], Prop. 2.1). Sea K un cuerpo de nmeros con nmero de clases
h
K
. Supongamos que h
K
no es divisible por p y que en K slo hay un ideal primo
sobre p. Entonces = = = 0 para toda Z
p
-extensin de K.
Ejemplo 10.2. Pongamos K = Q en el teorema 10.1. Claramente, el nmero de
clases de Q es 1 (pues Z es un DIP) y slo hay un ideal primo en Z sobre p.
18 Una introduccin a la teora de Iwasawa
Por consiguiente = = = 0 para toda Z
p
-extensin de Q. En el ejemplo 9.8
hemos visto que, si jamos el primo p, slo hay una Z
p
-extensin de Q, la extensin
ciclotmica Q

/Q. As que = = = 0 en esta extensin.

Que los invariantes , , se anulan en este caso tambin se puede deducir de
la conjetura de Vandiver. En efecto, sea Q
n
el n-simo cuerpo de la Z
p
-extensin
ciclotmica de Q. Como Q
n
es el subcuerpo de Q(
p
n+1) jo por H, donde H es
el subgrupo de orden p 1 en el grupo de Galois (Z/p
n+1
Z)

, sabemos que Q
n
est contenido en Q(
p
n+1)
+
porque el mximo subcuerpo real es el cuerpo jo de
un subgrupo de H de orden 2. La extensin Q(
p
n+1)
+
/Q
n
es abeliana, de grado
(p 1)/2 y p ramica totalmente. Por el teorema 7.1, h(Q
n
), el nmero de clases de
Q
n
, es un divisor del nmero de clases h(Q(
p
n+1)
+
).
Supongamos que p divide a h(Q
n
). En el parrafo anterior hemos visto que, en-
tonces, p tambin divide a h(Q(
p
n+1)
+
). Adems, Q(
p
n+1)
+
/Q(
p
)
+
es una exten-
sin de grado p
n
y, por tanto, por el teorema de push-down (Teorema 7.2), el primo
p es un divisor de h(Q(
p
)
+
), en contradiccin con la conjetura de Vandiver (Conj.
7.4). As que si creemos que la conjetura de Vandiver es cierta, entonces p no puede
ser un divisor de h(Q
n
), para ningn n 1, lo cual implica que = = = 0 en
la Z
p
-extensin ciclotmica de Q.
Si combinamos el teorema 10.1 con el criterio de Kummer (teorema 6.5) obten-
emos el siguiente resultado:
Corolario 10.3. Supongamos que p no es divisor del numerador de ningn nmero
de Bernoulli B
2k
con 2 2k p 3. Entonces = = = 0 para todas las Z
p
-
extensiones de K = Q(
p
).
La Z
p
-extensin ciclotmica de un cuerpo de nmeros es un tanto especial, pues
tiene propiedades que no tienen por qu ocurrir en otras extensiones p-dicas. La
siguiente conjetura fue propuesta por Iwasawa.
Conjetura 10.4 (Iwasawa). Sea K un cuerpo de nmeros y sea K

= KQ

la
Z
p
-extensin ciclotmica de K. Entonces (K

/K) = 0.
Sabemos que esta conjetura es cierta cuando K/Q es una extensin abeliana
(este resultado es un teorema de Ferrero y Washington; vase [15], Teorema 7.15).
Iwasawa encontr ejemplos de otras Z
p
-extensiones, distintas de la ciclotmica, tales
que (K

/K) = 0 (vase [11]). Si K/Q es totalmente real, i. e. el nmero de

inyecciones de K en R es igual al grado de K/Q, entonces se cree que el invariante
de la Z
p
-extensin ciclotmica es tambin nulo. Esto ltimo es una conjetura que
apareci en la tesis de Ralph Greenberg (gura 7), uno de los grandes expertos en este
campo en la actualidad. Greenberg fue estudiante de Iwasawa, ha explorado muchas
cuestiones en la teora de Iwasawa y contina atrayendo a muchos matemticos hacia
este tipo de preguntas.
Conjetura 10.5 ([7]). Sea K/Q un cuerpo de nmeros totalmente real y sea K

n1
K
n
la Z
p
-extensin ciclotmica de K. Entonces (K

/K) = (K

/K) = 0.
Es decir, la mayor potencia de p que divide al nmero de clases de K
n
est acotada
por p
e
n
p

= p
(K

/K)
, para todo n 1.
La Gaceta Artculos 19
Figura 7: Ralph Greenberg.
Qu ocurre cuando el invariante es nulo en una Z
p
-extensin? El siguiente
teorema responder a esta pregunta, pero primero necesitamos introducir el concepto
de p-rango de un grupo abeliano.
Definicin 10.6. Sea G un grupo abeliano nito y sea G[p

] la componente p-
primaria de G. Como G[p

] es un grupo abeliano nito tal que el orden de cada

uno de sus elementos es una potencia de p, tenemos que existen enteros r 0 y
e
1
, . . . , e
r
1 tales que:
G[p

= (Z/p
e
1
Z) (Z/p
e
2
Z) (Z/p
e
r
Z).
Si r = 0 entonces G[p

] es trivial (con un solo elemento, la identidad). Por tanto,

G[p

]/pG[p

= (Z/pZ)
r
y el entero r 0 es llamado el p-rango de G. O lo que es
lo mismo, r es la dimensin de G/pG como espacio vectorial sobre Z/pZ y decimos
que r = rank
Z/pZ
(G/pG). Ntese que G/pG

= G[p

]/pG[p

= (Z/pZ)
r
, as que r
tambin se puede calcular directamente desde G.
Teorema 10.7 ([15], Prop. 13.23). Sea K un cuerpo de nmeros y sea K

/K una
Z
p
-extensin. Entonces (K

/K) = 0 si y slo si el p-rango de Cl(K

n
) est acotado
cuando n .
Este teorema nos dice que = 0 si y slo si existe un r
0
tal que rank
Z/pZ
(A
n
) r
0
para todo n 1 donde, como antes, A
n
es la componente p-primaria de Cl(K
n
). Es
decir, existen constantes e
n,i
1 para cada i = 1, . . . , r
0
tales que
A
n

= (Z/p
e
n,1
Z) (Z/p
e
n,2
Z) (Z/p
e
n,r
0
Z)
y e
n,i
e
n+1,i
(porque la norma de A
n+1
a A
n
es sobreyectiva). Por tanto, para cada
i = 1, . . . , r
0
, tenemos una sucesin ascendente de enteros positivos
i
= {e
n,i
}
n1
.
Se cumple que e
n,i
cuando n , o es {e
n,i
} una sucesin acotada? Es aqu
donde el invariante entra en juego. Denimos A = lim

A
n
donde los morsmos de
conexin vienen dados por la norma.
Teorema 10.8 ([15], Prop. 13.25). Sea K un cuerpo de nmeros y sea K

/K una
Z
p
-extensin tal que (K

/K) = 0. Sea A
n
la componente p-primaria de Cl(K
n
),
20 Una introduccin a la teora de Iwasawa
donde K
n
es la n-sima capa de K

/K. Entonces
A = lim

A
n

= Z

p
G
donde = (K

/K) y G es un grupo nito abeliano cuyo orden es una potencia de

p.
En general, es muy difcil calcular los valores exactos de los invariantes , y
de una Z
p
-extensin dada. Sin embargo, en algunos casos particulares, tenemos
cotas para estos invariantes.
Teorema 10.9 ([6], Prop. 2.2). Sea K un cuerpo de nmeros y p un primo que se
descompone completamente en K/Q (i. e. pO
K
=
1

2

r
, donde todos los
i
son ideales primos distintos y r = [K : Q]). Sea K

/K una Z
p
-extensin en la cual
todos los ideales primos de O
K
sobre p ramican. Entonces (K

/K) r
2
, donde,
como siempre, [K : Q] = r
1
+ 2r
2
.
Tambin se ha conjeturado que, si jamos el cuerpo de nmeros K, el invariante
de la Z
p
-extensin ciclotmica de K no puede ser arbitrariamente grande al variar
el primo p.
Conjetura 10.10 ([6], p. 13). Sea K un cuerpo de nmeros y, para cada primo p,
sea K
,p
/K la Z
p
-extensin ciclotmica de K. Entonces existe un nmero N > 0
tal que (K
,p
/K) N para todos los primos p 2.
11. El cuerpo de clases de Hilbert
Antes de comenzar nuestra discusin de la demostracin del teorema de Iwasawa
necesitamos un ingrediente ms, que es la sorprendente conexin entre el nmero de
clases de un cuerpo de nmeros y sus extensiones sin ramicacin en ningn primo.
Figura 8: David Hilbert (1862 - 1943).
Teorema 11.1 (Hilbert, 1897). Sea K un cuerpo de nmeros y sea Cl(K) el grupo
de clases de ideales de K. Existe un cuerpo de nmeros H (conocido en la actualidad
como el cuerpo de clases de Hilbert de K) tal que:
La Gaceta Artculos 21
1. K H, la extensin H/K es de Galois, y Gal(H/K) es abeliano, isomorfo a
Cl(K), y
2. H es la mxima extensin abeliana de K sin ramicacin en ningn primo.
Este teorema, y los fundamentos de lo que hoy conocemos como la teora de
cuerpos de clases, aparecieron en el libro de Hilbert [8], tambin conocido como
su Zahlbericht. El teorema 11.1 constituye un diccionario entre grupos de clases
de ideales y extensiones abelianas no ramicadas y, en particular nos dice que el
nmero de clases de K es divisible por un primo p si y slo si existe una extensin
F/K abeliana no ramicada de grado p.
Supongamos que K es un cuerpo de nmeros y K

n1
K
n
es una extensin
p-dica de K. Sea H
n
el cuerpo de clases de Hilbert de K
n
y sea L
n
la mxima p-
extensin de K
n
que es abeliana y no ramicada (vase la gura 9). Por la denicin
de H
n
, sabemos que hay una inclusin L
n
H
n
. Tambin denimos:
K

=
_
n1
K
n
, L

=
_
n1
L
n
, y H

=
_
n1
H
n
.
Sea X
n
= Gal(L
n
/K
n
). Por el Teorema 11.1, sabemos que Gal(H
n
/K
n
)

= Cl(K
n
)
y el grupo de Galois Gal(L
n
/K
n
) es isomorfo a A
n
, la componente p-primaria de
Cl(K
n
). Como L
n
/K es de Galois, la extensin L

/K tambin es de Galois, es decir

normal y separable. Si denimos X = Gal(L

/K

) entonces sabemos que

Gal(L

/K)/X

= Gal(K

/K)

= Z
p
.
A partir de ahora asumiremos, por simplicidad que la extensin K

/K est to-
talmente ramicada en cada primo que ramica. Bajo esta hiptesis, tenemos que
K
n+1
L
n
= K
n
porque K
n+1
/K
n
est totalmente ramicada y L
n
/K
n
no se ram-
ica. Por tanto,
Gal(L
n
/K
n
)

= Gal(L
n
K
n+1
/K
n+1
)
y X
n
= Gal(L
n
/K
n
)

= Gal(L
n
K

/K

) y tambin
X = Gal(L

/K

= lim

Gal(L
n
K

/K

) = lim

X
n
.
Por consiguiente, est claro que nos interesa mucho conocer la estructura de X =
Gal(L

/K

) porque resume la estructura de X

n

= A
n
, para cada n 1.
12. La estructura de X como un mdulo sobre Z
p
[[T]]
En esta seccin describimos como se puede dotar a X = Gal(L

/K

) con una
estructura de mdulo sobre Z
p
[[T]] y tambin hablaremos de Z
p
[[T]]-mdulos en
general. Por abreviar, llamaremos = Z
p
[[T]] al anillo de series en la variable T con
coecientes en Z
p
.
(a) Primero, sabemos que X = lim

X
n
es un lmite inverso de p-grupos abelianos
nitos, porque X
n
es isomorfo a A
n
, la componente p-primaria de Cl(K
n
) y,
por tanto, podemos considerar X como un Z
p
-mdulo de modo natural.
22 Una introduccin a la teora de Iwasawa
H

X
.
.
.
K

.
.
. H
n
.
.
. L
n
X
n
H
1
K
n
Z/pZ
L
1
X
1
H
0
K
1
Z/pZ
L
0
X
0
K = K
0
Q
Figura 9: La Z
p
-extensin K

/K, la mxima p-extensin abeliana sin ramicacin

de la capa K
n
, y sus cuerpos de clases de Hilbert.
La Gaceta Artculos 23
Ejemplo 12.1. Supongamos que X

= Z/pZZ/p
2
ZZ
p
. Denimos la accin
natural de k Z
p
sobre un elemento x = (a mod p, b mod p
2
, c) X, donde
a, b Z y c Z
p
, como
k x = (ka mod p, kb mod p
2
, kc).
(b) Tambin hay una accin natural de = Gal(K

/K) sobre X = Gal(L

/K

).
En efecto, sea y sea cualquier elemento de Gal(L

/K) que extiende

a (es decir, la restriccin de a K

es ) y sea x X. Denimos la accin

de sobre x X como
x = x
1
.
Esta accin est bien denida porque, si

es otra extensin de a todo

Gal(L

/K), entonces

y dieren en , un automorsmo de L

/K

(i. e.
X). De esto se deduce que

x(

)
1
= x( )
1
= x
1

1
= x
1
porque X es abeliano, , x X y, por tanto, x
1
= x.
Juntando (a) y (b) hemos construido una estructura natural para X como Z
p
[]-
mdulo. Ntese que = Gal(K

/K)

= Z
p
. Sea
0
un generador topolgico jo de
y denamos la accin de un parmetro T sobre X como T X = (
0
1)X (esto
hace que consideremos la accin como aditiva, en vez de multiplicativa). Entonces
X se puede considerar como un Z
p
[T]-mdulo. Adems, la accin de T sobre X es
topolgicamente nilpotente, i. e. cualquier subgrupo abierto de X contiene a T
n
X
para todo n > 0 sucientemente grande. Por consiguiente, X es un Z
p
[[T]]-mdulo,
o un -mdulo por abreviar.
El siguiente teorema es la clave de toda la teora:
Teorema 12.2 (Serre, [13]). X = Gal(L

/K

) es un -mdulo nitamente gen-

erado, y X es -torsin, i. e. para todo x X existe un , con = 0, tal que
x = 0.
El anillo no es un dominio de ideales principales pero, de todos modos, tenemos
un teorema sobre la estructura de -mdulos, anlogo al de mdulos nitamente
generados sobre un DIP.
Definicin 12.3. Decimos que dos -mdulos X y Y son pseudoisomorfos, y es-
cribimos X Y , si existe un homomorsmo de -mdulos X Y cuyo ncleo y
concleo son nitos.
El siguiente teorema fue demostrado primero por Iwasawa ([15], Thm. 13.12),
pero Serre y Cohen encontraron demostraciones ms sencillas.
Teorema 12.4 (Teorema de estructura para -mdulos nitamente generados). Sea
X un -mdulo nitamente generado. Entonces X es pseudoisomorfo a un -mdulo
Y tal que
X Y =
r

_
s

i=1
/(p
n
i
)
_

_
_
t

j=1
/(f
j
(T))
m
j
_
_
24 Una introduccin a la teora de Iwasawa
donde r, s, t, n
i
, m
j
Z y f
j
(T) son polinomios distinguidos en Z
p
[T].
Recordamos al lector que un polinomio f(T) = T
n
+a
n1
T
n1
+ +a
1
T +a
0

Z
p
[T] es distinguido si a
i
es divisible por p para todo i = 0, . . . , n 1.
13. La demostracin del teorema de Iwasawa
En esta ltima seccin vamos a ensamblar todas las piezas para esbozar una
demostracin del teorema de Iwasawa (Teorema 9.2). El objectivo es calcular el
tamao de A
n
, para todo n n
0
. Por la teora de cuerpos de clases, A
n

= X
n
, y
hemos demostrado en la seccin 11 que X = Gal(L

/K

= lim

X
n
.
Pregunta 13.1. Si conocieramos la estructura de X como -mdulo, podemos
deducir la estructura de X
n
?
Respondamos primero esta pregunta. Recordemos que hemos elegido un elemento

0
, que es un generador topolgico de = Gal(K

/K)

= Z
p
, as que el elemento

n
=
p
n
0
es un generador topolgico de
n
= Gal(K

/K
n
)

= p
n
Z
p
. No es difcil
demostrar que L
n
K

es la mxima extensin abeliana de K

n
que est incluida en
L

. Por tanto, H
n
= Gal(L

/L
n
K

) es el mayor subgrupo de G
n
= Gal(L

/K
n
)
tal que el subcuerpo jo de H
n
es abeliano sobre K
n
. Deducimos, pues, que H
n
es
el subgrupo conmutador de G
n
(por las propiedades de subgrupos conmutadores).
Es decir, H
n
= Gal(L

/L
n
K

) = [G
n
, G
n
]. Adems, es fcil demostrar que el
subgrupo conmutador [G
n
, G
n
] = {aba
1
b
1
: a, b G
n
} tambin se puede describir
como
[G
n
, G
n
] = {
n
x
n
1
x
1
: x X,
n
extiende
n

n
a G
n
}.
Si recordamos que la accin de
n
sobre x X viene precisamente denida por

n
x =
n
x
n
1
, si cambiamos a la notacin aditiva y si ponemos w
n
=
n
1,
entonces el subgrupo conmutador de G
n
es igual a [G
n
, G
n
] = (
n
1)X = w
n
X.
Concluimos que
X
n
= Gal(L
n
/K
n
)

= Gal(L
n
K

/K

= Gal(L

/K

)/[G
n
, G
n
]

= X/w
n
X.
Por tanto, hemos demostrado el siguiente resultado.
Proposicin 13.2. Sea X = Gal(L

/K

) y X
n
= Gal(L
n
/K
n
). Sea
0
un gen-
erador topolgico de = Gal(K

/K). Tambin, sea

n
=
p
n
0
y w
n
=
n
1.
Entonces
X
n

= X/w
n
X.
Ahora podemos reescribir el isomorsmo X
n

= X/w
n
X en funcin de la accin
de = Z
p
[[T]] sobre X. Recordemos que hemos denido T x = (
0
1)x y, as
pues,
w
n
x = (
n
1)x = (
p
n
0
1)x = ((1 +T)
p
n
1)x.
Por tanto, X
n

= X/((1 + T)
p
n
1)X y esto constituye una respuesta armativa a
nuestra pregunta 13.1.
La Gaceta Artculos 25
Esbozo de la demostracin del teorema 9.2. El teorema 12.2 nos dice que
X = Gal(L

/K

) es un -mdulo nitamente generado y, por el teorema de es-

tructura 12.4, existe un -mdulo Y tal que
Y =
r

_
s

i=1
/(p
n
i
)
_

_
_
t

j=1
/(f
j
(T))
m
j
_
_
y los mdulos X e Y son pseudoisomorfos. Por el Teorema 12.2, X es -torsin, y
esto signica que r = 0 en la ecuacin anterior y, por tanto:
X Y =
_
s

i=1
/(p
n
i
)
_

_
_
t

j=1
/(f
j
(T))
m
j
_
_
.
Ahora slo nos queda contar el nmero de elementos en los grupos cocientes indicados
en la proposicin 13.2. Dejamos que el lector verique que existe un entero N
1
tal
que, poniendo m =

s
i=1
n
i
y =

t
j=1
deg(f
j
)m
j
,
|Y/((1 +T)
p
n
1)Y | = p
mp
n
+n+c
para todo n > N
1
y para alguna constante c 0. Adems, si X Y entonces existe
un entero N
2
0 tal que
|X/((1 +T)
p
n
1)X| = p
c

|Y/((1 +T)
p
n
1)Y |
para todo n > N
2
, donde c

0 es constante. Por consiguiente, si denimos

= (K

/K) = m, = (K

/K) = y = c +c

entonces existe un nmero n

0
= m ax(n
1
, n
2
) tal que
|A
n
| = |X
n
| = |X/((1 +T)
p
n
1)X| = p
p
n
+n+
para todo n n
0
, lo cual concluye la demostracin del teorema de Iwasawa.
Referencias
[1] J. Buhler, R. Crandall, R. Ernwall, T. Metsnkyl, M. Shokrollahi,
Irregular primes and cyclotomic invariants to 12 million, J. Symbolic Comp 31
(2001), 8996.
[2] A. Brumer, On the units of algebraic number elds, Mathematika, 14 (1967),
121124.
[3] J. Coates, R. Sujatha, Cyclotomic Fields and Zeta Values, Springer, 2009.
[4] K. E. Conrad, Fermats last theorem for regular primes, disponible en su pgi-
na: http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/fltreg.pdf
26 Una introduccin a la teora de Iwasawa
[5] H. M. Edwards, Fermats last theorem: A genetic introduction to algebraic
number theory, GTM 50, Springer, 1977.
[6] R. Greenberg, Iwasawa Theory - Past and Present, disponible en su pgina:
http://www.math.washington.edu/~greenber/research.html
[7] R. Greenberg, On some questions concerning the Iwasawa invariants, Prince-
ton University thesis, 1971.
[8] D. Hilbert, Theorie der algebraischen Zahlkrper (The theory of algebraic num-
ber elds), Springer, 1998 (publicado originalmente en 1897).
[9] K. Iwasawa, A note on Class Numbers of Algebraic Number Fields, Abh. Math.
Sem. Univ. Hamburg, 20 (1956), 257-258.
[10] K. Iwasawa, On -extensions of algebraic number elds, Bull. Amer. Math.
Soc. 65 (1959), 183-226.
[11] K. Iwasawa, On the -invariants of Z

-extensions, Number theory, Algebra-

ic Geometry, and Commutative Algebra (in honor of Y. Akizuki), Kinokuniya:
Tokyo, 1973, pp. 1-11.
[12] D. Lorenzini, An invitation to Arithmetic Geometry, Graduate Studies in
Mathematics, Vol 9, American Mathematical Society, 1996.
[13] J. P. Serre, Classes des corpes cyclotomique (daprs K. Iwasawa), Seminaire
Bourbaki, 174 (1959).
[14] K. Uchida, Class numbers of imaginary abelian number elds, I, II y III,
Thoku Math. J. (2) 23 (1971), 97-104, 335-348 y 573-580.
[15] L. C. Washington, Introduction to cyclotomic elds, Second Edition, GTM
83, Springer, 1997.
[16] A. Wiles, Modular elliptic curves and Fermats last theorem, Ann. of Math.
141 (1995), no. 3, 443551.
lvaro Lozano-Robledo, Dept. of Mathematics, University of Connecticut, Storrs, CT
06269, USA
Correo electrnico: alvaro.lozano-robledo@uconn.edu
Pgina web: http://www.math.uconn.edu/~alozano