Grupo abeliano


Grupo abeliano

Dada una estructura algebraica sobre un conjunto A, y con una operación o ley de composición interna binaria: " \circ ". Se dice que la estructura ( A, \circ ) es un Grupo abeliano con respecto a la operación  \circ si:

  1. ( A, \circ ) tiene estructura algebraica Grupo
  2. ( A, \circ ) tiene la Propiedad conmutativa

Los grupos abelianos son así llamados en honor al matemático noruego Niels Henrik Abel. Los grupos que no son conmutativos se denominan no abelianos (también no conmutativos, con menos frecuencia).

Contenido

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 GH
Multiplicación a * b o ab e o 1 an a−1 o 1/a G × 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, yG = <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 módulo n, Zn.

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 : GH 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

Véase también

Grupo
Monoide
Semigrupo
Magma
Operación matemática
Operación interna
Asociatividad
Elemento neutro
Elemento simétrico

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Grupo abeliano — En matemáticas, sea un conjunto, y sea una operación binaria. Se dirá que es un grupo abeliano o grupo conmutativo si se cumplen las siguientes propiedades: 1. para todos los elementos . (asociatividad). 2. Existe un elemento …   Enciclopedia Universal

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo (matemática) — En álgebra abstracta, un grupo es un conjunto en el que se define una operación binaria (i.e. un magma), que satisface ciertos axiomas detallados más abajo. La rama de la matemática que estudia los grupos se llama teoría de grupos. Contenido 1… …   Wikipedia Español

  • Grupo nilpotente — En la teoría de grupos, un grupo nilpotente es un grupo que es casi abeliano. En forma más precisa, aplicando repetidamente la operación commutación, [x,y] = x 1y 1xy a cualesquiera elementos del grupo obtenemos la identidad. Los grupos… …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • Grupo de Prüfer — El 2 grupo de Prüfer. <gn: gn+12 = gn, g12 = e> En matemáticas, y en especial en teoría de grupos, el p grupo de Prüfer, grupo p cuasicíclico o el p∞ grupo, Z(p∞), para un número primo p es el único …   Wikipedia Español

  • Grupo resoluble — Definición Un grupo G se dice resoluble si existe una cadena finita de subgrupos tal que: donde para cada se cumple que: Gi es subgrupo normal en Gi + 1, notado usualmente como …   Wikipedia Español

  • Grupo — (Del ital. gruppo.) ► sustantivo masculino 1 Conjunto de personas, animales o cosas que forman un todo: ■ baila en un grupo de coros y danzas. SINÓNIMO agrupación 2 Reunión o corrillo de personas: ■ el resto de chicos no le aceptan en su grupo.… …   Enciclopedia Universal

  • Grupo lineal general — En matemáticas, el grupo lineal general (GL) de un espacio vectorial , denotdo como , es el grupo formado por todos los isomorfismos de ese espacio. Cuando el espacio vectorial es siendo un cuerpo F (tal como o …   Wikipedia Español

  • Grupo cíclico — Las seis raíces complejas 6 ésimas de la unidad forman un grupo cíclico bajo la multiplicación. z es un elemento generador de este grupo cíclico o elemento primitivo, pero z2 no lo es, porque las potencias impares de z no son representables como… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.