Grupo abeliano

En matemáticas, un grupo abeliano o grupo conmutativo es un grupo en el cual la operación interna satisface la propiedad conmutativa, esto es, que el resultado de la operación es independiente del orden de los argumentos. De manera más formal, un grupo $(G,\circ )$ es abeliano cuando, además de los axiomas de grupo, se satisface la siguiente condición

g\circ h=h\circ g

, para cualquier par de elementos

g,h\in G

.

Grupo abeliano (2,2)

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 que pueden resolverse por radicales.[1] Los grupos que no son conmutativos se denominan no abelianos o no conmutativos.

Los grupos abelianos son la base sobre la que se construyen estructuras algebraicas más complejas como los anillos y cuerpos, los espacios vectoriales o los módulos. En teoría de categorías, los grupos abelianos son el objeto de estudio de la categoría Ab.

Definición

Un grupo abeliano es un conjunto $A$ , junto con una operación $\cdot$ que combina dos elementos cualesquiera $a$ y $b$ de $A$ para formar otro elemento de $A,$ denotado $a\cdot b$ . El símbolo $\cdot$ es un marcador de posición general para una operación concreta. Para calificar como grupo abeliano, el conjunto y la operación, $(A,\cdot )$ , deben satisfacer cuatro requisitos conocidos como los axiomas de grupo abeliano (algunos autores incluyen en los axiomas algunas propiedades que pertenecen a la definición de una operación: A saber, que la operación esté definida para cualquier par ordenado de elementos de $A$ , que el resultado sea Bien definido, y que el resultado pertenezca a $A$ ):

Asociatividad: Para todo $a$ , $b$ , y $c$ en $A$ , se cumple la ecuación $(a\cdot b)\cdot c=a\cdot (b\cdot c)$ .
Elemento de identidad: Existe un elemento $e$ en $A$ , tal que para todos los elementos $a$ en $A$ , se cumple la ecuación $e\cdot a=a\cdot e=a$ .
Elemento inverso: Para cada $a$ en $A$ existe un elemento $b$ en $A$ tal que $a\cdot b=b\cdot a=e$ , donde $e$ es el elemento identidad.
Conmutatividad: Para todo $a$ , $b$ en $A$ , $a\cdot b=b\cdot a$ .

Un grupo en el que la operación de grupo no es conmutativa se denomina "grupo no abeliano" o "grupo no conmutativo".[2]^: 11

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	$ab$ o $ab$*	e o 1	$a^{n}$	$a^{-1}$ o ${\frac {1}{a}}$	$G\times H$

La notación multiplicativa es la notación usual en teoría de grupos, mientras que la aditiva es la notación usual en el estudio de anillos, módulos y espacios vectoriales, en los que hay una segunda operación. Es corriente también usar la notación aditiva cuando se trabaja sólo con grupos abelianos, como en el caso del álgebra homológica.

Tabla de multiplicación

Para verificar que un grupo finito es abeliano, se puede construir una tabla (matriz) -conocida como tabla de Cayley- de manera similar a una tabla de multiplicación.[3]^: 10 Si el grupo es $G=\{g_{1}=e,g_{2},\cdot ,g_{n}\}$ bajo la operación $\cdot$ , la $(i,j)$ -ésima entrada de esta tabla contiene el producto $g_{i}\cdot g_{j}$ .

El grupo es abeliano si y sólo si esta tabla es simétrica respecto a la diagonal principal. Esto es cierto ya que el grupo es abeliano iff $g_{i}\cdot g_{j}=g_{j}\cdot g_{i}$ para todo $i,j=1,...,n$ , que es si la entrada $(i,j)$ de la tabla es igual a la entrada $(j,i)$ para todo $i,j=1,...,n$ , es decir, la tabla es simétrica respecto a la diagonal principal.

Ejemplos

Todo grupo cíclico $G=\langle a\rangle$ es abeliano, pues dos elementos cualesquiera $x,y\in G$ se pueden expresar como potencias $x=a^{m},\ y=a^{n}$ para ciertos enteros m y n. En consecuencia

