Grupo abeliano

Un grupo abeliano o grupo conmutativo es una estructura algebraica dada sobre un conjunto $A$ mediante una operación binaria denotada por "$\circ$" que cumple las propiedades:

1. $(A,\circ )$ tiene estructura algebraica de grupo.
2. $g\circ h=h\circ g$ para cualquier par de elementos $h,g\in A$.

Los grupos abelianos son así llamados en honor al matemático noruego Niels Henrik Abel, quien utilizó estos grupos en el estudio de las ecuaciones algebraicas solubles por radicales.​ Los grupos que no son conmutativos se denominan no abelianos (también no conmutativos, con menos frecuencia).

Notación

Hay dos notaciones principales para los grupos abelianos: aditiva y multiplicativa, descritas a continuación.

Notación	Operación	Elemento neutro	Potencias	Elementos inversos	Suma directa / Producto directo
Adición	$a+b$	0	$na$	$-a$	$G\oplus H$
Multiplicación	$a*b$ o $ab$	e o 1	$a^{n}$	$a^{-1}$o${\frac {1}{a}}$	$G\times H$

La notación multiplicativa no es otra que la notación usual para los grupos, mientras que la aditiva es la notación usual para módulos. Cuando se trabaja sólo con grupos abelianos, usualmente se usa la notación aditiva.

Ejemplos

Todo grupo cíclico G es abeliano, pues si x, y ∈ G = <a>, x = a^m y y = aⁿ para algunos m, n enteros, con lo cual, xy = a^maⁿ = a^{m + n} = a^{n + m} = aⁿa^m = yx. En particular, el grupo Z de enteros bajo la suma es abeliano, al igual que el grupo de enteros módulo n, Z_n.

Los números reales forman un grupo abeliano con la adición, al igual que los reales no nulos con la multiplicación.

Todo anillo es un grupo abeliano con respecto a su adición. En un anillo conmutativo, los elementos invertibles forman un grupo abeliano bajo la multiplicación.

Todo subgrupo de un grupo abeliano es normal, y por lo tanto, para todo subgrupo hay un grupo cociente. Subgrupos, grupos cocientes, y sumas directas de grupos abelianos son también abelianos.

Propiedades

• Si n es un número natural y x un elemento de un grupo abeliano G (con notación aditiva), se puede definir nx = x + x +... + x (n sumandos), y (−n)x = −(nx), con lo que G se vuelve un módulo sobre el anillo Z de los enteros. De hecho, los módulos sobre Z no son otros que los grupos abelianos.
• Si f, g: G → H son dos homomorfismos entre grupos abelianos, su suma (definida por (f + g)(x) = f(x) + g(x)) es también un homomorfismo; esto no se cumple en general para grupos no abelianos. Con esta operación, el conjunto de homomorfismos entre G y H se vuelve, entonces, un grupo abeliano en sí mismo.

Grupos abelianos finitos

El grupo $\mathbb {Z} _{n}$ de los enteros módulo n es un grupo con la operación de la suma módulo n. Este grupo es abeliano y finito.
El siguiente resultado nos indica que los anteriores forman la estructura básica de todos los conjuntos abelianos finitos.

Teorema:​ Todo grupo abeliano finito G es isomorfo a $\mathbb {Z} _{p_{1}^{k_{1}}}\oplus \ldots \oplus Z_{p_{r}^{k_{r}}}$, donde $p_{1},\ldots ,p_{r}$ son números primos y $k_{1},\ldots ,k_{r}\in \mathbb {N}$.
Los enteros $p_{1}^{k_{1}},\ldots ,p_{r}^{k_{r}}$ son únicos a menos del orden.

Veamos un par de ejemplos.

Salvo isomorfismos existen cinco grupos abelianos con 16 elementos.
Para mostrar ello, observe primero que 16=2⁴, por lo que las formas de descomponer 16 como producto de naturales mayores a 1 son (a menos de orden): $16=16,\ 16=2\times 8,\ 16=2\times 2\times 4,\ 16=2\times 2\times 2\times 2{\mbox{ y }}16=4\times 4$.
Por ende un grupo abeliano con 16 elementos es isomorfo a uno y sólo uno de los siguientes: $\mathbb {Z} _{16},\ \mathbb {Z} _{8}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{4}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{4}\oplus \mathbb {Z} _{4}$.

Todo grupo abeliano de orden 30 es isomorfo a $\mathbb {Z} _{5}\oplus \mathbb {Z} _{3}\oplus \mathbb {Z} _{2}$.
Esto se debe a que no hay otra forma de escribir 30 como producto de potencias de primos que $30=2\times 3\times 5$.

Una forma equivalente de dar el teorema anterior es la siguiente:

Teorema:​ Todo grupo abeliano finito G es isomorfo a $\mathbb {Z} _{d_{1}}\oplus \ldots \oplus Z_{d_{t}}$, donde $d_{1},\ldots ,d_{t}$ son enteros mayores a 1 que verifican $d_{i}|d_{i+1}\ \forall i=1,\ldots ,t-1$. Los enteros $d_{1},\ldots ,d_{t}$ son únicos.

Este teorema se deduce del anterior utilizando que $\mathbb {Z} _{m}\oplus \mathbb {Z} _{n}$ es isomorfo a $\mathbb {Z} _{nm}$ cuando n y m son coprimos.

Véase también

Grupo Monoide Semigrupo Magma Conjunto Ley de composición Interna Asociatividad Elemento neutro Elemento simétrico

• Datos: Q181296
• Multimedia: Abelian groups / Q181296