Clasicacion de Grupos Abelianos

Rodrigo Pel aez

Asesor: Xavier Caicedo
Universidad de Los Andes. 2001
1

Indice
1 Preliminares 5
1.1 Algunos resultados de la Teora de Grupos Abelianos . . . . . . . . . . . . . . 5
1.2 Algunos resultados de la Logica y la Teora de Modelos . . . . . . . . . . . . 5
1.2.1 Estructuras parcialmente isomorfas . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Equivalencia elemental y subestructuras elementales . . . . . . . . . . 6
1.2.3 Logica Innitaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.4 Estructuras -saturadas . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Teorema de Ulm 10
3 Clasicacion elemental de los grupos abelianos de torsion 14
4 Clasicacion elemental de los grupos abelianos 16
4.1 La estructura de los Grupos Abelianos
1
-saturados . . . . . . . . . . . . . . 16
4.2 El Teorema de Clasicacion Elemental . . . . . . . . . . . . . . . . . . . . . . 27
2
AGRADECIMIENTOS
Ver una luz despues de entender que se vive en la oscuridad; y volver a caer en la oscu-
ridad en busca de otro destello que lleve a otro punto opaco; y as sucesivamente, hace que
aprender Matematicas sea tan magico. Dedico este trabajo con mucho amor a aquellos que
han compartido conmigo la aventura de aprender. A mi papa que me dio la posibilidad de ser
humano y tomar este camino. A Juanca y Jeanqui que me abrieron las primeras puertas al
pensamiento matematico y al amor por esta disciplina. A Mara, porque el amor es necesario
para seguir. A Eduardo y Camilo que me me han ense nado tanto con su dedicacion y com-
promiso. A Xavier Caicedo, un gran maestro que admiro profundamente y que ha marcado
patrones rmes de mi etica matematica. A Alf, Jaime, Eliana, Guillermo, German, Pablo,
Andres.
3
Introduccion
La clasicacion modulo isomorsmo de los grupos abelianos es un objetivo a un no al-
canzado por los matematicos, aunque se han logrado avances importantes en dicho campo
como la clasicacion de los grupos abelianos ntamente generados, los grupos divisibles y
los grupos abelianos enumerables de torsion; este ultimo resultado, obtenido por Ulm en la
primera mitad del siglo XX. Sin embargo, para la segunda mitad del siglo pasado se logra
una clasicacion elemental de los grupos abelianos.
Hacia nales de los cuarenta y comienzos de los cincuenta, Warszawa Szmielew se in-
tereso en el problema concerniente a la decibilidad de la Teora de los Grupos Abelianos.
En 1955 publico su artculo Elementary properties of Abelian Groups, [S], en el cual con-
sigui o con exito dar una prueba de la decibilidad de la Teora. Junto con esta respuesta,
dados los resultados que obtuvo en el camino, Szmielew logro tambien describir a partir de
algunas sentencias de la logica de primer orden, las distintas clases elementales de los Grupos
Abelianos; establecio una clasicacion, modulo equivalencia elemental, de dichos grupos.
M as tarde, a comienzos de los a nos setenta, Paul C. Eklof y Edward R. Fischer retomaron
los resultados de Szmielew desde un punto de vista de la Teora de Modelos y en su artculo
The Elementary Theory of Abelian Groups, [EyF], presentaron nuevas pruebas para dichos
puntos entre otros. Su lnea de trabajo se baso principalmente en el estudio de la estructura
(y la existencia) de los grupos abelianos saturados.
En este trabajo se intenta reproducir, de manera detallada y profunda, los resultados
relacionados con la clasicacion elemental de los grupos abelianos; consiguiendo entonces, una
descripcion de las extensiones completas de dicha Teora. En la primera parte se presentan
e introducen, a modo de un recorrido no muy profundo, algunos resultados y conceptos
importantes de la Teora de Grupos Abelianos, la Logica y la Teora de Modelos, que se
utilizan a lo largo del escrito. Segudamente, se presenta una prueba detallada del Teorema
de Clasicacion de Ulm motivada por la nocion del Back and Forth introducida en el captulo
previo. En el tercer captulo se clasican elementalmente los grupos abelianos de torsion
siguiendo un camino sugerido por las nociones de la Logica Innitaria introducidas en los
preliminares y orientadas hacia este objetivo en [B]. Finalmente, en el cuarto captulo se
llega al Teorema de Clasicacion elemental de los grupos abelianos en dos pasos siguiendo
de cerca el contenido de la seccion 1 de [EyF]. La primera seccion se enfoca en la prueba del
teorema que describe la estructura de los grupos abelianos -saturados ( no enumerable)
en funcion de ciertos invariantes (Szmielew) denibles en la Logica de primer orden. En la
segunda seccion, sin usar la existencia de grupos abelianos saturados, se llega a la prueba del
Teorema principal haciendo antes un analisis muy util de ciertas subestructuras elementales
de los grupos abelianos -saturados.
4
1 Preliminares
En este captulo se hace un breve recuento de algunos resultados importantes para el
desarrollo posterior del escrito y que por su caracter mas general se presentan en la seccion
preliminar. En la primera seccion se revisan los teoremas referentes a la Teora de Grupos y
en la segunda los que conciernen a la Logica y la Teora de Modelos.
1.1 Algunos resultados de la Teora de Grupos Abelianos
Para la profundizacion en el material presentado en este apartado se recomienda revisar
las primeras secciones de [K].
Si cada elemento g de un grupo abeliano G tiene orden nito n
g
(n
g
es el mnimo entero
positivo tal que n
g
g = 0), se dice que G es un grupo de torsion. Mas alla, si para cada
g G, n
g
= p
m
donde p es un primo jo y m alg un entero positivo, se dice que G es un
p-grupo.
Teorema 1. Todo grupo abeliano de torsion G es isomorfo a la suma directa de sus p-
subgrupos.
Ahora bien, un grupo G se dice divisible si para cada g G y cada n Z
+
, existe un
g
n
G tal que ng
n
= g.
Ejemplo 2. El grupo aditivo de los racionales, (Q, +), es divisible.
Ejemplo 3. Para cada primo p, el p-grupo de Pr ufer Z
p
es divisible.
Teniendo los dos anteriores ejemplos se puede enunciar el Teorema que clasica los grupos
divisibles modulo isomorsmo.
Teorema 4. Todo grupo abeliano divisible es isomorfo a una suma directa de grupos donde
cada uno de ellos es isomorfo a Q o a Z
p
(para varios primos p)
Es facil ver que cada grupo abeliano G posee un unico subgrupo divisible maximal. Esto
se logra simplemente considerando la union M, no vaca (pues 0 G es divisible), de todos
los subgrupos divisibles de G, y vericando que efectivamente M es un subgrupo divisible
de G ya que todo elemento m M se escribe como la suma nita m = x
1
+ ... + x
k
, donde
cada x
i
pertenece a alg un subgrupo divisible de G. Como cada x
i
es divisible por todo n,
entonces su suma, m, tambien lo es. Los siguientes Teoremas exhiben la importancia del
subgrupo divisible maximal para entender la estructura de un grupo abeliano.
Teorema 5. Todo subgrupo divisible D de un grupo abeliano G es un sumando directo.
Teorema 6. Todo grupo abeliano G tiene un unico subgrupo divisible maximal M, y G

=
M N donde N no tiene subgrupos divisibles no triviales (es reducido).
Finalmente, un subgrupo S de un grupo abeliano G se dice puro en G, si para todo entero
positivo n se cumple que nG S = nS. Notese que todo subgrupo divisibe D de un grupo
abeliano G, es un subgrupo puro.
1.2 Algunos resultados de la Logica y la Teora de Modelos
Para la profundizacion en el material presentado en este apartado se recomienda revisar
[B] y los captulos 2 y 3 de [CyK].
5
1.2.1 Estructuras parcialmente isomorfas
Considerense dos estructuras A y B del mismo tipo. Sea 1 un conjunto no vaco de
isomorsmos entre subestructuras de A y B. Se dice que 1 tiene la propiedad del Back and
Forth si para cada f 1 y a A (resp. b B), existe un g 1 que extiende a f y tal que
a dom(g) (resp. b rng(g)).
Se dice que A y B son parcialmente isomorfas, A

=
p
B, si existe un conjunto de isomor-
smos parciales 1 entre A y B con la propiedad del Back and Forth.
El siguiente Teorema muestra el alcance de la nocion anteriormente introducida cuando
se trata de estructuras enumerables. Es de gran utilidad para la prueba del Teorema de Ulm
en el siguiente captulo.
Teorema 7. Si dos estructuras A y B del mismo tipo son enumerables (o enumerablemente
generadas), entonces A

= B ssi A

=
p
B.
1.2.2 Equivalencia elemental y subestructuras elementales
Dadas dos estructuras A y B asociadas al lenguaje L, se dice que A y B son elemental-
mente equivalentes, A B , ssi satisfacen las mismas sentencias sobre L (Th(A) = Th(B)).
El siguiente teorema muestra como los productos preservan la equivalencia elemental. Es
de gran importancia para la clasicacion elemental de los grupos abelianos de torsion en el
tercer captulo.
Teorema 8. (Feferman-Vaught) Si I es un conjunto no vaco y (A
i
)
iI
y (B
i
)
iI
son
dos familias de estructuras asociadas a un lenguaje L tales que para cada i I, A
i
B
i
,
entonces

iI
A
i


iI
B
i
.
A es subestructura elemental de B, A B , ssi A B (A es submodelo deB ) y para
cada formula sobre L con variables libres x
1
, x
2
, ..., x
n
y cada a
1
, a
2
, ..., a
n
A, se tiene
que
A [a
1
, a
2
, ..., a
n
] ssi B [a
1
, a
2
, ..., a
n
]
Lema 9. (Tarski) A B si y solo si A B y para cada formula x(x, x
1
, ..., x
n
) con
variables libres x
1
, x
2
, ..., x
n
y cada a
1
, a
2
, ..., a
n
A, se tiene que si B x[a
1
, a
2
, ..., a
n
],
entonces existe un a A tal que B [a, a
1
, a
2
, ..., a
n
]
Corolario 10. Sean A y B dos estructuras asociadas al lenguaje L . Si para cada
a
1
, a
2
, ..., a
n
A y b B, existe un automorsmo f de B tal que f(a
i
) = a
i
i = 1, ..., n y
tal que f(b) A, entonces A B .
Demostracion. Sea x(x, x
1
, ..., x
n
) una formula con variables libres x
1
, x
2
, ..., x
n
. Suponga-
se que B x[a
1
, a
2
, ..., a
n
]. Sea b B tal que B [b, a
1
, a
2
, ..., a
n
]. Por hipotesis, existe
un automorsmo f de B tal que f(a
i
) = a
i
i = 1, ..., n y tal que f(b) = a A. Notese que
B x[a
1
, a
2
, ..., a
n
] B [b, a
1
, a
2
, ..., a
n
]
B [f(b), f(a
1
), f(a
2
), ..., f(a
n
)]
B [a, a
1
, a
2
, ..., a
n
]
Por el lema de Tarski, A B .
Una cadena elemental es una cadena de estructuras asociadas a un lenguaje L
A
0
A
1
... A

..., < ( un ordinal)

tal que A

, siempre que < < .

Teorema 11. Sea A

, < , una cadena elemental de estructuras. Entonces A

<
A

para todo < .

6
1.2.3 Logica Innitaria
Si L es un lenguaje usado en la logica de primer orden, L