xy=a^{m}\ a^{n}=a^{m+n}=a^{n+m}=a^{n}\ a^{m}=yx

.

En particular, el grupo aditivo de los enteros $\mathbb {Z}$ es abeliano, al igual que el grupo de enteros módulo n, $\mathbb {Z} _{n}$ .[4]

Los números racionales, los reales, los complejos y los cuaterniones son cada uno de ellos un grupo abeliano bajo la adición. También lo son bajo la multiplicación (excluyendo el cero de cada uno de estos conjuntos) exceptuando a los cuaterniones, que son un ejemplo notable de cuerpo no conmutativo. En general, todo anillo es un grupo abeliano con respecto a su adición. Si además es un anillo conmutativo, los elementos invertibles también forman un grupo abeliano bajo la multiplicación.[5]

Dado un grupo $G$ arbitrario, es posible construir la abelianización de $G$ , que es el cociente de $G$ por su subgrupo conmutador: $G/[G,G]$ . Este grupo es abeliano, y tiene la propiedad de que si dado cualquier otro subgrupo normal $N$ , el cociente $G/N$ es abeliano, entonces $[G,G]\subset N$ .[6]

Todo grupo $G$ contiene un subgrupo abeliano llamado centro del grupo, que está formado por los elementos que conmutan con cualquier otro del grupo.[7]

Observaciones históricas

Camille Jordan dio el nombre de grupos abelianos tomados del matemático noruego Niels Henrik Abel, ya que Abel había encontrado que la conmutatividad del grupo de un polinomio implica que las raíces del polinomio pueden ser calculadas mediante radicales.[8]^{: 144–145}

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.
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.

Clasificación de los grupos abelianos finitamente generados

Se dice que un grupo está finitamente generado si existe un conjunto generador del grupo que es finito. Todo grupo finito está finitamente generado, puesto que el propio grupo es un conjunto generador de sí mismo. Los grupos abelianos finitos y finitamente generados están totalmente clasificados por el llamado teorema de estructura, del que existen varias versiones. Según este teorema, todo grupo abeliano finitamente generado es la suma directa de grupos cíclicos, los cuales pueden ser de dos tipos:[9]

el grupo cíclico infinito, caracterizado por los números enteros bajo la adición, $\mathbb {Z}$ .
grupos cíclicos finitos, caracterizado por los enteros módulo n bajo la suma módulo n, $\mathbb {Z} _{n}$ .

Grupos abelianos finitos

Resulta de interés estudiar primero el caso de grupos finitos, pues este resultado se aplica directamente al caso general. El teorema de estructura en el caso finito afirma lo siguiente:

Teorema de estructura para grupos abelianos finitos[10]

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 que 1 que verifican $d_{i}|d_{i+1},\ \forall i=1,\ldots ,t-1$ .

Los números $d_{1},\ldots ,d_{t}$ se denominan coeficientes de torsión de $G$ , y son invariantes del grupo. En particular, el orden de $G$ es igual al producto $d_{1}\ldots d_{t}$ .[11] Se dice que un elemento $g$ de un grupo es un elemento de torsión si su orden es finito. Análogamente, se dice que un grupo en el cual todos los elementos son de torsión es un grupo de torsión. Naturalmente, todos los grupos finitos son de torsión.

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

Teorema de descomposición primaria de grupos abelianos[12]

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 (no necesariamente distintos) y $k_{1},\ldots ,k_{r}\in \mathbb {N}$ .
Los enteros $p_{1}^{k_{1}},\ldots ,p_{r}^{k_{r}}$ son únicos salvo por el orden.

Los siguientes ejemplos ilustran la forma de aplicar el teorema de estructura, a partir de los factores primos del orden del grupo:

Salvo isomorfismo existen cinco grupos abelianos con 16 elementos. Partiendo de que $16=2^{4}$ , las posibles elecciones para los coeficientes de torsión son $(16),(2\times 8),(2\times 2\times 4),(2\times 2\times 2\times 2){\mbox{ y }}(4\times 4)$ . En consecuencia, un grupo abeliano de 16 elementos es isomorfo a uno y sólo uno de los siguientes:

