# Grupo abeliano libre

En álgebra abstracta, un grupo abeliano libre es un grupo abeliano que tiene una base en el sentido de que cada elemento del grupo se puede escribir de manera unívoca como combinación lineal de los elementos de la base, con coeficientes enteros. Por lo tanto, un grupo abeliano libre sobre una base B también se conoce como un conjunto de sumas formales sobre B. De manera informal, un elemento de un grupo abeliano libre también puede ser visto como un multiconjunto signado de elementos de B.
Los grupos abelianos libres tienen propiedades que los asemejan a los espacios vectoriales y permiten que un grupo abeliano en general se entiende como un cociente de un grupo abeliano libre por "relaciones". Cada grupo abeliano libre tiene un rango definido como la cardinalidad de una base. El rango determina el grupo salvo isomorfismos, y los elementos de dicho grupo se pueden escribir como sumas finitas formales de los elementos de la base. Cada subgrupo de un grupo abeliano libre es abeliano libre, lo cual es importante para la descripción de un grupo abeliano en general como conúcleo de homomorfismo entre grupos abelianos libres.

## Ejemplo

Por ejemplo, sea G el grupo que es la suma directa $\mathbb {Z} \oplus \mathbb {Z}$ de dos copias del grupo cíclico infinito $\mathbb {Z}$.
Simbólicamente,
    $G=\{(a,b)|a,b\in \mathbb {Z} \}$.
Una base de este grupo es {(1,0), (0,1)}.
Si escribimos $\ e_{1}=(1,0)$ y $\ e_{2}=(0,1)$, entonces podemos escribir el elemento (4,3), como
    $\ (4,3)=4e_{1}+3e_{2}$, donde la multiplicación se define de la manera siguiente: $\ 4e_{1}:=e_{1}+e_{1}+e_{1}+e_{1}$.
Con esta base no hay otra manera de escribir (4,3), pero si elegimos como base {(1,0), (1,1)}, donde $\ f_{1}=(1,0)$ y $\ f_{2}=(1,1)$, entonces podemos escribir (4,3), como
    $\ (4,3)=f_{1}+3f_{2}$.
A diferencia de lo que ocurre con los espacios vectoriales, no todos los grupos abelianos tienen una base (de ahí el nombre especial para los que lo si la tienen). Por ejemplo, ningún grupo con elementos (no triviales) periódicos puede ser abeliano libre, ya que dichos elementos pueden ser expresados en un número infinito de formas, simplemente mediante el establecimiento de un número arbitrario de ciclos construidos a partir de la periodicidad.
El grupo abeliano trivial {0} también se considera abeliano libre, con base el conjunto vacío.

## Terminología

Hay que tener en cuenta que un grupo abeliano libre , no es un grupo libre, excepto en dos casos: un grupo abeliano libre con una base vacía (rango de 0, dando el grupo trivial) o tener sólo un elemento en la base (rango 1, dando un grupo cíclico infinito). Cualquier otro grupo abeliano no es un grupo libre, porque, en grupos libres, el elemento ab debe ser diferente del ba si a y b son elementos diferentes de la base, mientras que deben ser idénticos en grupos abelianos libres. Sin embargo, los grupos abelianos libres son objetos libres en la categoría de grupos abelianos.

## Propiedades

* Para cada conjunto B, existe un grupo abeliano libre con base B, y todos los grupos abelianos libres que tienen a B como base son isomorfos. Se puede construir un ejemplo con el grupo abeliano de las funciones de B, donde cada función puede tomar valores enteros, y todos, excepto un número finito de sus valores son cero. Esta es la suma directa de copias de $\mathbb {Z}$, una copia para cada elemento de la B.
* Si F es un grupo abeliano libre con base B, entonces tenemos la siguiente propiedad universal: por cada función f de B en cualquier grupo abeliano A, existe un único homomorfismo del grupo de F en A que extiende a f. Esta propiedad universal también se puede utilizar para definir grupos abelianos libres.
* Dado un grupo abeliano A, siempre existe un grupo abeliano libre F y un epimorfismo (esto es, un homomorfismo sobreyectivo) del grupo de F en A. Esto se deduce de la propiedad universal mencionada anteriormente.
* Todos los grupos abelianos libres son libres de torsión, y todos los grupos abelianos finitamente generados y libres de torsión son grupos abelianos libres (lo mismo se aplica a módulos planos, ya que un grupo abeliano es libre de torsión, si y sólo si, como $\mathbb {Z}$-módulo es plano). El grupo aditivo de los números racionales $\mathbb {Q}$ es un grupo abeliano libre de torsión (no finitamente generado), grupo que no es abeliano libre. La razón: $\mathbb {Q}$ es divisible, pero ningún grupo abeliano libre distinto del trivial es divisible.
* Los grupos abelianos libres son un caso especial de módulos libres, ya que los grupos abelianos no son otra cosa que módulos sobre el anillo $\mathbb {Z}$.
Es importante destacar que todo subgrupo de un grupo abeliano libre es libre abeliano (ver más abajo). Como consecuencia, para cada grupo abeliano A existe una sucesión exacta corta
    0 → G → F → A → 0
