En matemáticas , un grupo abeliano , también llamado grupo conmutativo , es un grupo en el que el resultado de aplicar la operación de grupo a dos elementos de grupo no depende del orden en que están escritos. Es decir, la operación de grupo es conmutativa . Con la suma como operación, los enteros y los números reales forman grupos abelianos, y el concepto de grupo abeliano puede verse como una generalización de estos ejemplos. Los grupos abelianos llevan el nombre del matemático de principios del siglo XIX Niels Henrik Abel . [1]
El concepto de grupo abeliano subyace en muchas estructuras algebraicas fundamentales , como campos , anillos , espacios vectoriales y álgebras . La teoría de los grupos abelianos es generalmente más simple que la de sus contrapartes no abelianos , y los grupos abelianos finitos se entienden muy bien y están completamente clasificados .
Definición
Estructuras de tipo grupal | |||||
---|---|---|---|---|---|
Totalidad α | Asociatividad | Identidad | Invertibilidad | Conmutatividad | |
Semigropoide | Innecesario | Requerido | Innecesario | Innecesario | Innecesario |
Categoría pequeña | Innecesario | Requerido | Requerido | Innecesario | Innecesario |
Groupoid | Innecesario | Requerido | Requerido | Requerido | Innecesario |
Magma | Requerido | Innecesario | Innecesario | Innecesario | Innecesario |
Cuasigrupo | Requerido | Innecesario | Innecesario | Requerido | Innecesario |
Magma unital | Requerido | Innecesario | Requerido | Innecesario | Innecesario |
Círculo | Requerido | Innecesario | Requerido | Requerido | Innecesario |
Semigroup | Requerido | Requerido | Innecesario | Innecesario | Innecesario |
Semigroup inverso | Requerido | Requerido | Innecesario | Requerido | Innecesario |
Monoide | Requerido | Requerido | Requerido | Innecesario | Innecesario |
Monoide conmutativo | Requerido | Requerido | Requerido | Innecesario | Requerido |
Grupo | Requerido | Requerido | Requerido | Requerido | Innecesario |
Grupo abeliano | Requerido | Requerido | Requerido | Requerido | Requerido |
^ α El cierre, que se utiliza en muchas fuentes, es un axioma equivalente a la totalidad, aunque se define de manera diferente. |
Un grupo abeliano es un conjunto ,, junto con una operación que combina dos elementos cualesquiera y de para formar otro elemento de denotado . El símboloes un marcador de posición general para una operación determinada concretamente. Para calificar como grupo abeliano, el conjunto y la operación,, debe satisfacer cinco requisitos conocidos como axiomas del grupo abeliano :
- Cierre
- Para todos , en , el resultado de la operación también está en .
- Asociatividad
- Para todos , , y en , la ecuacion sostiene.
- Elemento de identidad
- Existe un elemento en , tal que para todos los elementos en , la ecuacion sostiene.
- Elemento inverso
- Para cada en existe un elemento en tal que , dónde es el elemento de identidad.
- Conmutatividad
- Para todos , en , .
Un grupo en el que la operación de grupo no es conmutativa se denomina "grupo no abeliano" o "grupo no conmutativo". [2] : 11
Hechos
Notación
Hay dos convenciones principales de notación para los grupos abelianos: aditiva y multiplicativa.
Convención | Operación | Identidad | Potestades | Inverso |
---|---|---|---|---|
Adición | 0 | |||
Multiplicación | o | 1 |
Generalmente, la notación multiplicativa es la notación habitual para grupos, mientras que la notación aditiva es la notación habitual para módulos y anillos . La notación aditiva también se puede usar para enfatizar que un grupo en particular es abeliano, siempre que se consideren grupos tanto abelianos como no abelianos, siendo algunas excepciones notables los grupos cercanos a los anillos y los grupos parcialmente ordenados , donde una operación se escribe aditivamente incluso cuando no son abelianos. . [3] : 28-29
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 multiplicar . Si el grupo esbajo la operación, el-la entrada de esta tabla contiene el producto.
El grupo es abeliano si y solo si esta tabla es simétrica con respecto a la diagonal principal. Esto es cierto ya que el grupo es abeliano iff para todos , que es si el entrada de la tabla es igual a la entrada para todos , es decir, la mesa es simétrica con respecto a la diagonal principal.
Ejemplos de
- Para los enteros y la operación suma , denotado , la operación + combina dos enteros cualesquiera para formar un tercer entero, la suma es asociativa, cero es la identidad aditiva , cada enterotiene un aditivo inverso ,, y la operación de suma es conmutativa ya que para dos enteros cualesquiera y .
- Cada grupo cíclico es abeliano, porque si , estan en , luego . Por lo tanto, los enteros ,, forman un grupo abeliano bajo la suma, al igual que los enteros módulo norte {\ Displaystyle n} , .
- Cada anillo es un grupo abeliano con respecto a su operación de adición. En un anillo conmutativo, los elementos invertibles, o unidades , forman un grupo multiplicativo abeliano . En particular, los números reales son un grupo abeliano bajo suma, y los números reales distintos de cero son un grupo abeliano bajo multiplicación.
- Cada subgrupo de un grupo abeliano es normal , por lo que cada subgrupo da lugar a un grupo cociente . Los subgrupos, cocientes y sumas directas de grupos abelianos son nuevamente abelianos. Los grupos abelianos simples finitos son exactamente los grupos cíclicos de primer orden . [4]
- Los conceptos de grupo abeliano y - módulo de acuerdo. Más específicamente, cada-module es un grupo abeliano con su operación de suma, y cada grupo abeliano es un módulo sobre el anillo de números enteros de una manera única.
En general, las matrices , incluso las matrices invertibles, no forman un grupo abeliano bajo la multiplicación porque la multiplicación de matrices generalmente no es conmutativa. Sin embargo, algunos grupos de matrices son grupos abelianos bajo la multiplicación de matrices; un ejemplo es el grupo de matrices de rotación .
Observaciones históricas
Camille Jordan nombró grupos abelianos en honor al matemático noruego Niels Henrik Abel , porque Abel descubrió que la conmutatividad del grupo de un polinomio implica que las raíces del polinomio se pueden calcular utilizando radicales . [5] : 144-145
Propiedades
Si es un número natural y es un elemento de un grupo abeliano escrito de forma aditiva, entonces Puede ser definido como ( sumandos) y . De este modo,se convierte en un módulo sobre el anillo de enteros. De hecho, los módulos sobre se puede identificar con los grupos abelianos.
Teoremas sobre grupos abelianos (es decir, módulos sobre el dominio ideal principal ) a menudo se puede generalizar a teoremas sobre módulos sobre un dominio ideal principal arbitrario. Un ejemplo típico es la clasificación de grupos abelianos generados finitamente, que es una especialización del teorema de estructura para módulos generados finitamente sobre un dominio ideal principal . En el caso de grupos abelianos generados finitamente, este teorema garantiza que un grupo abeliano se divide como una suma directa de un grupo de torsión y un grupo abeliano libre . El primero puede escribirse como una suma directa de un número finito de grupos de la forma por primo, y el último es una suma directa de un número finito de copias de .
Si son dos homomorfismos de grupo entre grupos abelianos, entonces su suma, definido por , es de nuevo un homomorfismo. (Esto no es cierto si es un grupo no abeliano.) El conjunto de todos los homomorfismos de grupo de a es, por tanto, un grupo abeliano por derecho propio.
Algo parecido a la dimensión de los espacios vectoriales , cada grupo abeliano tiene un rango . Se define como la cardinalidad máxima de un conjunto de elementos linealmente independientes (sobre los enteros) del grupo. [6] : 49–50 Los grupos abelianos finitos y los grupos de torsión tienen rango cero, y cada grupo abeliano de rango cero es un grupo de torsión. Los enteros y los números racionales tienen rango uno, así como todos los subgrupos aditivos distintos de cero de los racionales. Por otro lado, el grupo multiplicativo de los racionales distintos de cero tiene un rango infinito, ya que es un grupo abeliano libre con el conjunto de los números primos como base (esto resulta del teorema fundamental de la aritmética ).
El centro de un grupo es el conjunto de elementos que conmuta con cada elemento de . Un grupo es abeliano si y solo si es igual a su centro . El centro de un grupoes siempre un subgrupo abeliano característico de. Si el grupo del cociente de un grupo por su centro es cíclico entonces es abeliano. [7]
Grupos abelianos finitos
Grupos cíclicos de números enteros módulo norte {\ Displaystyle n} , , estuvieron entre los primeros ejemplos de grupos. Resulta que un grupo abeliano finito arbitrario es isomorfo a una suma directa de grupos cíclicos finitos de orden de potencia principal, y estos órdenes están determinados de forma única, formando un sistema completo de invariantes. El grupo de automorfismo de un grupo abeliano finito se puede describir directamente en términos de estos invariantes. La teoría se había desarrollado por primera vez en el artículo de 1879 de Georg Frobenius y Ludwig Stickelberger y más tarde se simplificó y generalizó a módulos generados finitamente sobre un dominio ideal principal, formando un capítulo importante del álgebra lineal .
Cualquier grupo de orden primo es isomorfo a un grupo cíclico y por lo tanto abeliano. Cualquier grupo cuyo orden sea un cuadrado de un número primo también es abeliano. [8] De hecho, para cada número primo hay (hasta el isomorfismo) exactamente dos grupos de orden , a saber y .
Clasificación
El teorema fundamental de los grupos abelianos finitos establece que todo grupo abeliano finitose puede expresar como la suma directa de subgrupos cíclicos de orden de potencia prima ; también se conoce como el teorema de la base para grupos abelianos finitos . Además, los grupos de automorfismos de grupos cíclicos son ejemplos de grupos abelianos. [9] Esto se generaliza mediante el teorema fundamental de los grupos abelianos generados finitamente , siendo los grupos finitos el caso especial cuando G tiene rango cero ; esto, a su vez, admite numerosas generalizaciones adicionales.
La clasificación fue probada por Leopold Kronecker en 1870, aunque no se estableció en términos modernos de teoría de grupos hasta más tarde, y fue precedida por una clasificación similar de formas cuadráticas por Carl Friedrich Gauss en 1801; consulte el historial para obtener más detalles.
El grupo cíclico de orden es isomorfo a la suma directa de y si y solo si y son coprime . De ello se deduce que cualquier grupo abeliano finito es isomorfo a una suma directa de la forma
en cualquiera de las siguientes formas canónicas:
- los números son potencias de primos (no necesariamente distintos),
- o divide , que divide y así sucesivamente hasta .
Por ejemplo, se puede expresar como la suma directa de dos subgrupos cíclicos de orden 3 y 5: . Lo mismo puede decirse de cualquier grupo abeliano de orden 15, lo que lleva a la notable conclusión de que todos los grupos abelianos de orden 15 son isomorfos .
Para otro ejemplo, cada grupo abeliano de orden 8 es isomorfo a cualquiera (los enteros del 0 al 7 en el módulo de adición 8), (los números impares del 1 al 15 en el módulo de multiplicación 16), o .
Consulte también la lista de grupos pequeños para grupos abelianos finitos de orden 30 o menos.
Automorfismos
Se puede aplicar el teorema fundamental para contar (y a veces determinar) los automorfismos de un grupo abeliano finito dado.. Para hacer esto, uno usa el hecho de que si divide como una suma directa de subgrupos de orden coprime , entonces
Dado esto, el teorema fundamental muestra que para calcular el grupo de automorfismo de basta con calcular los grupos de automorfismos del Sylow -subgrupos por separado (es decir, todas las sumas directas de subgrupos cíclicos, cada uno con un orden de potencia de ). Arreglar una prima y supongamos que los exponentes de los factores cíclicos del Sylow -subgrupos se organizan en orden creciente:
para algunos . Uno necesita encontrar los automorfismos de
Un caso especial es cuando , de modo que solo hay un factor cíclico de potencia prima en el Sylow -subgrupo . En este caso se puede utilizar la teoría de los automorfismos de un grupo cíclico finito . Otro caso especial es cuando es arbitrario pero por . Aquí, uno está considerando ser de la forma
por lo que los elementos de este subgrupo pueden verse como que comprenden un espacio vectorial de dimensión sobre el campo finito de elementos . Por tanto, los automorfismos de este subgrupo están dados por las transformaciones lineales invertibles, por lo que
dónde es el grupo lineal general apropiado . Esto se demuestra fácilmente que tiene orden.
En el caso más general, donde el y son arbitrarios, el grupo de automorfismos es más difícil de determinar. Se sabe, sin embargo, que si se define
y
entonces uno tiene en particular , , y
Se puede comprobar que esto produce los pedidos de los ejemplos anteriores como casos especiales (ver Hillar, C. y Rhea, D.).
Grupos abelianos finamente generados
Un grupo abeliano A se genera de forma finita si contiene un conjunto finito de elementos (llamados generadores )de tal manera que cada elemento del grupo es una combinación lineal con coeficientes enteros de elementos de G .
Sea L un grupo abeliano libre con baseHay un homomorfismo grupal único. tal que
Este homomorfismo es sobreyectivo y su núcleo se genera finitamente (ya que los números enteros forman un anillo noetheriano ). Considere la matriz M con entradas enteras, de manera que las entradas de su j- ésima columna sean los coeficientes del j- ésimo generador del núcleo. A continuación, el grupo abeliano es isomorfo al conúcleo de mapa lineal definida por M . A la inversa, cada matriz entera define un grupo abeliano generado de forma finita.
De ello se deduce que el estudio de grupos abelianos generados finitamente es totalmente equivalente al estudio de matrices enteras. En particular, cambiar el grupo electrógeno de A es equivalente a multiplicar M a la izquierda por una matriz unimodular (es decir, una matriz entera invertible cuya inversa es también una matriz entera). Cambiar el grupo generador del núcleo de M es equivalente a multiplicar M a la derecha por una matriz unimodular.
La forma normal de Smith de M es una matriz
donde U y V son unimodulares, y S es una matriz tal que todas las entradas no diagonales son cero, las entradas diagonales distintas de cero son los primeros, y es un divisor de para i > j . La existencia y la forma de la normal de Smith demuestra que el grupo abeliano A generado finitamente es la suma directa
donde r es el número de filas cero en la parte inferior de r (y también el rango del grupo). Este es el teorema fundamental de los grupos abelianos generados finitamente .
La existencia de algoritmos para la forma normal de Smith muestra que el teorema fundamental de los grupos abelianos generados finitamente no es solo un teorema de existencia abstracta, sino que proporciona una forma de calcular la expresión de grupos abelianos generados finitamente como sumas directas.
Grupos abelianos infinitos
El grupo abeliano infinito más simple es el grupo cíclico infinito . Cualquier grupo abeliano generado finitamente es isomorfo a la suma directa de Copias de y un grupo abeliano finito, que a su vez se puede descomponer en una suma directa de un número finito de grupos cíclicos de órdenes de potencia primarias . Aunque la descomposición no es única, el número, llamado el rango de, y los poderes primos que dan las órdenes de sumandos cíclicos finitos están determinados de forma única.
Por el contrario, la clasificación de los grupos abelianos generados infinitamente está lejos de ser completa. Grupos divisibles , es decir, grupos abelianos en el que la ecuación admite una solución para cualquier número natural y elemento de , constituyen una clase importante de infinitos grupos abelianos que pueden caracterizarse completamente. Cada grupo divisible es isomorfo a una suma directa, con sumandos isomorfo ay grupos Prüfer para varios números primos , y la cardinalidad del conjunto de sumandos de cada tipo se determina de forma única. [10] Además, si un grupo divisible es un subgrupo de un grupo abeliano luego admite un complemento directo: un subgrupo de tal que . Así, los grupos divisibles son módulos inyectivos en la categoría de grupos abelianos y, a la inversa, todo grupo abeliano inyectivo es divisible ( criterio de Baer ). Un grupo abeliano sin subgrupos divisibles distintos de cero se llama reducido .
Dos clases especiales importantes de grupos abelianos infinitos con propiedades diametralmente opuestos son grupos de torsión y grupos libre de torsión , ejemplificados por los grupos (periódico) y (sin torsión).
Grupos de torsión
Un grupo abeliano se llama periódico o torsión , si cada elemento tiene un orden finito . Una suma directa de grupos cíclicos finitos es periódica. Aunque el enunciado inverso no es cierto en general, se conocen algunos casos especiales. Los teoremas primero y segundo de Prüfer establecen que sies un grupo periódico, y tiene un exponente acotado , es decir, por algún número natural , o es contable y el pag {\ Displaystyle p} -altura de los elementos de son finitos para cada uno , luego es isomorfo a una suma directa de grupos cíclicos finitos. [11] La cardinalidad del conjunto de sumandos directos isomorfos a en tal descomposición es una invariante de . [12] : 6 Estos teoremas fueron subsumidos más tarde en el criterio de Kulikov . En una dirección diferente, Helmut Ulm encontró una extensión del segundo teorema de Prüfer al abeliano contable-grupos con elementos de altura infinita: esos grupos se clasifican completamente mediante sus invariantes de Ulm .
Grupos libres de torsión y mixtos
Un grupo abeliano se llama libre de torsión si cada elemento distinto de cero tiene un orden infinito. Se han estudiado ampliamente varias clases de grupos abelianos sin torsión :
- Grupos abelianos libres , es decir, sumas directas arbitrarias de
- Grupos libres de torsión de cotorsión y algebraicamente compactos como el pag {\ Displaystyle p} -enteros ádicos
- Grupos delgados
Un grupo abeliano que no es periódico ni está libre de torsión se llama mixto . Si es un grupo abeliano y es su subgrupo de torsión , entonces el grupo de factoreses libre de torsión. Sin embargo, en general, el subgrupo de torsión no es una suma directa de, entonces no es isomorfo a. Por tanto, la teoría de los grupos mixtos implica más que simplemente combinar los resultados sobre grupos periódicos y libres de torsión. El grupo de aditivos de enteros está libre de torsión -módulo. [13] : 206
Invariantes y clasificación
Uno de los invariantes más básicos de un grupo abeliano infinito es su rango : la cardinalidad del subconjunto linealmente independiente máximo de. Los grupos abelianos de rango 0 son precisamente los grupos periódicos, mientras que los grupos abelianos libres de torsión de rango 1 son necesariamente subgrupos dey se puede describir completamente. De manera más general, un grupo abeliano libre de torsión de rango finito es un subgrupo de . Por otro lado, el grupo de pag {\ Displaystyle p} -enteros ádicos es un grupo abeliano libre de torsión de infinito -rank y los grupos con diferente son no isomórficos, por lo que este invariante ni siquiera captura completamente las propiedades de algunos grupos familiares.
Los teoremas de clasificación para grupos abelianos sin torsión, divisibles, periódicos contables y de rango 1 generados finitamente, explicados anteriormente, se obtuvieron todos antes de 1950 y forman la base de la clasificación de grupos abelianos infinitos más generales. Las herramientas técnicas importantes utilizadas en la clasificación de infinitos grupos abelianos son subgrupos puros y básicos . La introducción de varios invariantes de grupos abelianos sin torsión ha sido una vía de progreso adicional. Consulte los libros de Irving Kaplansky , László Fuchs , Phillip Griffith y David Arnold , así como las actas de las conferencias sobre la teoría de grupos abelianos publicados en Lecture Notes in Mathematics para obtener hallazgos más recientes.
Grupos aditivos de anillos
El grupo aditivo de un anillo es un grupo abeliano, pero no todos los grupos abelianos son grupos aditivos de anillos (con multiplicación no trivial). Algunos temas importantes en esta área de estudio son:
- Producto tensor
- Resultados de la esquina en grupos contables sin torsión
- El trabajo de Shelah para eliminar las restricciones de cardinalidad.
Relación con otros temas matemáticos
Muchos grandes grupos abelianos poseen una topología natural que los convierte en grupos topológicos .
La colección de todos los grupos abelianos, junto con los homomorfismos entre ellos, forma la categoría , el prototipo de una categoría abeliana .
Wanda Szmielew ( 1955 ) demostró que la teoría de primer orden de los grupos abelianos, a diferencia de su contraparte no abeliana, es decidible. La mayoría de las estructuras algebraicas distintas de las álgebras de Boole son indecidibles .
Todavía hay muchas áreas de investigación actual:
- Entre los grupos abelianos sin torsión de rango finito, sólo se comprenden bien el caso generado finitamente y el caso de rango 1 ;
- Hay muchos problemas sin resolver en la teoría de los grupos abelianos sin torsión de rango infinito;
- Si bien los grupos abelianos de torsión contables se entienden bien a través de presentaciones simples e invariantes de Ulm, el caso de los grupos mixtos contables es mucho menos maduro.
- Se sabe que muchas extensiones leves de la teoría de primer orden de los grupos abelianos son indecidibles.
- Los grupos abelianos finitos siguen siendo un tema de investigación en la teoría de grupos computacional .
Además, los grupos abelianos de orden infinito conducen, sorprendentemente, a preguntas profundas sobre la teoría de conjuntos que comúnmente se supone que subyace a todas las matemáticas. Tomemos el problema de Whitehead : ¿son todos los grupos de Whitehead de orden infinito también grupos abelianos libres ? En la década de 1970, Saharon Shelah demostró que el problema de Whitehead es:
- Indecidible en ZFC ( axiomas de Zermelo-Fraenkel ), la teoría de conjuntos axiomática convencional de la que se pueden derivar casi todas las matemáticas actuales. El problema de Whitehead es también la primera pregunta en matemáticas ordinarias que se demostró indecidible en ZFC;
- Indecidible incluso si ZFC se aumenta tomando la hipótesis del continuo generalizado como un axioma;
- Respondido positivamente si ZFC se aumenta con el axioma de constructibilidad (ver afirmaciones verdaderas en L ).
Una nota sobre la tipografía.
Entre matemáticos adjetivos derivados del nombre propio de un matemático , la palabra "abeliano" es rara en los que a menudo se escribe con minúscula una , en lugar de una mayúscula A , la falta de capitalización de ser un reconocimiento tácito no sólo del grado en que el nombre de Abel ha sido institucionalizado, pero también de cuán omnipresentes son los conceptos introducidos por él en las matemáticas modernas. [14]
Ver también
- Subgrupo de conmutador: subgrupo normal más pequeño por el cual el cociente es conmutativo
- Abelianización : cotización de un grupo por su subgrupo de conmutadores
- Grupo diedro de orden 6 - Grupo no conmutativo con 6 elementos, el grupo no abeliano más pequeño
- Grupo abeliano elemental: grupo conmutativo en el que todos los elementos distintos de cero tienen el mismo orden
- Dualidad de Pontryagin - Dualidad para grupos abelianos compactos localmente
Notas
- ^ Jacobson (2009) p. 41
- ^ Ramík, J., Método de comparaciones por pares : teoría y aplicaciones en la toma de decisiones ( Cham : Springer Nature Suiza , 2020), p. 11 .
- ^ Auslander, M. y Buchsbaum, D. , Grupos, anillos, módulos ( Mineola, NY : Dover Publications , 1974), págs. 28-29 .
- ^ Rosa de 2012, p. 32 .
- ^ Cox, DA , Teoría de Galois ( Hoboken : John Wiley & Sons , 2004), págs. 144-145 .
- ^ Dixon, MR, Kurdachenko, LA y Subbotin, IY, Linear Groups: The Accent on Infinite Dimensionality ( Milton Park , Abingdon-on-Thames y Oxfordshire : Taylor & Francis , 2020), págs. 49-50 .
- ^ Rosa de 2012, p. 48 .
- ^ Rosa de 2012, p. 79 .
- ^ Kurzweil, H. y Stellmacher, B. , The Theory of Finite Groups: An Introduction (Nueva York, Berlín, Heidelberg: Springer Verlag , 2004), págs. 43–54 .
- ^ Por ejemplo,.
- ^ El supuesto de contabilidad en el segundo teorema de Prüfer no puede eliminarse: el subgrupo de torsión del producto directo de los grupos cíclicos por todo natural no es una suma directa de grupos cíclicos.
- ^ Fe, CC, anillos y cosas y una fina matriz de álgebra asociativa del siglo XX ( Providence : American Mathematical Society , 2004), p. 6 .
- ^ Lal, R., Álgebra 2: Álgebra lineal, teoría de Galois, teoría de la representación, extensiones de grupo y multiplicador de Schur (Berlín, Heidelberg: Springer, 2017), p. 206 .
- ^ "Premio Abel otorgado: Nobel de matemáticos" . Archivado desde el original el 31 de diciembre de 2012 . Consultado el 3 de julio de 2016 .
Referencias
- Cox, David (2004). Teoría de Galois . Wiley-Interscience . ISBN 9781118031339. Señor 2119052 .
- Fuchs, László (1970). Grupos abelianos infinitos . Matemática pura y aplicada. 36-I . Prensa académica . Señor 0255673 .
- Fuchs, László (1973). Grupos abelianos infinitos . Matemática pura y aplicada. 36-II. Prensa académica . Señor 0349869 .
- Griffith, Phillip A. (1970). Teoría del grupo infinito abeliano . Conferencias de Chicago en Matemáticas. Prensa de la Universidad de Chicago . ISBN 0-226-30870-7.
- Herstein, IN (1975). Temas de Álgebra (2ª ed.). John Wiley e hijos . ISBN 0-471-02371-X.
- Hillar, Christopher; Rhea, Darren (2007). "Automorfismos de grupos abelianos finitos". American Mathematical Monthly . 114 (10): 917–923. arXiv : matemáticas / 0605185 . Bibcode : 2006math ...... 5185H . doi : 10.1080 / 00029890.2007.11920485 . JSTOR 27642365 . S2CID 1038507 .
- Jacobson, Nathan (2009). Álgebra básica I (2ª ed.). Publicaciones de Dover. ISBN 978-0-486-47189-1.
- Rose, John S. (2012). Un curso de teoría de grupos . Publicaciones de Dover . ISBN 978-0-486-68194-8. Reedición íntegra e inalterada de un trabajo publicado por primera vez por Cambridge University Press, Cambridge, Inglaterra, en 1978.
- Szmielew, Wanda (1955). "Propiedades elementales de los grupos abelianos" (PDF) . Fundamenta Mathematicae . 41 (2): 203–271. doi : 10.4064 / fm-41-2-203-271 . Señor 0072131 . Zbl 0248.02049 .
enlaces externos
- "Grupo abeliano" . Enciclopedia de Matemáticas . EMS Press . 2001 [1994].