Grupo abeliano - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Grupo_abeliano

Grupo abeliano
Dada una estructura algebraica sobre un conjunto A, y con una operacin o ley de composicin interna
binaria: " ". Se dice que la estructura es un Grupo abeliano con respecto a la operacin si:

1. tiene estructura algebraica Grupo.

2. tiene la Propiedad conmutativa.

Los grupos abelianos son as llamados en honor al matemtico noruego Niels Henrik Abel, quien utiliz
estos grupos en el estudio de las ecuaciones algebraicas solubles por radicales.1 Los grupos que no son
conmutativos se denominan no abelianos (tambin no conmutativos, con menos frecuencia).

ndice
1 Notacin
2 Ejemplos
3 Propiedades
4 Grupos abelianos finitos
5 Referencias
6 Vase tambin

Notacin
Hay dos notaciones principales para los grupos abelianos: aditiva y multiplicativa, descritas a continuacin.

Elemento Elementos Suma directa /

Notacin Operacin Potencias
neutro inversos Producto directo

Adicin a+b 0 na a GH

Multiplicacin a * b o ab eo1 an a1 o 1/a GH

La notacin multiplicativa no es otra que la notacin usual para los grupos, mientras que la aditiva es la
notacin usual para mdulos. Cuando se trabaja slo con grupos abelianos, usualmente se usa la notacin
aditiva.

Ejemplos
Todo grupo cclico G es abeliano, pues si x, y G = <a>, x = am y y = an para algunos m, n enteros, con lo
cual, xy = aman = am + n = an + m = anam = yx. En particular, el grupo Z de enteros bajo la suma es abeliano,
al igual que el grupo de enteros mdulo n, Zn.

Los nmeros reales forman un grupo abeliano con la adicin, al igual que los reales no nulos con la
multiplicacin.

Todo anillo es un grupo abeliano con respecto a su adicin. En un anillo conmutativo, los elementos
invertibles forman un grupo abeliano bajo la multiplicacin.

Todo subgrupo de un grupo abeliano es normal, y por lo tanto, para todo subgrupo hay un grupo cociente.

1 de 3 03/10/2017 21:31
Grupo abeliano - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_abeliano

Subgrupos, grupos cocientes, y sumas directas de grupos abelianos son tambin abelianos.

Propiedades
Si n es un nmero natural y x un elemento de un grupo abeliano G (con notacin aditiva), se puede
definir nx = x + x +... + x (n sumandos), y (n)x = (nx), con lo que G se vuelve un mdulo sobre el
anillo Z de los enteros. De hecho, los mdulos 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 tambin un homomorfismo; esto no se cumple en general para grupos no abelianos. Con
esta operacin, el conjunto de homomorfismos entre G y H se vuelve, entonces, un grupo abeliano en
s mismo.

Grupos abelianos finitos

El grupo de los enteros mdulo n es un grupo con la operacin de la suma mdulo n. Este grupo es
abeliano y finito.
El siguiente resultado nos indica que los anteriores forman la estructura bsica de todos los conjuntos
abelianos finitos.

Teorema:2 Todo grupo abeliano finito G es isomorfo a , donde son nmeros

primos y .
Los enteros 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=24, por lo que las formas de descomponer 16 como producto de
naturales mayores a 1 son (a menos de orden):
.
Por ende un grupo abeliano con 16 elementos es isomorfo a uno y slo uno de los siguientes:
.

Todo grupo abeliano de orden 30 es isomorfo a .

Esto se debe a que no hay otra forma de escribir 30 como producto de potencias de primos que
.

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

Teorema:2 Todo grupo abeliano finito G es isomorfo a , donde son enteros

mayores a 1 que verifican . Los enteros son nicos.

Este teorema se deduce del anterior utilizando que es isomorfo a cuando n y m son
coprimos.

Referencias
1. Encyclopedia of Mathematics. Abelian group (http://www.encyclopediaofmath.org/index.php/Abelian_group)
(en ingls). Consultado el 12 de julio de 2014.
2. Rotman, Joseph (2003). Groups II. Advanced modern algebra (en ingls) (1 edicin). pp. 249-269.
ISBN 0130878685.

2 de 3 03/10/2017 21:31
Grupo abeliano - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Grupo_abeliano

Vase tambin

Operacin matemtica
Magma
Semigrupo Operacin interna
Monoide
Grupo Asociatividad
Elemento neutro
Elemento simtrico

Obtenido de https://es.wikipedia.org/w/index.php?title=Grupo_abeliano&oldid=96712232

Se edit esta pgina por ltima vez el 6 feb 2017 a las 12:51.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

3 de 3 03/10/2017 21:31