consiste en aumentar L
a nadiendo variables v

para cada ordinal . La clase de formulas sobre L

es la clase mas
peque na Y que contiene a las formulas atomicas sobre L y es cerrada bajo:
a) Si Y , entonces () Y .
b) Si Y , entonces (v

) y (v

) pertenecen a Y .
c) Si es un subconjunto de Y , nito o innito, entonces la conjuncion y la disyuncion
pertenecen a Y .
Ejemplo 12. Si G es un grupo abeliano y L es el lenguaje para la Teora de Grupos Abelianos
con un smbolo de funcion binaria + y un smbolo de constante 0, entonces G es de torsion
ssi G es un modelo de la sentencia sobre L

n<
(nx = 0), donde nx = x +x +... +x (n veces)
Una medida importante de la complejidad de una formula de L

es su rango cuanti-
cacional. Si es una formula sobre L

, el rango cuanticacional de , qr(), es un ordinal

y esta denido por induccion en la complejidad de la formula, as:
qr() = 0, si es atomica
qr() = qr()
qr(v

) = qr(v

) = qr() + 1
qr() = qr() = supqr() :
Dadas dos estructuras A y B para el lenguaje L, se escribe
A

B,
si A y B son modelos de las mismas sentencias sobre L

. Para un ordinal , se escribe

A

B,
si para cada sentencia sobre L

tal que qr() , se tiene que A ssi B . Puede

mostrarse que dadas dos estructuras A y B para el lenguaje L, A B ssi A

B.
Un importante Teorema que establece el vnculo entre la nocion de estructuras parcial-
mente isomorfas (

=p
) y equivalentes en L

) es el Teorema de Karp, probado por

primera vez en Finite quatier equivalence, The Theory of Models (1965).
Teorema 13. (Karp). Dadas dos estructuras A y B para el lenguaje L, las siguientes son
equivalentes:
a) A

B
b) A

=
p
B
c) Existe un conjunto 1 de isomorsmos parciales entre A y B con la propiedad del Back
and Forth tal que todo f 1 tiene dominio y rango nitamente generado.
En el tercer captulo se utilizan fuertemente dos resultados importantes que involucran de
nuevo las nociones introducidas en este apartado.
7
1.2.4 Estructuras -saturadas
Dada A una estructura asociada a un lenguaje L y un subconjunto X A, se escribe A
X
para referirse a la estructura A distinguiendo los elementos de X. Su lenguaje asociado, L
X
,
tiene nombres para cada uno de estos elementos. Se dice que A es -saturada si para todo
subconjunto X A tal que [X[ < se tiene que todo conjunto de formulas (x) sobre L
X
consistente con Th(A
X
) es realizado en A
X
.
El siguiente lema se utuliza frecuentemente en las demostraciones de la primera seccion
del captulo cuarto; es por eso que se enuncia para estructuras
1
-saturadas, protagonistas
en dicha parte del trabajo.
Lema 14. Sea A una estructura
1
-saturada. Para todo subconjunto enumerable X A, cada
tipo (x
1
, x
2,...
) sobre L
X
con enumerables variables consistente con Th(A
X
) es realizado
en A
X
.
Demostracion. Sea (x
1
, x
2,...
) un tipo sobre L
X
consistente con Th(A
X
). Se construira el
subconjunto enumerable a
1
, a
2
, ... A que realiza en A
X
recursivamente. Para encontrar
el primer elemento,
i) Primer paso. Sea
1
(x
1
) = x
2
x
3
...x
k

(x
1
, ...) : , donde n

= max : x

aparece
libre en . Es facil vericar que
1
(x
1
) es consistente con Th(A
X
), con lo cual, por hipotesis
de
1
-saturacion, existe a
1
A tal que A
X
(a
1
). As, a
1
es entonces el primer elemento
del subconjunto enumerable que se quiere construir.
Para elegir el n-esimo elemento,
ii) n-esimo paso. Sea
n
(a
1
, a
2
, ..., a
n1
, x
n
) = x
n+1
...x
n

(a
1
, a
2
, ..., a
n1
, x
n
, ...) :
, donde a
1
, a
2
, ..., a
n1
son los elementos ya encontrados. Considerese X
n
=
X a
1,
a
2
, ..., a
n1
. Notese que X
n
es a un enumerable. Es facil ver tambien que

n
(a
1
, a
2
, ..., a
n1
, x
n
) es consistente con Th(A
X
n), con lo cual, por hipotesis de
1
-
saturacion, existe a
n
A tal que A
X
n
n
(a
n
). Esto quiere decir que a
1
, a
2
, ..., a
n1
, a
n
realiza
n
(a
1
, a
2
, ..., a
n1
, x
n
) en A
X
.
Queda entonces construido el subconjunto deseado.
Los dos siguientes lemas son de gran importancia para los resultados obtenidos en la
segunda seccion del cuarto captulo.
Lema 15. Para todo modelo A de una teora sobre alg un lenguaje L , existe una extension
elemental A

~ A tal que para todo subconjunto enumerable X A y todo 1-tipo completo con
parametros en X consistente con Th(A
X
),
X
(x), existe un a Atal que A

X
(a).
Demostracion. Sea X
i

iI
la familia de todos los subconjuntos enumerables de A. Para cada
i I, considerese

ji
X
i
(x)

j
i
J
i
, la familia de todos los 1-tipos completos con parametros
en X
i
consistentes con Th(A
X
i
) (es importante notar que Th(A
X
i
)
j
i
X
i
(x) para todo
j
i
J
i
).
Ahora bien, para cada
j
i
Xi
(x) considerese un smbolo de constante c
j
i
i
que no esta en L
A
y
tal que c
j
i
i
= c
l
k
k
si i = k o j = l. Defnase entonces los siguientes conjuntos de sentencias
sobre el nuevo lenguaje L= L
A

c
ji
i

iI
j
i
J
i

ji
X
i
(c
ji
i
) =

(c
ji
i
) : (x)
ji
X
i
(x)

y considerense entonces la teora T =

iI
jiJi

ji
X
i
(c
ji
i
). Notese que cada
ji
X
i
(c
ji
i
) es consistente
(por la consistencia de
ji
X
i
(x)). Al unir nitos de estos para un X
i
jo, se obtiene de igual
8
manera una teora consistente ya que Th(A
Xi
)
ji
X
i
(c
ji
i
) para cualquier j
i
1
. Analogamente,
al unir dos de estos tipos con parametros en X
1
y X
2
respectivamente, se obtiene de nuevo
una teora consistente debido a que Th(A
X
1
X
2
)
j
i
X
i
(c
j
i
i
) para i = 1, 2. Por compacidad,
T es una teora consistente y tiene entonces un modelo A

.
Cada elemento de A esta identicado con una constante distinta de L, que a su vez denota
un elemento distinto de A. Ademas notese que
Th(A
A
)

i
Th(A
Xi
)

ji
X
i
(c
ji
i
) T,
con lo cual A

Th(A
X
), y entonces A A

. Claramente A

realiza cada uno de los tipos

j
i
X
i
(x) (su respectivo c
j
i
i
lo hace). Se tiene entonces lo deseado.
Lema 16. Para cualquier par de modelos A y B de la misma teora sobre un lenguaje L,
existe un par de extensiones elementales
1
-saturadas A

~ A, B

~ B tales que [A

[ = [B

[.
Demostracion. Se construiran dos cadenas elementales A = A
0
A
1
... A

... ,
B = B
0
B
1
... B

... simultaneamente e inductivamente sobre los ordinales

enumerables, as:
1. A
0
= A y B
0
= B.
2. Para = +1,
1,
A
a
= A

y B

= B

; donde A

y B

se logran de la manera
descrita en el lema 15.
3. Para
1
un ordinal lmite, A
a
=

<
A

y B

=

<
B

.
A

= A

1
es
1
-saturada. Sea X A

un subconjunto enumerable de parametros. Por

construccion, X A

para alg un <

1
. Notese que, tambien por construccion, A
+1
realiza todos los 1-tipos con parametros en X y por lo tanto A

tambien los realiza.

Analogamente B

= B

1
es tambien una estructura
1
-saturada. Por el Teorema de Cadenas
Elementales (teorema 11), A

~ A y B

~ B . Se tiene entonces lo deseado.

1
Aqu es importante notar que si surge una contradiccion a partir de dos sentencias en las que aparecen
dos constantes distintas, entonces surge una contradiccion a partir de dos sentencias que no las mencionan.
Por ser estos tipos consistentes con Th(A
X
i
), tal contradicci on no puede surgir.
9
2 Teorema de Ulm
En este captulo se demuestra el Teorema de Ulm, que clasica, modulo isomorsmo, los
grupos abelianos enumerables de torsion. La demostracion que aqu se presenta sigue la lnea
propuesta en la seccion 11 de [K] aunque hace evidente la motivacion que sugiere la nocion
de estructuras parcialmente isomorfas presentada en el captulo anterior.
Teorema 17. (Ulm) Dos grupos de torsion enumerables con los mismos invariantes de
Ulm, son isomorfos.
Antes de dar una prueba, algunas deniciones y observaciones.
1. Notese que por el teorema 1 es suciente probar la armacion del teorema para p-grupos.
2. Tambien es importante notar que basta considerar p-grupos reducidos (sin subgrupos
divisibles no triviales) ya que la estructura de los grupos divisibles esta caracterizada
por el teorema 4 y se tiene ademas que todo grupo abeliano se puede ver como la suma
directa de su subgrupo divisible maximal y un subgrupo reducido (teorema 6).
3. Durante este captulo, G sera entonces un p-grupo abeliano reducido enumerable de
torsion.
Pues bien, considerese la siguiente sucesion transnita de subgrupos de G, donde es un
ordinal:
p

G =

p(p

G), si = + 1

<
p

G, si es un ordinal lmite
Notese que as se tiene una cadena descendente de subgrupos de G que se estabiliza en
cierto ordinal mnimo (pues toda cadena descendente de cardinales es estacionaria), la
longitud de G.
G > pG > ... > p

G = p
+1
G
Ahora considerense los subgrupos de G dados por:
p

G[p] = P p

G, donde P = g G : pg = 0
De nuevo se tiene una cadena descendente estacionaria de subgrupos
pG[p] > p
2
G[p] > ... > p

G[p] = p
+1
G[p]
Notese que cada uno de los cocientes (p

G[p]/p
+1
G[p]) puede verse como un espacio vectorial
sobre Z
p
, y por lo tanto tendran una respectiva dimension vistos como tal. Se llamara el
esimo invariante de Ulm a la dimension de (p

G[p]/p
+1
G[p]). Es decir, el conjunto de
los invariantes de Ulm de G puede verse como el rango de la funcion
f : Ordinales Cardinales
dim

G[p]/p
+1
G[p]

Denicion 18. Se dice que g G tiene altura si g p

G pero g / p
+1
G. Se denota
h(g) a la altura de g.
Notese que todo elemento g de G tiene altura por lo menos nula ya que g p
0
G = G.
En el caso de la identidad, como 0 p

G para todo ordinal , se escribe h(0) = , con la

convencion de que es mayor que cualquier ordinal, y se dice que tiene altura innita. Con
esta denicion de altura es facil vericar que se cumplen las siguientes:
10
1. h(x) < h(y) h(x +y) = h(x)
2. h(x) = h(y) h(x +y) h(x)
3. x = 0 h(px) > h(x)
Denicion 19. Sea S G y g G. Se dice que g es propio con respecto a S si h(g)
h(g +s), para todo s S; es decir, si g tiene altura maximal en g +S.
Antes de formular un lema importante para la demostracion del teorema, se consideraran
algunos grupos y un isomorsmo entre ellos.
Sea S

= S

p
1
(p
+2
G), donde S

= S p

G y p
1
(p
+2
G) =

g G : pg p
+2
G

.
(observacion: p
+1
G p
1
(p
+2
G)).
Notese que si x S

, entonces px p
+2
G, y por tanto existe un y p
+1
G tal que px = py.
Ademas para cualquier z p
+1
G[p] se tiene que p(y +z) = py +pz = py = px, es decir, tal
elemento y esta bien denido modulo p
+1
G[p].
Pues bien, notese que (xy) P (pues p(xy) = 0) y que (xy) p

G (pues x S

G
, y p
+1
G p

G ), con lo cual se tiene que (x y) p

G[p] .
Considerese entonces la funcion
U : S

G[p]/p
+1
G[p]
x (x y) +p
+1
G[p]
Su buena denicion se tiene de la buena denicion de y modulo P
+1
, y es relativamente
sencillo ver que se trata de un homomorsmo.
Dado que (x y) p

G[p] , x S

y y p
+1
G, notese que:
U(x) =

0 ssi (x y) p
+1
G[p]
ssi (x y) P y (x y) p
+1
G
ssi x p
+1
G
ssi x S
+1
con lo cual se tiene que Ker(U) = S
+1
, y por tanto que (S

/S
+1
) Im(U).
Teniendo estos elementos, se puede enunciar el Lema.
Lema 20. Siendo U el homomorsmo anteriormente denido, las siguientes son equivalen-
tes:
a) El rango de U no es todo p

G[p]/p
+1
G[p]
b) Existe x p

G[p] con altura propio con respecto a S.

Demostracion. a) b). Sea v p