\mathbb {Z} _{16},\quad \mathbb {Z} _{2}\oplus \mathbb {Z} _{8},\quad \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{4},\quad \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2},\quad \mathbb {Z} _{4}\oplus \mathbb {Z} _{4}

.

Todo grupo abeliano de orden 30 es isomorfo al grupo cíclico $\mathbb {Z} _{30}\simeq \mathbb {Z} _{5}\oplus \mathbb {Z} _{3}\oplus \mathbb {Z} _{2}$ . Esto se debe a que no hay forma de descomponer 30 como producto de dos números mayores de 1 tales que uno sea divisor del otro.

Grupos abelianos finitamente generados

El conjunto de los elementos de torsión de un grupo arbitrario forman un subgrupo que se denomina subgrupo de torsión, y se denota como $\tau (G)$ . Si el único elemento de torsión es la identidad, entonces se dice que el grupo está libre de torsión. En tal caso, todo elemento distinto de la identidad es de orden infinito. El siguiente resultado indica la manera en que se puede descomponer un grupo abeliano en dos partes: una de torsión y una libre de torsión:

Para todo grupo $G$ abeliano, el cociente $G/\tau (G)$ está libre de torsión.[13]

Si el grupo abeliano $G$ está finitamente generado entonces su subgrupo de torsión está también finitamente generado, y de hecho es finito. Por tanto puede ser clasificado conforme al apartado anterior. Además $G=\tau (G)\oplus F$ , donde $F$ es un grupo abeliano finitamente generado y libre de torsión. El siguiente resultado nos permite caracterizar este grupo $F$ :

Todo grupo abeliano finitamente generado y libre de torsión es un grupo abeliano libre.[14]

Un grupo abeliano finitamente generado $G$ es un grupo abeliano libre si es isomorfo al producto directo $\mathbb {Z} ^{n}$ , para cierto entero positivo $n$ , denominado rango de $G$ . En consecuencia

Teorema de estructura para grupos abelianos finitamente generados[15]

Todo grupo abeliano finitamente generado $G$ es la suma directa de grupos cíclicos finitos e infinitos, y el número de sumandos de cada clase depende únicamente de $G$ .

En resumen, todo grupo abeliano finitamente generado es isomorfo a la suma directa

\mathbb {Z} \oplus ...\oplus \mathbb {Z} \oplus \mathbb {Z} _{d_{1}}\oplus ...\oplus \mathbb {Z} _{d_{t}}

donde el número de factores $\mathbb {Z}$ es el rango y los números $d_{1},\ldots ,d_{t}$ son los coeficientes de torsión de $G$ , que verifican que $d_{i}|d_{i+1},\ \forall i=1,\ldots ,t-1$ .

Véase también

Magma

Referencias

Encyclopedia of Mathematics. «Abelian group» (en inglés). Consultado el 12 de julio de 2014.
Ramík, J., Pairwise Comparisons Method: Teoría y aplicaciones en la toma de decisiones (Cham: Springer Nature Switzerland, 2020), p. 11.
Isaev, A. P., & Rubakov, V. A., Theory of Groups and Symmetries: Finite Groups, Lie Groups, and Lie Algebras (Singapore: World Scientific, 2018), p. 10.
Bujalance, Etayo y Gamboa, 2002, p. 52.
Rotman, 2012, p. 13.
Bujalance, Etayo y Gamboa, 2002, p. 289.
Dummit y Foote, 2004, p. 50.
Cox, D. A., Galois Theory (Hoboken, New Jersey: John Wiley & Sons, 2004), pp. 144-145.
Dummit y Foote, 2004, p. 158.
Dummit y Foote, 2004, p. 158-159.
Bujalance, Etayo y Gamboa, 2002, p. 106.
Rotman, 2003, «Groups II», p. 249-269.
Rotman, 2012, p. 307.
Rotman, 2012, p. 318.
Rotman, 2012, p. 319.

Bibliografía