donde F y G grupos abelianos libres (lo que significa que A es isomorfo al grupo cociente F /G). A esto se le llama resolución libre de A. Por otra parte, los grupos abelianos libres son, precisamente, los objetos proyectivos en la categoría de grupos abelianos.
Puede ser sorprendentemente difícil determinar si un grupo concreto dado es abeliano libre. Considere por ejemplo el grupo de Baer-Specker $\mathbb {Z} ^{\mathbb {N} }$, el producto directo (que no debe confundirse con la suma directa, que difiere del producto directo de un número infinito de sumandos) de una cantidad infinita numerable de copias de $\mathbb {Z}$. Reinhold Baer demostró en 1937 que este grupo no es abeliano libre; Specker demostró en 1950 que cada subgrupo numerable de $\mathbb {Z} ^{\mathbb {N} }$ es abeliano libre.

## Rango de un grupo abeliano libre

Cada grupo abeliano libre finitamente generado es isomorfo a $\mathbb {Z} ^{n}$ para algún número natural n, denominado rango del grupo abeliano libre. En general, un grupo abeliano libre F puede tener muchas bases diferentes, pero todas ellas tienen el mismo cardinal, y a esta cardinalidad se le llama rango de F. Este rango de grupos abelianos libres se pueden utilizar para definir el rango de un grupo abeliano en general. Las relaciones entre las diferentes bases pueden ser interesantes, por ejemplo, las diferentes posibilidades para elegir una base para el grupo abeliano libre de rango dos se examinan en el artículo sobre el par fundamental de períodos.

## Suma formal

Una suma formal de elementos de un conjunto dado B es un elemento del grupo abeliano libre con base B.
En otras palabras, dado un conjunto B, sea G el único grupo abeliano libre con base B (salvo isomorfismo).
Sean $b_{1},b_{2},...\in B$ y $a_{1},a_{2},...\in \mathbb {Z}$. Definimos su suma formal como:
    $\sum _{i=1}^{\infty }a_{i}b_{i}\in G$
donde existirá un $n\in \mathbb {N}$ de forma que $a_{i}=0$ si $i\geq n$.

## Subgrupos de un grupo abeliano libre