G[p] tq. (v + p
+1
G[p]) / rng(U). Es claro que v no
est a en p
+1
G[p] pues si estuviera, (v + p
+1
G[p]) = p
+1
G[p] rng(U). As, se tiene que
h(v) = . Falta mostrar que v es propio con respecto a S. Supongase que no; en tal caso
existira un s S tal que h(s v) > , con lo cual (s v) p
+1
G y (s v) = pt para
alg un t p

G. As, ps pv = ps = p
2
t, es decir, s p
1
(p
+2
G); y como s S

(pues
(s v), v p

G), se tiene entonces que s S

. Ahora bien, aplicando U se tiene que

U(s) = (s pt) +p
+1
G[p] = v +p
+1
G[p], lo cual es una contradiccion ya que por hipotesis
(v +p
+1
G[p]) / rng(U).
b) a). Sea v p

G[p] tal que h(v) = y es propio con respecto a S. Supongase que

(v + p
+1
G[p]) rng(U). De esta forma, existira un x S

y un y p
+1
G tales que
px = py y (x y) + p
+1
G[p] = v + p
+1
G[p]. As, existrira un w p
+1
G[p] tal que
(x y) = (v +w), con lo que h(x v) = h(w +y) > (pues w p
+1
G[p], y p
+1
G). Lo
anterior contradice el hecho de que v fuera propio con respecto a S.
11
Ahora bien, con los elementos y observaciones anteriores, se puede reenunciar el Teorema
de Ulm de la siguiente manera:
Teorema 21. Dos p-grupos enumerables reducidos G y H con los mismos invariantes de
Ulm, son isomorfos .
Demostracion. El objetivo de la demostracion es encontrar un conjunto de isomorsmos
parciales entre G y H con la propiedad de Back and Forth. Con la enumerabilidad de ambas
estructuras, por el teorema 7 quedara completa la prueba.
Considerese 1 el conjunto de isomorsmos entre subgrupos nitamente generados (subgrupos
nitos en este caso) de G y H que preservan alturas. 1 es no vaco ya que f : 0
G
0
H
1
. Pues bien, sean S y T dos subgrupos nitos de G y H respectivamente y tales que existe un
V 1, V : S T . Sea x
1
GS. Notese que como G es de torsion, existe un n Z
+
tal
que p
n
x
1
S pero p
n1
x
1
/ S. Pues bien, sea x
2
= p
n1
x
1
y sea x (x
2
+ S) (notese que
x+S = x
2
+S, x / S y px S) tal que h(x) h(x+s) s S y tal que si h(x) = h(x+s),
entonces h(px) h(px+ps). Sea h(x) = y V (px) = z. De esta manera el objetivo se reduce
a encontrar un w HT propio con respecto a T tal que h(w) = y pw = z. Teniendo este
elemento, se extiende V al isomorsmo parcial V

1 , V

:< S, x >< T, w > denido

as: V

(ax + s) = aw + V (s) (donde 0 a < p, s S)

2
. Es importante notar que el
elemento inicialmente escogido x
1
sera capturado en nitos pasos por la subestructura que
se esta extendiendo (simplemente al aplicar sucesivamente el procedimiento de extension, se
escoge como x

2
el primero de derecha a izquierda de los elementos x
1
, px
1
, p
2
x
1
, ..p
n
x
1
que
no pertenezca a un a la subestructura); esto garantiza la propiedad del Back and Forth para
1. As, el objetivo se limitara a encontrar dicho w.
caso 1) h(z) = +1.
En este caso, como h(0) > + 1, entonces z = 0 px = 0.Sea w p

H tal que pw = z
(existe pues z p
+1
H). Notese que h(w) (pues w p

H) y h(w) ( pues h(w) <

h(pw) = h(z) = + 1 por hipotesis). De esta forma, h(w) = . Ahora bien, w / T, pues
si w T, entonces w = V (y) para alg un y S. As, h(x y) = (porque x es propio con
respecto a S y h(y) = h(w) = ), pw = z = pV (y) = V (py) = V (px) y entonces py = px; con
lo cual h(pxpy) = h(0) > +1 = h(px), y se tendra una contradiccion con la hipotesis de
maximalidad de h(px). Solo falta mostrar que w es propio con respecto a T. Supongase que
no lo es. Entonces existira un t T tal que h(w + t) + 1. Sea s S tal que V (s) = t.
Como w / T, w + t = 0, y entonces h(pw + pt) = h(px + ps) + 2, lo cual contradice de
nuevo la maximalidad de h(px), pues h(x +s) = (notese que (h(w+t) +1) (h(w) =
) h(t) + 1 h(s) + 1 h(x +s) = ) y h(px +ps) > + 1 = h(px).
caso 2) h(z) > +1.
En este caso, h(px) > + 1 y entonces px p
+2
G. As, px = py para alg un y p
+1
G.
Notese que p(x y) = 0, h(x) = y y p
+1
G, con lo cual (x y) p

G[p] y h(x y) =
h(x) = . Al ser x propio con respecto a S, (x y) tambien lo es. Pues bien, aplicando el
lema anterior, se tiene que:
dim(S

/S
+1
) < dim

G[p]/p
+1
G[p]

=
3
dim

H[p]/p
+1
H[p]

2
Notese que todo elemento en < S, x > (el mnimo subgrupo de G que contiene a S y x) se ecribe de
manera unica como ax + s para alg un 0 a < p y alg un s S. Para ver esto supongase que a
1
x + s
1
=
a
2
x + s
2
donde 0 a
1
= a
2
< p ; esto implica que (a
1
a
2
)x = (s
2
s
1
) S. Como ((a
1
a
2
), p) = 1,
entonces z
1
(a
1
a
2
) + z
2
p = 1 para algunos z
1
, z
2
Z, con lo cual, multiplicando por x, se tiene que
z
1
((a
1
a
2
)x) + z
2
(px) = x. Como px S por hipotesis, se tiene entonces que x S, pero esto contradice
la eleccion de x. Queda entonces vericada la buena denicion de V

.
Para ver que V

I basta ver que preserva alturas. Sea ax+s < S, x >; debido a que V I, x es propio
con respecto a S y w es propio con respecto a T,
i) si h(s) = h(V (s)) < h(x) = h(w), entonces h(ax +s) = h(s) = h(V (s)) = h(aw +V (s)) = h(V

(ax +s))
ii) si h(s) = h(V (s)) h(x) = h(w), entonces h(x) = h(w) h(ax +s), h(aw +V (s)) h(x) = h(w), con lo
cual h(ax +s) = h(aw +V (s)) = h(V

(ax +s)).
Lo anterior garantiza que V

preserva alturas.
12
Y teniendo en cuenta que V conserva las alturas de los elementos,
dim(T

/T
+1
) = dim(S

/S
+1
) < dim

H[p]/p
+1
H[p]

Aplicando una vez mas el lema, existe un elemento w

1
p

H[p] tal que h(w

1
) = y es
propio con respecto a T. Como h(z) > + 1 por hipotesis, entonces existe w
2
p
+1
H tal
que pw
2
= z. Ahora bien, considerese el elemento w = w
1
+w
2
. Notese que:
1. h(w) = h(w
1
) = , pues h(w
2
) + 1
2. pw = p(w
1
+w
2
) = 0 +z = z
3. w es propio con respecto a T. Pues si no lo fuera, existira un t T tal que h(w+t) > ,
es decir, h(w
2
+ (w
1
+ t)) = h(w
1
+ t) > , lo cual contradice el hecho de que w
1
es
propio con respecto a T.
Tal w es el elemento deseado.
3
Es importante notar que justo en este punto es donde se utiliza la hipotesis de que G y H tienen los
mismos invariantes de Ulm. Notese que la desigualdad estricta vale ya que al ser S nito, dim(S

/S
+1
) es
nita.
13
3 Clasicacion elemental de los grupos abelianos de tor-
sion
En este captulo se enuncia y demuestra un Teorema que clasica, modulo equivalencia
elemental, los grupos abelianos de torsion. Se sigue una lnea motivada por la seccion 6 de
[K] basandose en los conceptos introducidos en la seccion de Logica Innitaria del primer
captulo.
El siguiente teorema es una formulacion mas na del teorema de Karp (teorema 13 ) que
establece una caracterizacion de la nocion

para un ordinal en terminos de propiedades

de Back and Forth y que es de gran utilidad para la demostracion del teorema de clasicacion
para los grupos abelianos de torsion.
Teorema 22. Para cualquier par de estructuras A y B asociadas al lenguaje L y para
cualquier ordinal , las siguientes son equivalentes:
1. A

B
2. Existe una sucesion
I
0
I
1
... I

... I

,
donde, para cada , I

es un conjunto no vaco de isomorsmos parciales entre

subestructuras ntamente generadas de A y B, y tales que si + 1 y f I
+1
,
entonces para cada a A (b B) existe un g I

con f g y a dom(g) (resp.

b rng(g)).
Siendo G un p-grupo abeliano de torsion y U
G
() su -esimo invariante de Ulm, se dene

U
G
() =

U
G
() si U
G
() es nito
de lo contrario
Con los comentarios hechos en la seccion de Logica Innitaria y teniendo en cuenta el teorema
1 y el Teorema de Feferman y Vaught (teorema 8), puede enunciarse entonces el teorema de
clasicacion de la siguiente manera.
Teorema 23. (Clasicacion elemental de los Grupos Abelianos de Torsion) Sean G y H dos
p-grupos abelianos.

U
G
() =

U
H
() para todo <
2
si y solamente si G

H.
Demostracion. Supongase que

U
G
() =

U
H
() para todo <
2
. Sea I