Bujalance, Emilio; Etayo, José J.; Gamboa, José M. (2002). Teoría elemental de grupos (3ª edición). UNED.
Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5.
Rotman, Joseph J. (2012). An Introduction to the Theory of Groups. Springer.
Rotman, Joseph J. (2003). Advanced modern algebra (en inglés) (1ª edición). ISBN 0130878685. |fechaacceso= requiere |url= (ayuda)
Cox, David (2004). Galois Theory. Wiley-Interscience. ISBN 9781118031339. MR 2119052.
Fuchs, László (1970). Infinite Abelian Groups. Pure and Applied Mathematics. 36-I. Academic Press. MR 0255673.
Fuchs, László (1973). Infinite Abelian Groups. Pure and Applied Mathematics. 36-II. Academic Press. MR 0349869.
Griffith, Phillip A. (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7.
Herstein, I. N. (1975). Topics in Algebra (2nd edición). John Wiley & Sons. ISBN 0-471-02371-X. (requiere registro).
Hillar, Christopher; Rhea, Darren (2007). «Automorphisms of finite abelian groups». American Mathematical Monthly 114 (10): 917-923. Bibcode:2006math......5185H. JSTOR 27642365. S2CID 1038507. arXiv:math/0605185. doi:10.1080/00029890.2007.11920485.
Jacobson, Nathan (2009). Basic Algebra I (2nd edición). Dover Publications. ISBN 978-0-486-47189-1.
Rose, John S. (2012). A Course on Group Theory. Dover Publications. ISBN 978-0-486-68194-8. Unabridged and unaltered republication of a work first published by the Cambridge University Press, Cambridge, England, in 1978.
Szmielew, Wanda (1955). «Elementary Properties of Abelian Groups». Fundamenta Mathematicae 41 (2): 203-271. MR 0072131. Zbl 0248.02049.
Robinson, Abraham; Zakon, Elias (1960). «Elementary Properties of Ordered Abelian Groups». Transactions of the American Mathematical Society 96 (2): 222-236. JSTOR 1993461. doi:10.2307/1993461. Archivado desde el original el 9 de octubre de 2022. Parámetro desconocido |url-status= ignorado (ayuda)

Enlaces externos

Weisstein, Eric W. «Abelian Group». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

Datos: Q181296
Multimedia: Abelian groups / Q181296

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.

[1] Encyclopedia of Mathematics. «Abelian group» (en inglés). Consultado el 12 de julio de 2014.

[2] Ramík, J., Pairwise Comparisons Method: Teoría y aplicaciones en la toma de decisiones (Cham: Springer Nature Switzerland, 2020), p. 11.

[3] Isaev, A. P., & Rubakov, V. A., Theory of Groups and Symmetries: Finite Groups, Lie Groups, and Lie Algebras (Singapore: World Scientific, 2018), p. 10.

[FOOTNOTEBujalanceEtayoGamboa200252-4] Bujalance, Etayo y Gamboa, 2002, p. 52.

[FOOTNOTERotman201213-5] Rotman, 2012, p. 13.

[FOOTNOTEBujalanceEtayoGamboa2002289-6] Bujalance, Etayo y Gamboa, 2002, p. 289.

[FOOTNOTEDummitFoote200450-7] Dummit y Foote, 2004, p. 50.

[8] Cox, D. A., Galois Theory (Hoboken, New Jersey: John Wiley & Sons, 2004), pp. 144-145.

[FOOTNOTEDummitFoote2004158-9] Dummit y Foote, 2004, p. 158.

[FOOTNOTEDummitFoote2004158-159-10] Dummit y Foote, 2004, p. 158-159.

[FOOTNOTEBujalanceEtayoGamboa2002106-11] Bujalance, Etayo y Gamboa, 2002, p. 106.

[FOOTNOTERotman2003Groups_II249-269-12] Rotman, 2003, «Groups II», p. 249-269.

[FOOTNOTERotman2012307-13] Rotman, 2012, p. 307.

[FOOTNOTERotman2012318-14] Rotman, 2012, p. 318.

[FOOTNOTERotman2012319-15] Rotman, 2012, p. 319.