Cada subgrupo de un grupo abeliano libre es también un grupo abeliano libre. Esto es similar al teorema de Nielsen-Schreier que dice que un subgrupo de un grupo libre es libre.
Teorema: Sea $F$ el grupo abeliano libre generado por el conjunto $X=\{x_{k}\,|\,k\in I\}$ y sea $G\subset F$ un subgrupo. Entonces $G$ es un grupo abeliano libre.
Demostración: Si $G=\{0\}$, la afirmación se cumple. Supongamos que $G$ no es el grupo trivial. En primer lugar vamos a probar esto para $X$ por inducción. Si $|X|=1$, $G$ es isomorfo al $\mathbb {Z}$ ( que es no trivial y claramente es abeliano libre. Supongamos que si un grupo es generado por un conjunto de cardinalidad $\leq k$, entonces todos sus subgrupos son libres. Sean $X=\{x_{1},x_{2},\dots ,x_{k},x_{k+1}\}$, sea $F$ el grupo libre generado por $X$, y sea $G\subset F$ un subgrupo. Sea $\operatorname {pr} \colon G\to F$ la proyección $\operatorname {pr} (a_{1}x_{1}+\dots +a_{k+1}x_{k+1})=a_{1}x_{1}$. Si $\operatorname {Rng} (\operatorname {pr} )=\{0\}$, entonces $G$ es un subconjunto de $\langle x_{2},\dots ,x_{k+1}\rangle$ y es libre por la hipótesis de inducción. Por lo tanto podemos suponer que el rango no es trivial. Sea $m>0$ el menor tal que $mx_{1}\in \operatorname {Rng} (\operatorname {pr} )$ y elegimos $x$ de forma que $\operatorname {pr} x=mx_{1}$. Es sencillo comprobar que $x\notin \operatorname {Ker} (\operatorname {pr} )$, y si $y\in G$, entonces $y=nx+k$, donde $k\in \operatorname {Ker} (\operatorname {pr} )$ y $n\in \mathbb {Z}$. Por lo tanto $G=\operatorname {Ker} (\operatorname {pr} )\oplus \langle x\rangle$. Por la hipótesis de inducción $\operatorname {Ker} (\operatorname {pr} )$ y $\langle x\rangle$ son libres: el primero es isomorfo a un subgrupo $\langle x_{2},\dots x_{k+1}\rangle$ y el segundo a $\mathbb {Z}$.
Supongamos ahora que $X=\{x_{i}\mid i\in I\}$ es arbitrario. Para cada subconjunto $J$ de $I$ sea $F_{J}$ es el grupo libre generado por $\{x_{i}\mid i\in J\}$, por lo tanto $F_{J}\subset F$ es un subgrupo libre y denotamos $G_{J}=F_{J}\cap G$.
Ahora sea
    $S=\{(G_{J},w)\mid G_{J}{\rm {\;es\;un\;grupo\;libre\;no\;trivial\;y\;}}w{\rm {\;es\;una\;base\;de\;}}G_{J}\}.$
Formalmente d$w$ es una aplicación inyectiva
    $w:J'\to G_{J}$
de tal manera que $w[J']$ genera $G_{J}$.
Es evidente que $S$ es no vacío: Tomemos un elemento $x$ de $G$. Luego $x=a_{1}x_{i_{1}}+\cdots +a_{n}x_{i_{n}}$ y por lo tanto el grupo libre generado por $J=\{x_{i_{1}},\dots ,x_{i_{n}}\}$ contiene a $x$ y la intersección $G\cap F_{J}$ es un subgrupo no trivial de un grupo finito abeliano libre, y por lo tanto libre, por inducción.
Si $(G_{J},w),(G_{K},u)\in S$, definamos el orden $(G_{J},w)\leq (G_{K},u)$ si y sólo si $J\subset K$ y la base $u$ será una extensión de $w$; formalmente, si $w:J'\to G_{J}$ y $u:K'\to G_{K}$, entonces $J'\subset K'$ y $u\upharpoonright w=w$.
Si $(G_{J_{r}},w_{r})_{r\in L}$ es una $\leq$-cadena ($L$ es un orden lineal) de elementos de $S$, entonces, evidentemente,
    $(\bigcup _{r\in L}G_{J_{r}},\bigcup _{r\in L}w_{r})\in S$,
por lo que se puede aplicar el lema de Zorn y concluimos que existe un $(G_{J},w)$ maximal. Como $G_{I}=G$, es suficiente probar ahora que $J=I$. Supongamos lo contrario: que existe un $k\in I\setminus J$.
Sea $K=J\cup \{k\}$. Si $G_{K}=F_{K}\cap G=G_{J},$, entonces esto significa que $(G_{J},w)\leq (G_{K},w)$, pero no son iguales, así que $(G_{K},w)$ es mayor, lo cual contradice maximalidad de $(G_{J},w)$. De lo contrario, habría un elemento $nx_{k}+y\in G_{K}$ de tal manera que $n\in \mathbb {Z} \setminus \{0\}$ e $y\in F_{J}$.
El conjunto $n\in \mathbb {Z}$ para el cual existe $y\in F_{J}$ de tal manera que $nx_{k}+y\in G_{K}$ forma un subgrupo de $\mathbb {Z}$. Sea $n_{0}$ un generador de este grupo sea $w_{k}=n_{0}x_{k}+y\in G_{K}$ con $y\in F_{J}$. Ahora bien, si $z\in G_{K}$, entonces para algún $m\in Z$, $z=z-mw_{k}+mw_{k}$, donde $z-mw_{k}\in G_{J}$.
Por otra parte claramente $w_{k}\mathbb {Z} \cap F_{J}=\{0\}$, por lo que $w'=w\cup \{w_{k}\}$ es una base de $G_{K}$, por lo que $(G_{K},w')\geq (G_{J},w)$ contradiciendo de nuevo la maximalidad. $\square$