, , el conjunto
de isomorsmos parciales entre subestructuras ntamente generadas de G y H (subgrupos
nitos) que preservan las alturas estrctamente menores que . Es decir, f I

ssi fes un
isomorsmo entre un subgrupo nito S de G y un subgrupo nito T de H tal que para todo
x S, se tiene que:
h
G
(x) < h
G
(x) = h
H
(f(x)), y
h
G
(x) h
H
(f(x))
Notese que con el teorema anterior, basta mostrar que si + 1 , f I
+1
y a G
(b H), entonces existe un g I

tal que f g y a dom(g) (resp. b rng(g)). Esta

prueba esta detalladamente escrita en [B] (teorema 5) y utiliza basicamente los conceptos
tratados en la prueba del Teorema de Ulm.
Ahora bien, supongase que G

H. Considerense las siguientes formulas en L

:
14
1.
n
(x) := y(p
n
y = x) (x = 0), para cada n. Notese que esta formula expresa
x p
n
G y su rango cuanticacional es qr(
n
(x)) = 1.
2.
+n
(x) := y

n<

n
(y) (p
n
y = x)

. Esta formula expresa x p

+n
G y su
rango cuanticacional es qr(
+n
(x)) = 2.
Pues bien, notese que cualquier ordinal , <
2
puede escribirse de la forma =
n+m, donde n, m N y n 1. As, teniendo las anteriores, se puede denir recursivamente
la formula

(x) : = y(
n
(y) (p
m
y = x)), donde

n
(x) : =

l<

(n1)+l
(notese que qr(
n
(x)) = n)
Notese que la fomula

(x) expresa x p

Gy tiene rango cuanticacional qr(

(x)) =
n + 1.
Considerese ahora la formula

,n
:= x
1
...x
n
(

(x
1
) ...

(x
n
) (p x
1
= 0)... (p x
n
= 0)

+1
((x
1
, ..., x
n
))

donde
n
es el conjunto de las (p
n
1) posibles combinaciones lineales no nulas de los
elementos x
1
, ..., x
n
vistos como elementos de un espacio vectorial sobre Z
p
.
De esta forma, la sentencia
,n
( <
2
) expresa existen n elementos en p

G[p] inde-
pendientes modulo p
+1
G[p] y tiene rango cuanticacional qr(
,n
) = qr(

(x)) +n < .
Ahora bien, la sentencia

,n
:=
,n

,n+1
expresa

U
G
() = n y su rango cuaticacional es qr(
,n
) = qr(
,n+1
) < , es decir,

,n
L

.
Finalmente, para expresar en L

el hecho

U
G
() = , basta considerar la teora
enumerable T

Sent(L

) dada por
T

=
,n
: n
Por hipotesis se tiene que
G [=
,n
ssi H [=
,n
y
G [= T

ssi H [= T

,
con lo cual

U
G
() =

U
H
() para todo <
2
como se deseaba.
15
4 Clasicacion elemental de los grupos abelianos
En este captulo se dara una prueba al teorema principal de este escrito que clasica,
modulo equivalencia elemental, los grupos abelianos. La lnea de estudio que se sigue es la
presentada en la seccion 1 de [EyF]. Un primer paso consiste en caracterizar la estructura
de los grupos abelianos -saturados para alg un cardinal , es decir, aquellos grupos que
satisfacen todos los tipos en menos que variables consistentes sobre cualquier subconjunto
de parametros de tama no menor que . Este paso se desarrolla en la primera seccion y
su importancia radica en que dicha estructura queda determinada por algunos invariantes
que son denibles en la logica de primer orden por sentencias o conjuntos enumerables de
sentencias. Una vez mostrado entonces el teorema que describe la estructura de los grupos
-saturados modulo isomorsmo, se llega al teroema de clasicacion elemental de los grupos
abelianos en la segunda seccion por un camino basado en resultados de la Teora de Modelos.
4.1 La estructura de los Grupos Abelianos
1
-saturados
Inicialmente se estudiara la estructura de unos grupos conocidos como
1
-ecuacionalmente
compactos.
Denicion 24. Un grupo G se dice
1
-ecuacionalmente compacto si cualquier sistema enu-
merable de ecuaciones (en cualquier n umero de incognitas) con parametros de G que sea
ntamente soluble en G, es soluble en G.
Notese que si un grupo abeliano G es -saturado con un cardinal no enumerable, G
es
1
-ecuacionalmente compacto. Estos grupos son tambien conocidos como algebraicamente
compactos (Teorema 38.1 en [F]). G es algebraicamente compacto si es un sumando directo
de todo grupo que lo contiene como un subgrupo puro. As, por el Teorema 5, todo grupo
divisible es
1
-ecuacionalmente compacto.
Lema 25. Sea G un grupo
1
-ecuacionalemente compacto. Sea G
d
su subgrupo divisible
maximal y D el conjunto de todos los elementos de G que son divisibles por cualquier entero
= 0. Entonces G
d
= D.
Demostracion. Claramente D es un subgrupo de G y G
d
D. Solo basta mostrar que
D es divisible. Pues bien, sea g D y n N

. Considerese el sistema de ecuaciones

o = my
m
= x : m N nx = g. Es nitamente soluble. Sea o

= m
i
y
mi
= x : i =
1, 2, ..., l nx = g un subsistema nito de o ; por hipotesis nm
1
m
2
...m
l
z = g para alg un
z G, as que considerando x = m
1
m
2
...m
l
z se tiene lo deseado.
Ahora considerese G
r
el subgrupo reducido de G tal que G = G
r
G
d
. Para cada primo
p se dene una semi-norma [ [
p
en G
r
as: [g[
p
= p
n
si p
n
divide a g pero p
n+1
no; y
[g[ = 0 si p
n
divide a g para todo n N. Con estas semi-normas, se dene [g[ =

p
[g[
p
2
p
que
cumple:
1. [g[ = 0 g = 0. Si [g[ = 0, [g[
p
= 0 para todo primo p, con lo cual g es divisible por
todo n N; es decir, g G
r
G
d
= 0.
2. [g
1
+g
2
[ [g
1
[ + [g
2
[. Mas a un, [g
1
+g
2
[ max[g
1
[ , [g
2
[. Notese que para todo
primo p se tiene que:
(a) Si [g
1
[
p
> [g
2
[
p
, entonces [g
1
+g
2
[
p
= [g
1
[
p
, con lo cual [g
1
+g
2
[
p

max[g
1
[
p
, [g
2
[
p
. Analogamente si [g
1
[
p
< [g
2
[
p
.
(b) Si [g
1
[
p
= [g
2
[
p
, entonces [g
1
+g
2
[
p
[g
1
[
p
, con lo cual [g
1
+g
2
[
p

max[g
1
[
p
, [g
2
[
p
.
16
3. [g[ = [g[, claramente.
As, [ [ dene una norma para los elementos de G
r
y por lo tanto induce una metrica
dada por d(g
1
, g
2
) = [g
1
g
2
[. El siguiente lema muestra que toda sucesion de Cauchy con
respecto a [ [ converge en G
r
.
Lema 26. G
r
es completo bajo la metrica inducida por [ [ .
Demostracion. Basta mostrar que toda sucesion de Cauchy con respecto a [ [
p
converge para
todo primo p
4
. Pues bien, sea g
n

n<
una sucesion de Cauchy en G
r
(es decir, para cada
r > 0 y cada primo p existe un N
p,r
tal que si n, m N
p,r
, [g
n
g
m
[ < p
r
). Se quiere
encontrar un x tal que para cada primo p y cada r > 0, [g
n
x[ < p
r
para todo n N
p,r
,
es decir, un x tal que (g
n
x) sea divisible por p
r+1
. Notese que basta encontrar un x
tal que

g
Np,r
x

< p
r
; pues como

g
n
g
Np,r

< p
r
para todo n N
p,r
, se tiene que
(g
n
g
N
p,r
) = p
r+1
z
1
y (g
N
p,r
x) = p
r+1
z
2
para algunos z
1
, z
2
G
r
. Esto implica que
(g
n
x) = p
r+1
(z
1
+z
2
) como se quiere. Considerese entonces el sistema de ecuaciones o =
p
r+1
y
p,r
= g
N
p,r
x : p primo, r N

. Sea o

= p
r
i
+1
i
y
p
i
,r
i
= g
N
p
i
,r
i
x : i = 1, 2, ..., n
un subsistema nito de o. Sea M = maxN
p
i
r
i
: i = 1, ..., n. Notese que g
M
es tal que
p
ri+1
i
z
pi,ri
= g
Np
i
,r
i
g
M
(i = 1, ..., n) para algunos z
pi,ri
G
r
, con lo cual o es ntamente
soluble en G
r
. Por hipotesis (G es
1
-ecuacionalmente compacto), o es soluble en G (las
soluciones estaran en G
r
) y G
r
es entonces completo.
Considerese ahora el subconjunto

G
p
compuesto por los elementos de G
r
que son divisibles
por todos los enteros que son primos relativos a p, es decir,

G
p
= g G
r
: [g[
q
= 0 para todo
primo q = p. Sea g

G
p
y q = p un primo. Considerese el sistema o = q
i
y
i
= x : q
i
Pr,
q
i
= p qx = g. Por un argumento analogo al utilizado en la prueba del primer lema,
o es ntamente soluble en

G
p
y por lo tanto soluble en

G
p
(pues G es
1
-ecuacionalmente
compacto). De esta forma,

G
p
puede verse como un Z
p
-modulo (Z
p
=
m
n
: (n, p) = 1).
La topologa inducida por [ [
p
en

G
p
se llama la topologa p-adica, y los submodulos p
n

G
p
(los elementos divisibles por p, es decir, los que estan a una p-distancia menor que p
(n1)
)
forman un sistema de vecindades de 0. Notese tambien que en

G
p
, [ [
p
es una norma, pues
si g

G
p
, [g[
p
= 2
p
[g[.
Proposicion 27.

G
p
es cerrado en G
r
y por lo tanto completo en su metrica p-adica.
Demostracion. Sea x G
r
un punto lmite de

G
p
. Entonces para todo r > 0 y para todo
primo t, existe un g

G
p
tal que [x g[
t
< t
r
. Notese que para todo primo q = p se cumple
[x[
q
[g[
q
[x g[
q
[x[
q
+[g[
q
; pero [g[
q
= 0 ya que g

G
p
. As que [x[
q
< q
r
para todo
r > 0 y todo primo q = p; es decir, [x[
q
= 0 . Esto implica que x

G
p
y que

G
p
es cerrado
al contener sus puntos lmites.
Lema 28. Sea G
1
-ecuacionalmente compacto. Para cualquier primo p y cualquier g G
r
,
existe un unico g
p


G
p
tal que [g g
p
[
p
= 0.
4
Notese que para cada primo p, 2
p
|g|
p
2
p
. Como

1
2

1
2

n
y

1
2

n
converge a 2, se
tiene que

p
2
p
converge y entonces

p
2
p
|g|
p
converge uniformemente a |g| (Ver Rudin, W. Principles of
Mathematical Analysis, Teorema 7.10.). De esta manera (Teorema 7.11.), si se tiene una sucesion de Cauchy
{g
i
}
i
G
r
que converge a g,
lm
i
lm
P
P

p
2
p
|g
i
g|
p
= lm
P
lm
i
P

p
2
p
|g
i
g|
p
.
Esto verica la armacion.
17
Demostracion. La unicidad esta dada por el hecho de que si g
1
p
, g
2
p


G
p
son tales que

g
1
p
g

p
= 0 =

g g
2
p

p
, entonces

g
1
p
g
2
p

g
1
p
g

p
+

g g
2
p

p
= 0; y como [ [
p
se
comporta como una norma en

G
p
, g
1
p
= g
2
p
. Para probar la existencia, considerese el sistema
o = p
n
y
n
= g x : n < my
m
= x : (m, p) = 1. Sea o

= p
n
i
y
n
i
= g x : i =
1, ..., k m
j
y
m
j
= x : (m
j
, p) = 1, j = 1, ...l un subsistema nito de o. Por denicion
del subsistema existen s, t Z tales que s(p
n1
p
n2
...p
n
k
) + t(m
1
m
2
...m
l
) = 1. Pues bien,
considerese x = t(m
1
m
2
...m
l
)g y notese que es una solucion para o

, ya que es divisible por

cada m
j
y g x = s(p
n1
p
n2
...p
n
k
). Por hipotesis, al ser nitamente soluble , o es soluble y
se tiene la existencia de g
p
.
Lema 29. Si G es
1
-ecuacionalmente compacto, G
r
es isomorfo al producto directo

p

G
p
Demostracion. Defnase f : G
r


p

G
p
por f(g) = (g
p1
, g
p2
, ...) donde cada g
pi
es tal
que [g g
p
i
[
p
i
= 0. La buena denicion viene dada por la existencia y unicidad de los g
p
i
s
mostrada en el lema anterior.
Para ver que f es un homomorsmo, sean g
1
, g
2
G
r
. Por hipotesis, para cada p, existen unos
unicos g
1
p
, g
2
p
, g
3
p


G
p
tales que

g
1
g
1
p

p
=

g
2
g
2
p

p
=

(g
1
+g
2
) g
3
p

p
= 0. Pues bien,
notese que

(g
1
+g
2
) (g
1
p
+g
2
p
)

g
1
g
1
p

p
+

g
2
g
2
p

p
= 0, con lo cual g
1
p
+g
2
p
= g
3
p
.
Para ver que f es inyectiva, supongase que (g
p
1
, g
p
2
, ...) = f(g
1
) = f(g
2
); entonces para
cada primo p,

g
1
g
2

p
=

(g
1
g
p
) + (g
p
g
2
)

g
1
g
p

g
2
g
p

= 0, con lo cual
g
1
g
2
= 0, es decir, g
1
= g
2
.
Para ver que f es sobreyectiva, sea (g
p
1
, g
p
2
, ...)

G
p
. Considerese la sucesion en G
r
dada
por (s
n
)
n<
=
n

i=1
g
p
i
. Notese que es de Cauchy pues para cualquier primo p y cualquieras
m n tales que p
m
, p
n
> p, se tiene que [s
n
s
m
[
p
=

i=1
g
pi

m

i=1
g
pi

p
=

i=m
g
pi

i=m
[g
pi
[
p
= 0. Ahora bien, sea g Gr el lmite de (s
n
)
n<
(G
r
es completo). Se quiere ver
que f(g) = (g
p
1
, g
p
2
, ...) (es decir, que [g g
p
i
[
pi
= 0 para cada p
i
). Para esto, notese que
por ser g lmite, dados cualquier primo p
k
y cualquier r > 0, existe un n
r
> k tal que para
todo m > n
r
,
p
r
k
> [g s
m
[
p
k
=

g
m

i=1
g
pi

p
k
[g g
p
k
[
p
k
[g
p1
[
p
k
...

g
p
k1

p
k

g
p
k+1

p
k
... [g
pm
[
p
k
= [g g
p
k
[
p
k
,
con lo cual [g g
p
k
[
p
k
= 0 como se quera.
As, f es un isomorsmo.
Hasta ahora se tiene entonces que si G es un grupo
1
-ecuacionalmente compacto, G
es isomorfo a la suma directa de un grupo divisible maximal G
d
y un producto directo de
Z
p
-modulos completos

G
p
, G = G
d

G
p
. Seguidamente, el interes se centrara en estudiar
la estructura de dichos Z
p
-modulos y para esto se introducira la nocion de sumbodulo basico
que facilita el analisis.
Denicion 30. Sea A un Z
p
-modulo. Se dice que B A es un submodulo basico de A si:
1. B es una suma directa de Z
p
-modulos cclicos.
18
2. B es puro en A, es decir, para todo n N se cumple que (p
n
A) B = p
n
B (notese
que basta decirlo para el primo p ya que se trata de Z
p
-modulos)
3. A/B es divisible. (Esto equivale a la densidad de B en A con respecto a la topologa
p-adica, ya que es divisible ssi para todo a A y todo n N existen algunos b B y
a

A tales que a p
n
a

= b, es decir, [a b[
p
p
n
)
El objetivo consiste ahora en mostrar que

G
p
es el completado (en la topologa p-adica)
de un submodulo basico G
p
=

n
Z
(n)
p
n Z
()
p
, y que los
n
s y son invariantes de

G
p
;
esto ultimo garantiza la unicidad del submodulo basico modulo isomorsmo. Para vericar
su existencia, se introduce un concepto y se prueban algunos lemas utiles.
Denicion 31. Se dice que un subconjunto x
i

iI
de un Z
p
-modulo A es puramente
independiente si es independiente (es decir,

iI
n
i
x
i
= 0 implica que n
i
x
i
= 0 para todo
i I y para todo n
i
Z
p
) y el submodulo generado por el es puro en A.
Notese que como

G
p
no tiene elementos de p-altura innita, existe un x

G
p
tal que x
no es divisible por p y por lo tanto por ninguna de sus potencias. Pues bien, considerese el
submodulo generado por este elemento < x >=
m
n
x :
m
n
Z
p
. Supongase que existe alg un
m
n
x < x > que es divisible por p
s
en

G
p
para alg un s Z
+
. Como x no es divisible por p,
entonces
m
n
x =
p
s
m1
n
x = p
s m1
n
x. Notese que
m1
n
x < x >, y por lo tanto se tiene que para
todo s Z
+
, p
s

G
p
< x >= p
s
< x >. Con esta observacion, se tiene la puridad de < x >
y por lo tanto se garantiza la existencia de un sumbodulo cclico puro no trivial de

G
p
.
Es facil ver que ser p uramente independiente se preserva bajo uniones de cadenas, con lo
cual, aplicando el lema de Zorn, se tiene que existe un subconjunto x
i

iI
de

G
p
maximal
con dicha propiedad. Con los dos siguientes lemas se vericara que el submodulo generado
por tal subconjunto es un sumbodulo basico de

G
p
.
Lema 32. Sea A un Z
p
-modulo completo sin elementos de altura innita. Sea x
i

iI
un
subconjunto de A maximal p uramente independiente. El submodulo B generado por x
i

iI
,
es un submodulo basico de A. Mas a un, A es el completado de B en la topologa p-adica.
Demostracion. La puridad y la estructura deseada de B se tienen por construccion. Basta
probar la densidad de B en A en la topologa p-adica (lo que equivale a la divisibilidad de
A/B, como se noto anteriormente) para obtener lo deseado.
Pues bien, supongase que que existe un x A

B. Por hipotesis, x tiene altura nita (dgase
n) y por lo tanto x = p
n
y para alg un y que no es divisible por p. Claramente y A

B. Notese
que el submodulo generado por y es puro en A (por la observacion hecha para garantizar la
existencia de un submodulo cclico puro no trivial de

G
p
) y que x
i

iI
y sigue siendo un
subconjunto puramente independiente (pues de no serlo, y estara en el generado por x
i

iI
,
B). Esto contradice la maximalidad de x
i

iI
, con lo cual se tiene que

B = A como se
quera.
Con lo anterior se garantiza entonces que

G
p
es el completado (en la topologa p-adica) de
un submodulo basico G
p
=

n
Z
(n)
p
n Z
()
p
, ya que el Z
p
-submodulo generado por cada x
x
i

iI
es isomorfo a Z
p
n si el orden de x es p
n
, o isomorfo a una copia de los p-adicos, Z
p
, si
x tiene orden innito. Para tener la unicidad de los
n
s y , primero algunas observaciones
importantes:
1. Notese que por la estructura de G
p
(sumas directas) se tiene que su n-esimo invariante
de Ulm, U
Gp
(n) = dim(p
n
G
p
[p]/p
n+1
G
p
[p]), coincide con el n umero de sumandos di-
rectos de orden mayor que p
n
menos el n umero de sumandos directos de orden mayor
19
que p
n+1
; es decir, U
Gp
(n) indica el n umero de sumandos directos de orden p
n+1
, o
n umero de copias de Z
p
n+1 en su descomposicion. As, se concluye que para todo n,

n
= U
G
p
(n 1).
2. Notese que si T es el sumbodulo de torsion de

G
p
, G
p
/((G
p
T) + pG
p
) puede verse
como un Z
p
-espacio vectorial (es por esto importante incluir pG
p
en el cociente) cuya
dimension es precisamente .
Proposicion 33. Para todo n, p
n
G
p
[p]/p
n+1
G
p
[p]

= p
n

G
p
[p]/p
n+1

G
p
[p].
Demostracion. Antes de dar la prueba, notese lo siguiente:
1. Por la divisibilidad de

G
p
/G
p
(pues G
p
es un submodulo basico de

G
p
), se tiene que

G
p
= G
p
+p

G
p
, ya que para todo g

G
p
existe alg un g
1


G
p
y alg un g
2
G
p
tales
que g pg
1
= g
2
. As, para cualquier n, p
n

G
p
= p
n
G
p
+p
n+1

G
p
.
2.

G
p
[p] = G
p
[p] +p

G
p
[p]. Claramente G
p
[p] + p

G
p
[p]

G
p
[p] pues G
p
[p]

G
p
[p] y
p

G
p
[p]

G
p
[p]. Para la otra inclusion, sea g

G
p
[p]. Por la anterior observacion,
g = g
1
+pg
2
para algunos g
1
G
p
, g
2


G
p
. Notese que p(g
1
+pg
2
) = pg
1
+p
2
g
2
= 0,
con lo cual pg
1
= p
2
g
2
. Por la puridad de G
p
en

G
p
, pg
1
= p
2
g
3
para alg un g
3
G
p
.
Tomese x = g
1
+pg
3
y y = p(g
2
g
3
). Notese que i) g = x +y, ii) x G
p
[p] y iii) y
p

G
p
[p]. As se tiene la igualdad y para cualquier n, p
n

G
p
[p] = p
n
G
p
[p] +p
n+1

G
p
[p].
3. p
n+1
G
p
[p] = p
n
G
p
[p] p
n+1

G
p
[p]. Claramente p
n+1
G
p
[p] p
n
G
p
[p] p
n+1

G
p
[p],
pues p
n+1
G
p
[p] p
n
G
p
[p] y p
n+1
G
p
[p] p
n+1

G
p
[p]. Para la otra inclusion, sea
g p
n
G
p
[p] p
n+1

G
p
[p]. Notese que g = p
n
g
1
= p
n+1
g
2
para algunos g
1
G
p
y
g
2


G
p
. Por la puridad de G
p
en

G
p
, p
n
g
1
= p
n+1
g
3
para alg un g
3
G
p
. As,
x = p
n+1
g
3
p
n+1
G
p
[p], y se tiene la igualdad.
Ahora bien, por la segunda observacion, se tiene que
p
n

G
p
[p]/p
n+1

G
p
[p] = (p
n
G
p
[p] +p
n+1

G
p
[p])/p
n+1

G
p
[p].
Por el segundo teorema del isomorsmo,
(p
n
G
p
[p] +p
n+1

G
p
[p])/p
n+1

G
p
[p]

= p
n
G
p
[p]/(p
n
G
p
[p] p
n+1

G
p
[p]).
Finalmente, por la tercera observacion,
p
n
G
p
[p]/(p
n
G
p
[p] p
n+1

G
p
[p]) = p
n
G
p
[p]/p
n+1
G
p
[p],
con lo cual p
n

G
p
[p]/p
n+1

G
p
[p]

= p
n
G
p
[p]/p
n+1
G
p
[p] como se quera.
Proposicion 34. Si T es el sumbodulo de torsion de

G
p
, entonces G
p
/((G
p
T) +pG
p
)

G
p
/(T +p

G
p
).
Demostracion. Por la primera observacion del lema anterior,

G
p
= G
p
+ p

G
p
y claramente

G
p
= G
p
+ p

G
p
+ T. As,

G
p
/(T + p

G
p
) = (G
p
+ (T + p

G
p
))/(T + p

G
p
). Por el segundo
teorema del isomorsmo, (G
p
+(T +p

G
p
))/(T +p

G
p
)

= G
p
/(G
p
(T +p

G
p
)). Por la puridad
de G
p
en

G
p
, G
p
(T + p

G
p
) =
5
(G
p
T) + (G
p
p

G
p
) = (G
p
T) + pG
p
, con lo cual

G
p
/(T +p

G
p
)

= G
p
/((G
p
T) +pG
p
) como se quera.
5
Claramente Gp(T+pGp) (GpT)+(GppGp). Para probar la otra contenencia, sea g Gp(T+pGp).
Si g tiene orden nito, g (Gp T) y no hay nada que probar. De la otra forma, si g = t +pg
1
para algunos
t T y g
1
G
p
, entonces existe un n tal que p
n
g = p
n+1
g
1
. Por la puridad de G
p
en G
p
, existe un g
2
G
p
tal que p
n
g = p
n+1
g
2
. Pues bien, escrbase g como g = t

+ pg
2
donde t

= (g pg
2
). Notese que se tiene
entonces lo deseado.
20
Con esto se tiene entonces que para todo n,
n
= U
Gp
(n 1) = U
Gp
(n 1) y =
dim(G
p
/((G
p
T) + pG
p
)) = dim(

G
p
/(T + p

G
p
)), lo cual caracteriza completamente la
estructura de

G
p
.
Volviendo a la estructura del grupo
1
-ecuacionalmente compacto G, se tiene hasta ahora
que G =

p

G
p
G
d
donde cada G
p
=

n
Z
(p,n)
p
n Z
(p)
p
.
Una vez caracterizada la estructura de cada

G
p
, el estudio se centrara en encontrar las
relaciones entre dichos invariantes y algunos invariantes (denibles) de G
r
=

p

G
p
y de
G = G
r
G
d
, ademas de analizar el comportamiento de cada
p,n
y
p
cuando G es un
grupo -saturado.
Lema 35. Sea G = G
r
G
d
=

p

n
Z
(
p,n
)
p
n Z
(
p
)
p
G
d
un grupo
1
-ecuacionalmente
compacto.
i) Para todo n y todo primo p,

p,n
= dim

p
n1
G
p
[p]/p
n
G
p
[p]

= dim

p
n1

G
p
[p]/p
n

G
p
[p]

= dim(p
n1
G[p]/p
n
G[p])
ii) Para todo n y todo primo p, si G es -saturado y
p,n
es innito,
p,n
.
Demostracion. i)
p,n
= dim

p
n1
G
p
[p]/p
n
G
p
[p]

= dim

p
n1

G
p
[p]/p
n

G
p
[p]

ya fue pro-
bado. Ahora bien, notese que como G = G
r
G
d
, entonces
dim(p
n1
G[p]/p
n
G[p]) = dim(p
n1
G
r
[p]/p
n
G
r
[p]) + dim(p
n1
G
d
[p]/p
n
G
d
[p]);
pero p
n
G
d
= G
d
para todo n (por la divisibilidad de G
d
), con lo
cual dim(p
n1
G
d
[p]/p
n
G
d
[p]) = 0 y por lo tanto dim(p
n1
G[p]/p
n
G[p]) =
dim(p
n1
G
r
[p]/p
n
G
r
[p]). Pero notese que G
r
=

G
p
, as
dim(p
n1
G
r
[p]/p
n
G
r
[p]) =

q
dim

p
n1

G
q
[p]/p
n

G
q
[p]

= dim

p
n1

G
p
[p]/p
n

G
p
[p]

,
pues dim

p
n1

G
q
[p]/p
n

G
q
[p]

= 0 para todo n y todo primo q = p, ya que en este caso

p
n

G
q
=

G
q
. Con esto se tiene que dim(p
n1
G[p]/p
n
G[p]) = dim

p
n1

G
p
[p]/p
n

G
p
[p]

como
se quera.
ii) Fjese un primo p y un n. Sea x

: < un conjunto de variables libres. Considerese

el conjunto de formulas
T = y(p
n1
y = x

) (px

= 0) : <

p
n+1
y = 0 (p
n
y = (x

1
, ..., x

t
))

: t N,
t
,
i
=
j
si i = j

6
donde
t
es el conjunto de las (p
t
1) posibles combinaciones lineales no nulas de los
elementos x
1
, ..., x
t
vistos como elementos de un espacio vectorial sobre Z
p
. Notese que T
dice que existen por lo menos elementos en p
n1
G[p] independientes modulo p
n
G[p]. T
es nitamente satisfacible pues por hipotesis
p,n
es innito. Por la -saturacion de G, se
tiene que G T y entonces se tiene que
p,n
para todo n y todo primo p.
Teniendo claridad sobre los
p,n
s, se estudiara cuidadosamente
p
para cada primo p.
Notese que si en la proposicion 34, T es el subgrupo de torsion de G, el resultado obtenido es
6
Es importante notar que cuando se dene este ultimo conjunto de formulas se consideran, para cada t,
todas las posibles t-tuplas (con sus componentes distintas), sin importar el orden, que se pueden conseguir a
partir de las variables libres disponibles; esto para garantizar la independencia.
La misma anotacion es pertinente para los lemas posteriores analogos a este concernientes a
p
,
p
(para
un primo p) y .
21

p
= dim(G
p
/((G
p
T) +pG
p
)) = dim(

G
p
/((

G
p
T) +p

G
p
)). Considerando la proyeccion
can onica
p
: G
r
=

G
q


G
p
y el epimorsmo
: G
r


G
p
/((

G
p
T) +p

G
p
) dado por (g) =
p
(g) + ((

G
p
T) +p

G
p
),
puede verse que Ker() = (G
r
T) + pG
r
, pues para todo primo q = p, p

G
q
=

G
q
.
As, G
r
/((G
r
T) + pG
r
)

=

G
p
/((

G
p
T) + p

G
p
). De manera analoga, considerando la
proyeccion canonica
r
: G = G
r
G
d
G
r
y observando que pG
d
= G
d
, se concluye que
G/(T +pG)

= G
r
/((G
r
T) +pG
r
).
Notese que para todo k 0, al multiplicar por p se tiene que
p
k
G/(p
k
T +p
k+1
G)

= p
k+1
G/(p
k+1
T +p
k+2
G),
con lo cual se tiene que
p
= dim(p
k
G/(p
k
T + p
k+1
G)). Notese tambien que si para alg un
k, p
k
T = p
k+1
T, entonces p
k
T + p
k+1
G = p
k+1
T + p
k+1
G = p
k+1
G, con lo cual
p
=
dim(p
k
G/p
k+1
G). La siguiente proposicion provee informacion muy util acerca de este evento.
Proposicion 36. Sea G un grupo y T su subgrupo de torsion; p
k
T = p
k+1
T si y solamente
si para todo n k, dim(p
n
T[p]/p
n+1
T[p]) = 0
Demostracion. La implicacion de izquierda a derecha es clara. Para la otra direccion,
supongase que p
k
T = p
k+1
T. Como T =

q
T
q
puede verse como la suma directa de sus q-
componentes (Teorema 1), suponer que p
k
T = p
k+1
T equivale a suponer que p
k
T
p
= p
k+1
T
p
,
ya que para todo primo q = p, pT
q
= T
q
. Pues bien, sea x p
k
T
p
p
k+1
T
p
con orden
minimal, dgase p
n
. Notese que p
n1
x (p
k+n1
T[p] p
k+n
T[p]), pues en caso de que no,
entonces p
n1
x = p
k+n
g para alg un g G tal que p
n1
(x p
k+1
g) = 0; as, (x p
k+1
g)
p
k
T p
k+1
T y tendra orden p
n1
, lo que contradice la minimalidad del orden de x. De esta
forma, dim(p
k+n1
T[p]/p
k+n
T[p]) > 0
Con el siguiente lema quedara claro el comportamiento de los
p
s cuando G es un grupo -
saturado, pero antes se mostrara una proposicion que ayuda a comprender el comportamiento
de dim(p
k
G/p
k+1
G) con relacion a otras dimensiones importantes.
Proposicion 37. Para todo k 0,
dim(p
k
G/p
k+1
G) dim(p
k+1
G/p
k+2
G) + dim(p
k
G[p]/p
k+1
G[p])
Demostracion. Basta probar que para todo r 0,
dim(p
k+1
G/p
k+2
G) + dim(p
k
G[p]/p
k+1
G[p]) r dim(p
k
G/p
k+1
G) r
Pues bien, supongase que existen x
1
, x
2
, ..., x
n
G tales que p
k+1
x
1
, ..., p
k+1
x
n
p
k+1
G
son independientes modulo p
k+2
G y y
1
, y
2
, ..., y
m
G tales que p
k
y
1
, ..., p
k
y
m
p
k
G[p] son
independientes modulo p
k+1
G[p], donde m+n r. Claramente p
k
x
1
, ..., p
k
x
n
, p
k
y
1
, ..., p
k
y
m
son elementos de p
k
G; se mostrara que son independientes modulo p
k+1
G.
Sup ongase que
n

i=1

i
(p
k
x
i
) +
m

j=1

j
(p
k
y
j
) 0 ( mod p
k+1
)
7
para algunos
i
s y
j
s. Notese que
p

i=1

i
(p
k
x
i
) +
m

j=1

j
(p
k
y
j
)

i=1

i
(p
k+1
x
i
)

0 ( modp
k+2
),
7
En este escrito, (modp
k
) equivale a ser divisible por p
k
.
22
pues p
k+1
y
j
= 0 para j = 1, 2, ..., m. Por hipotesis, los p
k+1
x
i
s son independientes modulo
p
k+2
G, con lo cual se tiene que a
i
0 (modp), (i = 1, ..., n). As,
n

i=1

i
(p
k
x
i
) 0(modp
k+1
),
con lo cual
m

j=1

j
(p
k
y
j
) 0(modp
k+1
). Esto a su vez implica que
m

j=1

j
(p
k
y
j
) 0(modp
k
)
(ya que si alg un elemento es divisible por p
k+1
tambien lo es por p
k
) y utilizando el mismo
argumento de independencia para los p
k
y
j
s, se concluye que
j
0(modp) (j = 1, ..., m).
Esto prueba lo deseado.
Lema 38. Sea G = G
r
G
d
=

p

n
Z
(p,n)
p
n Z
(p)
p
G
d
un grupo
1
-ecuacionalmente
compacto y sea T el subgrupo de torsion de G.
i) Para todo k 0,
p
= dim(p
k
G/(p
k
T +p
k+1
G))
ii) Si para alg un k 0, p
k
T = p
k+1
T, entonces
p
= lm
n
dim(p
n
G/p
n+1
G) (Notese que
tiene sentido hablar de este lmite ya que se trata de una sucesion decreciente de cardinales).
iii) Si lm
n
dim(p
n
G/p
n+1
G) es nito, entonces
p
= lm
n
dim(p
n
G/p
n+1
G)
iv) Si G es -saturado ( ) y lm
n
dim(p
n
G/p
n+1
G) = , entonces
p

Demostracion. i) y ii) se mostraron en las observaciones hechas antes de la proposicion 36.
iii) Si lm
n
dim(p
n
G/p
n+1
G) es nito, entonces existe un k 0 tal que para todo m k,
dim(p
m
G/p
m+1
G) = dim(p
m+1
G/p
m+2
G) < . Por la proposicion 37, para todo m k
se tiene entonces que dim(p
m
G[p]/p
m+1
G[p]) = 0, lo cual implica que para todo m k,
dim(p
m
T[p]/p
m+1
T[p]) = 0, ya que p
n
G[p] = p
n
T[p] para todo n; por la proposicion 36
se concluye entonces que p
k
T = p
k+1
T. Finalmente por la parte ii) de este lema,
p
=
lm
n
dim(p
n
G/p
n+1
G).
iv) Fjese un primo p. Sea x

: < un conjunto de variables libres. Considerese el

conjunto de formulas
T =

y[n((x

1
, ..., x

t
) py) = 0] : t N,
t
,
i
=
j
si i = j

donde
t
es el conjunto de las (p
t
1) posibles combinaciones lineales no nulas de los
elementos x
1
, ..., x
t
vistos como elementos de un espacio vectorial sobre Z
p
. T dice que
existen por lo menos elementos de G independientes modulo T + pG. Se mostrara que T
es nitamente satisfacible; para esto basta probar que para un n jo,
G

y[n((x
1
, ..., x
n
) py) = 0] : t N,
t

Supongase que n = p
k
d, donde (d, p) = 1. Por hipotesis se tiene que para todo t
N existen p
k
g
1
, p
k
g
2
, ..., p
k
g
t
p
k
G independientes modulo p
k+1
G. Ahora bien, se tiene
entonces que para todo y,
n((g
1
, ..., g
t
) py) = (d(p
k
g
1
), ..., d(p
k
g
t
)) p
k
(dy) = 0,
con lo cual se verica que T es nitamente satisfacible. Por la -saturacion de G, se tiene
que G T y entonces
p
.
Una vez caracterizada la estructura de G
r
, se estudiara G
d
, el subgrupo divisible maximal
de G. Es sabido por el Teorema 4 que G
d
=

p
(Z
p
)
(
p
)

Q
()
, donde Z
p
es el p-grupo
de Pr ufer y Q los racionales. Se hara de nuevo un analisis de
p
para cada primo y de
en terminos de invariantes denibles de G y se estudiara su comportamiento cuando G es
-saturado.
23
Notese que como Q es libre de torsion y todo elemento en Z
q
tiene orden que es potencia
de q, entonces
p
= dim(G
d
[p]) visto como un espacio vectorial sobre Z
p
.
Considerese de nuevo T el subgrupo de torsion de G, y escrbase como se hizo anterior-
mente: T =

q
T
q
. Notese que para alg un k 0 y cualquier primo p,
p
k
T = p
k+1
T p
k
T
p
= p
k+1
T
p
p
k
T es divisible,
con lo cual se tiene que si p
k
T = p
k+1
T para alg un k 0, entonces p
k
T G
d
= p
k
G
d
, y
por lo tanto
p
= dim(p
k
G
d
[p]) = dim(p
k
T[p]). Por la proposicion 36 se conoce bien c uando
ocurre este evento, y analogamente a la proposicion 37 se probara la siguiente que proporciona
informacion util sobre algunas dimensiones importante para esta etapa del estudio.
Proposicion 39. Para todo k 0,
dim(p
k
G[p]) dim(p
k+1
G[p]) + dim(p
k
G[p]/p
k+1
G[p])
Demostracion. Basta probar que para todo r 0,
dim(p
k+1
G[p]) + dim(p
k
G[p]/p
k+1
G[p]) r dim(p
k
G[p] r
Pues bien, supongase que existen x
1
, x
2
, ..., x
n
G tales que p
k+1
x
1
, p
k+1
x
2
, ..., p
k+1
x
n

p
k+1
G[p] son independientes (como elementos de un espacio vectorial sobre Z
p
) y
y
1
, y
2
, ..., y
m
G tales que p
k
y
1
, p
k
y
2
, ..., p
k
y
n
p
k
G[p] modulo p
k+1
G[p], donde m+n r.
Claramente p
k+1
x
1
, ..., p
k+1
x
n
, p
k
y
1
, ..., p
k
y
m
son elementos de p
k
G[p]; se mostrara que son
independientes (como elementos de un espacio vectorial sobre Z
p
).
Sup ongase que
n

i=1

i
(p
k+1
x
i
) +
m

j=1

j
(p
k
y
j
) 0(modp
k+2
), ((1))
para algunos
i
s y
j
s. Notese que esto implica que
n

i=1

i
(p
k+1
x
i
) +
m

j=1

j
(p
k
y
j
) 0(modp
k+1
),
A su vez este resultado implica claramente que
m

j=1

j
(p
k
y
j
) 0(modp
k+1
).
Por hipotesis, los p
k
y
i
s son independientes modulo p
k+1
G[p], con lo cual se tiene que
j
0
(modp) (j = 1, ..., m). As,
m

j=1

j
(p
k
y
j
) 0(modp
k+2
)
Volviendo a (1), lo anterior implica que
n

i=1

i
(p
k+1
x
i
) 0(modp
k+2
),
y por hipotesis de la independencia de los p
k+1
x
i
s, se concluye que
i
0 (modp) (i =
1, ..., n). Esto prueba lo deseado.
24
Ahora el lema que describe detalladamente el comportamiento de
p
para cada primo:
Lema 40. Sea G =

p

G
p
G
d
=

G
p

p
(Z
p
)
(
p
)
Q
()
un grupo
1
-ecuacionalmente
compacto y sea T el subgrupo de torsion de G.
i) Para todo k 0,
p
= dim(G
d
[p])
ii) Si para alg un k 0, p
k
T = p
k+1
T, entonces
p
= lm
n
dim(p
n
G[p]) (Notese que tiene
sentido hablar de este lmite ya que se trata de una sucesi on decreciente de cardinales).
iii) Si lm
n
dim(p
n
G[p]) es nito, entonces
p
= lm
n
dim(p
n
G[p]).
iv) Si G es -saturado ( ) y lm
n
dim(p
n
G[p]) = , entonces
p
.
Demostracion. i) y ii) se mostraron en las observaciones hechas antes de la proposicion 39.
iii) Si lm
n
dim(p
n
G[p]) es nito, entonces existe un k 0 tal que para todo m k,
dim(p
m
G[p]) = dim(p
m+1
G[p]) < . Por la proposicion 39, para todo m k se tie-
ne entonces que dim(p
m
G[p]/p
m+1
G[p]) = 0, lo cual implica que para todo m k,
dim(p
m
T[p]/p
m+1
T[p]) = 0, ya que p
n
G[p] = p
n
T[p] para todo n; por la proposicion
36 se concluye entonces que p
k
T = p
k+1
T. Finalmente por la parte ii) de este lema,

p
= lm
n
dim(p
n
G[p]).
iv) Fjese un primo p. Sea x

: < un conjunto de variables libres. Considerese el

conjunto de formulas
T = px

= 0 : < tienen orden p

y(my = x

) : < , m N son divisibles por todo entero

((x

1
, ..., x

t
) = 0) : t N,
t
,
i
=
j
si i = j

son independientes
donde
t
es el conjunto de las (p
t
1) posibles combinaciones lineales no nulas de los
elementos x
1
, ..., x
t
vistos como elementos de un espacio vectorial sobre Z
p
. T dice que
existen por lo menos elementos de G
d
[p]
8
independientes como elementos de un espacio
vectorial sobre Z
p
(dim(G
d
[p]) ). Notese que T es nitamente satisfacible ya que por
hipotesis, para todo n, dim(p
n
G[p]) = . Con la -saturacion de G se verica que G T y
por lo tanto
p
.
Finalmente la atencion se centrara en describir el comportamiento de , el n umero de
copias de Q en la descomposicion de G
d
.
Denicion 41. Se dice que un grupo G tiene orden acotado si existe un entero n tal que
nG = 0.
Con lo anterior se dene entonces el exponente de un grupo abeliano G de la siguiente
manera:
Exp(G) =

0 si G tiene orden acotado

de lo contrario
Ahora el lema que describe el comportamiento de .
Lema 42. Sea G =

p

G
p
G
d
=

G
p

p
(Z
p
)
(p)
Q
()
un grupo
1
-ecuacionalmente
compacto.
i) Si Exp(G) = 0, entonces = 0.
ii) Si G es -saturado ( ) y Exp(G) = , entonces .
8
Notese que como G es
1
-ecuacionalmente compacto, por el lema 25 se tiene que si x es divisible por
todo entero, x G
d
.
25
Demostracion. i) es claro ya que Q no tiene orden acotado.
ii) El objetivo consiste en encontrar un conjunto independiente de elementos de G
d
(vistos
ahora como elementos de un espacio vectorial sobre Q) con orden innito de cardinalidad .
Sea x

: < un conjunto de variables libres. Considerese el conjunto de formulas que

expresa lo deseado
T = y(ry = x

) : r Z
+
, <

i=1
m
i
x
i
= 0

: t Z
+
, (m
1
, m
2
, ..., m
t
) Q
t
(0, ..., 0)

Se mostrara que T es nitamente satisfacible. Para probar esto, es suciente mostrar que para
r, t, k Z
+
jos y cualquier tupla (m
j
1
, ..., m
j
t
) Q
t
(0, ..., 0), j = 1, 2, ..., k, el subconjunto
T

i=1
m
j
i
x
i
= 0

: j = 1, ..., k

y(ry = x
i
) : i = 1, ..., t
es satisfacible. Pues bien, notese que para cada j = 1, ..., k, f
j
=
t

i=1
m
j
i
x
i
es un polinomio no
nulo de Q[x
1
, ..., x
t
]. Defnase entonces el polinomio, no nulo, f = f
1
f
2
...f
k
Q[x
1
, ..., x
n
] .
Como el unico polinomio de Q[x
1
, ..., x
t
] que se anula en todo punto de Q
t
es el polinomio cero,
entonces existe una tupla (a
1
, a
2
, ..., a
t
) Q
t
tal que f(a
1
, a
2
, ..., a
t
) = 0. Mas a un, puede
suponerse sin problema que tal tupla pertenece a Z
t
, al igual que cada tupla (m
j
1
, ..., m
j
t
),
j = 1, ..., k (multiplicando por un entero apropiado). De esta manera, se tiene entonces
que f
j
(a
1
, a
2
, ..., a
t
) =
t

i=1
m
j
i
a
i
= 0, para j = 1, ...k. Considerese entonces en entero s =
k

j=1

i=1
(m
j
i
a
i
)r

. Por hipotesis (Exp(G) = ) existe un g G tal que sg = 0. As, si

x
i
= (a
i
r)g, se tiene que:
t

i=1
m
j
i
x
i
=

i=1
m
j
i
a
i
r

g = 0 para cada j = 1, ..., k

y claramente r divide a x
i
para i = 1, ..., t. Se tiene entonces que T es nitamente satisfacible.
Por la -saturacion de G, se concluye que G T y por lo tanto que .
Es momento entonces de hacer un recuento de los elementos que se tienen hasta ahora.
Teorema 43. Sea un cardinal no enumerable. Si G es un grupo abeliano -saturado, G es

1
-ecuacionalmente compacto y por lo tanto es isomorfo a un producto

p

G
p
G
d
donde
G
d
=

p
(Z
p
)
(p)
Q
()
es divisible y cada

G
p
es el completado, en la topologa p-adica de una suma directa de grupos
cclicos
G
p
=

n
Z
(
p,n
)
p
n Z
(p)
p
.
26
Mas a un,

p,n
:

= dim(p
n1
G[p]/p
n
G[p]) si dim(p
n1
G[p]/p
n
G[p]) es nito
de lo contrario

p
:

= lm
n
dim(p
n
G/p
n+1
G) si lm
n
dim(p
n
G/p
n+1
G) es nito
de lo contrario

p
:

= lm
n
dim(p
n
G[p]) si lm
n
dim(p
n
G[p]) es nito
de lo contrario
:

= dim(p
n
G[p]/p
n+1
G[p]) si dim(p
n
G[p]/p
n+1
G[p]) es nito
de lo contrario
Demostracion. La demostracion de este teorema esta contenida en los resultados obtenidos
a lo largo de estas seccion. Las armaciones acerca de
p,n
,
p,n
,
p
y son tomadas,
respectivamente, de los lemas 35, 38, 40 y 42.
4.2 El Teorema de Clasicacion Elemental
En esta seccion se llega al teorema principal del trabajo, que clasica, modulo equivalencia
elemental, los Grupos Abelianos. Para esto, son necesarios algunos resultados previos.
Con los elementos tratados en la seccion anterior, se denen los invariantes elementales
de un grupo abeliano G de la siguiente manera:
NDCT
p,n
(G) =

U
G,p
(n 1) = dim(p
n1
G[p]/p
n
G[p]) en caso de ser nito
de lo contrario
NDST
p
(G) =

lm
n
dim(p
n
G/p
n+1
G) en caso de ser nito
de lo contrario
DCT
p
(G) =

lm
n
dim(p
n
G[p]) en caso de ser nito
de lo contrario
DST(G) = Exp(G)
Para justicar el hecho de llamarlos elementales, el siguiente teorema:
Teorema 44. Dos grupos abelianos elmentalmente equivalentes G y H tienen los mismos
invariantes elementales.
Demostracion. i) Considerese la sentencia

n,p,k
:= x
1
, ...x
k

i=1

y
i
(p
n1
y
i
= x
i
) (px
i
= 0)

(p
n+1
y = 0) (p
n
y = (x
1
, ..., x
k
))

donde
k
es el conjunto de las (p
k
1) posibles combinaciones lineales no nulas de los
elementos x
1
, ..., x
k
vistos como elementos de un espacio vectorial sobre Z
p
.
Notese que G satisface
n,p,k
ssi U
G,p
(n 1) k. Como G y H son elementalmente equi-
valentes, se tiene que para cada cada k, U
G,p
(n 1) k ssi U
H,p
(n 1) k. Con esto,
NDCT
p,n
(G) = NDCT
p,n
(H) para todo n y todo primo p.
ii) Considerese ahora la sentencia

p,k
:= x
1
, ...x
k

i=1
y
i
(p
n
y
i
= x
i
)

k
y((p
n+1
y = (x
1
, ..., x
k
)))

27
G satisface
p,k
ssi dim(p
n
G/p
n+1
G) k. Al ser elementalmente equivalentes,
dim(p
n
G/p
n+1
G) k ssi dim(p
n
H/p
n+1
H) k.
Esto implica que dim(p
n
G/p
n+1
G) = dim(p
n
H/p
n+1
H) para todo n (en el sentido nito-
), y por lo tanto lm
n
dim(p
n
G/p
n+1
G) = lm
n
dim(p
n
H/p
n+1
H). Con esto, NDST
p
(G) =
NDST
p
(H) para todo primo p.
iii) Similarmente, considerese

p
:= x
1
, ...x
k

i=1
(y
i
(p
n
y
i
= x
i
) (px
i
= 0))

k
((x
1
, ..., x
k
)) = 0)
G satisface
p
ssi dim(p
n
G[p]) k. Al ser elementalmente equivalentes,
dim(p
n
G[p]) k ssi dim(p
n
H[p]) k.
Esto implica que dim(p
n
G[p]) = dim(p
n
H[p]) para todo n (en el sentido nito-), y por
tanto lm
n
dim(p
n
G[p]) = lm
n
dim(p
n
H[p]). Con esto, DCT
p
(G) = DCT
p
(H) para todo
primo p.
iv) Finalmente, G tiene orden acotado divisor de n (Exp(G) = 0) ssi G satisface la sentencia
x(nx = 0). Con la equivalencia elemental de G y H se tiene que Exp(G) = Exp(H) y por
lo tanto DST(G) = DST(H).
Queda mostrado entonces el teorema.
Ahora bien, el siguiente paso consiste en encontrar y describir ciertas subestructuras
elementales de un grupo abeliano
1
-saturado; esto permitira demostrar de manera clara el
teorema principal.
Considerese un grupo
1
-saturado G. Por el teorema 43 se tiene que
G = G
r
G
d
=

G
p
G
d
=

n
Z
(
p,n
)
p
n Z
(
p
)
p

p
(Z
p
)
(p)
Q
()
(1)
donde cada
p,n
,
p,n
,
p
y es nito o por lo menos
1
.
Pues bien, considerese entonces el subgrupo G

G dado por
G

= G

r
G

d
=

p
G

d
=

n
Z
(

p,n
)
p
n Z
(

p
)
p

p
(Z
p
)
(

p
)
Q
(

)
(2)
donde cada

p,n
(resp.

p,n
,

p
,

) es igual a
p,n
(resp.
p,n
,
p
, ) si este es nito, o igual
a
1
de lo contrario; y completando la diferencia entre los
p,n
,
p,n
,
p
, s y los

p,n
,

p,n
,

p
,

s con copias de 0.
Lema 45. Sean G y G

los grupos descritos en las ecuaciones 1 y 2 respectivamente. Para

todo subconjunto enumerable S G existe un automorsmo f Aut(G) tal que f(S) G

.
Demostracion. i) Considerese primero un subconjunto enumerable
S

p
G
p
G
d
=

n
Z
(
p,n
)
p
n Z
(
p
)
p
G
d
.
Dada la estructura de G (sumas directas y producto directo enumerable), puede verse que
cada elemento de S tiene a lo sumo enumerables componentes distintas de cero. Esto implica
(por la enumerabilidad de S) que el n umero de coordenadas en las cuales alg un elemento de
28
S toma un valor distinto de cero, son a lo sumo enumerables. Dado esto, pueden permutarse
los sumandos directos de

p
G
p
G
d
de tal manera que:
i) las coordenadas (a lo sumo enumerables) ocupadas por S en

p
G

p
G

d
se queden jas.
ii) Como queda una innidad de coordenadas nulas de S en

p
G

p
G

d
(pues de ser innitos,
los invariantes son
1
), intercambiense una a una, las coordenadas necesarias, en orden de
aparicion, con las ocupadas por S fuera de

p
G

p
G

d
.
Esta operacion dene claramente un automorsmo f Aut

p
G
p
G
d

tal que f(S) G

.
ii) Solo resta mostrar que el anterior automorsmo puede extenderse a

p

G
p
G
d
conser-
vando la propiedad deseada. Pues bien, sea g

G
p
para alg un primo p. Este elemento puede
verse entonces como el lmite de una sucesion de Cauchy g
i

i
G
p
, y por tanto como el
lmite de una sucesion s
i

i


p
G
p
G
d
(simplemente poniendo 0 en las demas coorde-
nadas). Pues bien, considerese entonces f (s
i

i
) = f(s
i
)
i
G

(por lo mostrado en el
punto anterior). Como la union enumerable de conjuntos enumerables es enumerable, basta
considerar un solo g

G
p
para alg un primo p. Es suciente notar que f conserva las alturas
de los elementos para concluir que f(s
i
)
i
converge a alg un s

p

G
p
G
d
. Defnase
f(g) = s G

. Para ver que f es un homomorsmo, notese que

f(g
1
) +f(g
2
) = lm
i
f(s
1i
) + lm
i
f(s
2i
) = lm
i
(f(s
1i
) +f(s
2i
))
= lm
n
f((s
1i
+s
2i
))
= (s
1
+s
2
) = f(g
1
+g
2
)
Se tiene entonces lo deseado.
Lema 46. Sean G y G

los grupos descritos en las ecuaciones 1 y 2 respectivamente. Entonces

G

es subestructura elemental de G (G

G).
Demostracion. Por el corolario 10 es suciente probar que dados g
1
, g
2
, ..., g
n
G

y g G,
existe un automorsmo f Aut(G) tal que f(g
i
) = g
i
i = 1, ..., n y tal que f(g) G

. Esto
se logra con el lema anterior disponiendo ciudadosamente en el paso i) los sumandos directos
(dejando jas las coordenadas en las cuales alg un g
i
i = 1, ....n toma un valor distinto de cero
y acomodando segudamente aquellas en las que g toma valores no nulos y que no haban
aparecido).
Finalmente puede probarse el Teorema Principal del escrito.
Teorema 47. (Clasicaci on elemental de los grupos abelianos) Dos Grupos Abelianos G y
H son elementalmente equivalentes si y solamente si tienen los mismos invariantes.
Demostracion. Si G y H son elementalmente equivalentes, tienen los mismos invariantes
(teorema 44). Ahora bien, supongase que G y H tienen los mismos invariantes. Por el lema
16 existen G

y H

grupos abelianos
1
-saturados tales que G G

y H H

. Notese que
G

y H

tienen los mismos invariantes nitos y por el teorema 43 se tiene que su estructura
coincide con la descrita en 1. Pues bien, considerense G

y H

subgrupos de G

y H

respectivamente de la forma descrita en 2. Por el lema anterior se tiene que G

y
H

. De esta forma G G

~ G

= H

~ H y por lo tanto G H.
29
Referencias
[B] J. Barwise, Back and Forth through Innitary Logic. MAA Studies in Mathematics,
vol.8. The Mathematical Association of America, 1973.
[CyK] C.C. Chang y H.J. Keisler, Model Theory. North-Holland, 1977.
[Ch] Cherlin
[E] P. Eklof, Some Model Theory of Abelian Groups. The Journal of Symbolic Logic,
vol.37 (2), 1972. Pgs. 335-342.
[EyF] P. Eklof y E. Fisher, The Elementary Theory of Abelian Groups. Annals of Mathema-
tical Logic, vol.4, 1972. Pgs. 115-171.
[F] L. Fuchs, Innite Abelian Groups, vol.1. Academic Press, New York, 1970.
[K] I. Kaplansky, Innite Abelian Groups. University of Michigan Press, Ann Arbor, 1969.
[S] W. Szmielew, Elementary properties of Abelian Groups. Fund. Math., vol.41, 1955.
Pgs. 201-271.
30