Universidad de Carabobo

Facultad Experimental de Ciencias y Tecnologı́a

Departamento de Matemáticas

Introducción al Álgebra Moderna

Pasantı́a presentada ante el Departamento de Matemáticas de
la Facultad Experimental de Ciencia y Tecnologı́a de la
Universidad de Carabobo

Alumno: Ojeda A, Juan N.

Valencia-Venezuela, 2010.
 Universidad de Carabobo
Facultad Experimental de Ciencias y Tecnologı́a
Departamento de Matemáticas

Introducción al Álgebra Moderna

Trabajo de Pasantı́a

Alumno: Ojeda A, Juan N.

Tutor Académico: Prof. Nelson C. Hernández
Tutor Empresarial: Prof. Nelson C. Hernández

Licenciatura en Matemáticas

Valencia 2010
Índice general

Introducción 5

1. Sinopsis Histórica 9
1.1. La teorı́a de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2. La teorı́a de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3. La teorı́a de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4. La teorı́a de módulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

2. Teorı́a de grupos 26
2.1. Definiciones, teoremas básicos y ejemplos . . . . . . . . . . . . . . . . . . . . 26
2.2. Subgrupos: definiciones, teoremas y ejemplos . . . . . . . . . . . . . . . . . . 33
2.3. Homomorfismo, kernel e imagen de grupos . . . . . . . . . . . . . . . . . . . 36
2.4. Clases laterales e ı́ndices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.5. Subgrupo normal y grupos cocientes . . . . . . . . . . . . . . . . . . . . . . 48
2.6. Primer y segundo teorema de isomorfismo . . . . . . . . . . . . . . . . . . . 52

3. Teorı́a de anillos y cuerpos 58

3.1. Definiciones, teoremas básicos y ejemplos . . . . . . . . . . . . . . . . . . . . 58
3.2. Subanillos: Definiciones, ejemplos y teoremas . . . . . . . . . . . . . . . . . . 64
3.3. Homomorfismo, kernel e imagen de anillos . . . . . . . . . . . . . . . . . . . 65
3.4. Ideal, Ideales principales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.5. Lema de Zorn-Kuratowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

3
4

4. Teorı́a de módulos 88
4.1. Definiciones, ejemplos y teoremas básicos . . . . . . . . . . . . . . . . . . . . 88
4.2. Submódulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.3. Combinación lineal y independencia lineal . . . . . . . . . . . . . . . . . . . 94
4.4. Homomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.5. Primer y segundo teorema de isomorfismo . . . . . . . . . . . . . . . . . . . 98
Introducción

El álgebra es una de las principales ramas de la matemática y se encuentra entre las más
estudiadas desde la antigüedad hasta el presente. Además ha jugado un rol fundamental
en el desarrollo de otras áreas de las matemáticas y hoy en dı́a se utiliza ampliamente en
distintas actividades diarias, ası́ como también en las matemáticas aplicadas.
Existe, desde hace algún tiempo, una distinción entre dos aproximaciones al estudio del
álgebra: las llamadas Álgebra Clásica y Álgebra Moderna. Mientras la primera ha evolu-
cionado y se ha enfocado para atender a cuestiones originadas de diversos campos de las
matemáticas; la segunda se ha focalizado en la fundamentación y sistematización necesarias
para el estudio de los conjuntos en los que se definen operaciones (haciendo abstracción en la
naturaleza de los elementos del conjunto y centrándose, más bien, en las reglas y operaciones
que los relacionan). De manera que podemos afirmar que la caracterı́stica más resaltante
del Álgebra Moderna es la investigación de las propiedades teóricas de sistemas formales,
tales como: grupos, anillos, cuerpos, módulos, espacios vectoriales y aún podemos agregar:
álgebras y álgebras de Boole.
Si nos atenemos a lo anteriormente expresado, es evidente la conexión entre los propósitos
de estudio del Álgebra Moderna y el Álgebra Universal (y el Álgebra Universal la podrı́amos
definir grosso modo como el estudio de las operaciones sobre ciertos conjuntos o estructuras
como las citadas anteriormente). Hacemos notar, sin embargo, que en su inicio (recordemos el
texto clásico de A. N. Whitehead sobre Álgebra Universal, A Treatise on universal algebra,
Cambridge University Press, 1898) el Álgebra Universal estaba un tanto deslindada del
Álgebra Moderna pues centraba su estudio principalmente en operaciones sobre números
6

reales de forma exclusiva.

De manera que los lazos se fueron estrechando con el paso del tiempo y los trabajos de
varios investigadores, por ejemplo, los trabajos de Garrett Birkhoff (1911-1996) entre los
años de 1935 al 1950. En años más recientes, la lógica matemática y la teorı́a de modelos
vinieron a interactuar de manera simbiótica con el Álgebra Universal (la sesión de Alfred
Tarski (1902-1983) en el Congreso Internacional de Matemáticos (Cambridge, Massachusetts,
1950), puede ser considerado el inicio de este nuevo periodo). Ası́, el enfoque usando teorı́a
de modelos del Álgebra Universal fue desarrollado principalmente por el mismo Tarski (antes
citado), C. C Chang, Leon Henkin (1921-2006), Howard Jerome Keisler, D. Scott y muchos
otros, no menos importantes, que serı́a largo enumerar.
Nuestro trabajo se enmarca en el estudio de ciertas estructuras básicas del Álgebra
moderna, tales como: grupos, anillos, cuerpos y módulos. También realizamos un análisis
comparativo de las proposiciones matemáticas, o teoremas, planteadas y sus métodos de
demostración; de allı́ podemos afirmar que nuestro trabajo esta en intima relación con los
estudios del Álgebra Universal (en su segunda etapa).
Puede notarse que la mayorı́a de los conceptos, teoremas, proposiciones son generalizables
a cada una de las otras teorı́as, es decir, muchas de las definiciones de la teorı́a de grupo
se pueden extender al caso de la teorı́a de anillos. De hecho, los teoremas de isomorfismos
(primer y segundo teorema de isomorfismo) para la teorı́a de grupos , son generalizables a
la teorı́a de anillos y la teorı́a de módulos.
Tomando como factor fundamental esta caracterı́stica entre las estructuras algebraicas,
estas notas tienen como propósito explicar las relaciones que poseen cada una de estas teorı́as
y resaltar las semejanzas y diferencias que entre ellas se destacan.
Y oponiéndonos quizás (en cierto modo) a una una frase de Nicolas Copérnico1 (1473-
1543), quien expresaba: Las matemáticas se escriben para los matemáticos, estas notas no
pretenden restringirse exclusivamente a ese público, sino que tienen como uno de sus objetivos
primordiales dar a conocer una pequeña introducción a las estructuras algebraicas a los
interesados en el area del álgebra universal y en la búsqueda de este objetivo se ha tratado
1
Copérnico era matemático, astrónomo, jurista, fı́sico, clérigo católico, gobernador, administrador, lı́der
militar, diplomático y economista.
 7

de ilustrar cada uno de los conceptos (teoremas, proposiciones) con ejemplos que resalten y
destaquen el concepto en cuestión.
Dice el polaco Ryszard Kapuscinski2 (1932-2007): La historia responde simplemente a la
siguiente pregunta: ¿Por qué? y de hecho, hemos agregado un capı́tulo relacionado con la
historia de la teorı́a de grupos, de anillos, cuerpos y módulos con el propósito de explicar
(muy someramente) el por qué del desarrollo de cada unas de estas teorı́as en particular y
observar las motivaciones de cada uno estos personajes al participar en el desarrollo de cada
una de estas teorı́as.
Es importante destacar que la literatura en español con respecto a estos temas son bas-
tante escasas y esta es otra de las motivaciones para escribir estas notas.
Finalmente queremos dejar reflejado que el motivo que nos llevó a seleccionar este pro-
yecto como trabajo de pasantı́a estuvo basado en la amplia aplicación e importancia como
prerrequisito que tiene en nuestra selección de tema de tesis de grado.
Como expresaba Gladys Bronwyn Stern3 (1890-1973): La gratitud en silencio no sir-
ve a nadie, entonces es importante resaltar la gran ayuda brindada por el profesor Nelson
Hernández en la orientación, corrección y colaboración en la escritura de estas notas de pa-
santı́a, también agradecerle al compañero César por la ayuda prestada durante la elaboración
de este documento.

2
Periodista, escritor, historiador, ensayista y poeta.
3
Escritora inglesa de novelas, cuentos, obras de teatro, memorias, biografı́as y crı́tica literaria.
Capı́tulo 1
Sinopsis Histórica

1.1. La teorı́a de grupos

El concepto de grupo (como estructura algebraica, es decir, una clasificación de conjuntos

con operaciones) es históricamente uno de los primeros ejemplos de los sistemas algebraicos
abstractos. El comienzo de la teorı́a de grupos se la debemos a los trabajos de Leonhard
Euler1 (1707-1783), Carl Friedrich Gauss2 (1777-1855), Niels Henrik Abel3 (1802-1829) y
Évariste Galois (1811-1832). Entre otros importantes matemáticos que influyeron en este
campo considerablemente, podemos nombrar también a: Arthur Cayley (1821-1895), Emil
Artin (1898-1962), Emmy Noether (1882-1935), Peter Ludwig Sylow (1832-1918), entre otros.

1
Matemático suizo que realizó importantes descubrimientos en el área del cálculo, la teorı́a de grafos.
También introdujo gran parte de la moderna terminologı́a y notación matemática, particularmente para el
área del análisis matemático, como por ejemplo la noción de función matemática. Asimismo se le conoce por
sus trabajos en los campos de la mecánica, óptica, astronomı́a y teorı́a de grupos.
2
Las aportaciones de Gauss en todos los campos de la Matemática son inestimables: Teorı́a de números,
Astronomı́a, Magnetismo, Geometrı́a, Análisis. Cualquier gran descubrimiento matemático a lo largo de este
siglo encuentra detrás la alargada sombra de Gauss.
3
La mayor aportación fue la prueba de la imposibilidad de resolución algebraica de la ecuación de grado cinco
mediante radicales. Impulsó luego el desarrollo de la teorı́a de integrales elı́pticas estudiando sus funciones
inversas. Su contribución fue además decisiva en la fundamentación del análisis con el uso del rigor, dando
precisión al contexto de series infinitas.
1.1 La teorı́a de grupos 9

Podemos expresar en un diagrama como se desarrolló la teorı́a de grupos; de la siguiente

forma

El origen de la idea de grupo se encuentra en un número variado de disciplinas, la principal

es la teorı́a de la resolución de ecuaciones algebraicas por radicales. De hecho, el primer
grupo explı́citamente estudiado como tal en la literatura matemática fueron los grupos de
permutación de las raı́ces de una ecuación polinómica y a esto se le conoce hoy en dı́a como
la teorı́a de Galois.
10 Sinopsis Histórica

A Walter Von Dick4 (1856-1934) se le debe la moderna definición de grupos, dada en el

año 1882, que consta exclusivamente de cuatro operaciones que se ejecutan en un conjunto
en el cual se define una relación binaria, la cual es asociativa, tiene elemento identidad y
cada elemento del conjunto posee inverso.
Con respecto a la relación binaria o ley de composición interna, comenta Nicolas Bourba-
ki5 [11] que: Pocas nociones pueden ser consideradas como más primitivas en matemáticas,
que la ley de composición: parece ser inseparable de los primeros rudimentos del cálculo con
los enteros naturales y las magnitudes mensurables.
Es importante tomar en cuenta que las cuatro principales areas matemáticas que van a
dar lugar a la teorı́a de grupos son:

1. Álgebra.

2. Geometrı́a.

3. Teorı́a de números.

4. Análisis.

Observemos cada una de estas categorı́as por separados, para ver el aporte que realizaron
al desarrollo de la teorı́a de grupos:

1. ÁLGEBRA
Uno de los mayores problemas en el area del álgebra en el siglo XVIII se presentaba en
la teorı́a de ecuaciones algebraicas, con respecto a la resolución de ecuaciones algebraicas
de cualquier grado y es Joseph Louis Lagrange (1736-1813) unos de los personajes que
comienza el trabajo en esta area, con el principal objetivo de averiguar por qué las ecuaciones
4
Von Dyck hizo importantes contribuciones a la teorı́a de grupos y la topologı́a.
5
Nicolas Bourbaki es el nombre colectivo de un grupo de matemáticos franceses que se propusieron revisar
los fundamentos de las matemáticas. Fundado en 1935, inició la publicación de sus monumentales Elementos
de matemáticas de acuerdo con el nuevo canon de rigor y el método axiomático, pretendiendo cubrir las
bases de todas las matemáticas. Hasta el 2006 habı́an redactado los volúmenes de Teorı́a de conjuntos,
Álgebra, Topologı́a general, Funciones de una variable real, Espacios vectoriales topológicos, Integración,
Álgebra conmutativa, Variedades diferenciables y analı́ticas, Grupos y álgebras de Lie y Teorı́as espectrales.
1.1 La teorı́a de grupos 11

de tercer y cuarto grado podı́an resolverse algebraicamente; y aunque este no terminó de

resolver el problema de la solubilidad de las ecuaciones algebraicas, es él quién principalmente
realiza una asociación entre la solución de una ecuación polinómica y las permutaciones de
la raı́ces de esta ecuación. De hecho, las permutaciones fueron estudiadas por Lagrange6
en su articulo de 1770, Reflections on the solution of algebraic equations. Aunque Lagrange
habló de permutaciones sin tener en cuenta la relación binaria, se puede decir que la idea
del concepto de grupo como grupo de permutación se encuentra presente en su trabajo.

El otro conjunto de trabajos que da lugar a la noción de grupo, introduciéndola de forma

definitiva en las matemáticas, se debe a Paolo Ruffini7 (1765-1822), quién desarrollando las
ideas de Lagrange, Gauss y Alexandre Vandermonde8 (1735-1796), da la primera definición
referente a los grupos de permutación finito: transitividad, primitividad, elemento neutro,
elementos permutables, entre otras.

Podemos afirmar que el enfoque de los grupos de permutación como herramienta para
la resolución del problema de la solubilidad de las ecuaciones algebraicas es debido, funda-
mentalmente, a otro personaje dio aportes invaluables, el cual es Augustin Louis Cauchy9
(1789-1857), éste desempeño un papel importante en el desarrollo de la teorı́a de grupos de
permutación; su primer articulo sobre el tema se publica en 1815 y esta etapa de Cauchy
esta motivada principalmente a las permutaciones de las raı́ces de las ecuaciones algebraicas.
Sin embargo, es en 1844 que Cauchy da una aportación de gran relevancia en esta area: se
introduce la noción de potencia de permutaciones, positivas y negativas (con la potencia 0
como elemento identidad), define también el orden de una permutación, entre otras.

6
Lagrange fue un prominente matemático, fı́sico y astrónomo. Demostró el teorema del valor medio y
desarrolló la mecánica Lagrangiana.
7
Matemático, médico y filósofo italiano. Fue rector de la Universidad de Módena. Investigó sobre la teorı́a
de las ecuaciones algebraicas y sobre el cálculo de probabilidades. Destaca entre sus obras la teorı́a general
de las ecuaciones.
8
Matemático francés. Sus trabajos se basaron principalmente sobre los determinantes y sobre la teorı́a de
los grupos. Indicó la posibilidad de obtener las raı́ces de la ecuación xn − 1 = 0 para todo n primo. También
se ocupó de temas de mecánica y de metalurgia.
9
Cauchy fue pionero en el análisis matemático y la teorı́a de grupos de permutaciones. También investigó la
convergencia y la divergencia de las series infinitas, ecuaciones diferenciales, determinantes, probabilidad y
fı́sica matemática.
12 Sinopsis Histórica

Niels Henrik Abel (1802-1829) en el año 1824 demuestra que no hay ninguna fórmula
para hallar los ceros de todos los polinomios generales de grados n ≥ 5 en términos de sus
coeficientes.
Es Évariste Galois10 (1811-1832) quién es considerado como el iniciador de la teorı́a de
grupos. Galois en 1831 reduce el estudio de las ecuaciones algebraicas al de los grupos de
permutación que les asocia. Profundiza considerablemente en las propiedades generales de
los grupos y es en 1832 quién da la primera noción de los grupos invariantes (hoy conocidos
como subgrupos normales). El trabajo de Galois no se conoció hasta el año 1846, cuando
Joseph Liouville11 (1809-1882) revisó sus manuscritos y los hizo públicos. Este manuscrito
fue publicado en octubre de 1846 en el Journal des mathématiques pures et appliquées.

2. GEOMETRÍA
La geometrı́a es una de las areas más antiguas de la matemática y se ha estudiado por
mucho tiempo, por eso es relativamente importante preguntarse: ¿Cuál es el aporte de esta
a la teorı́a de grupos?.
August Möbius12 (1790-1868) en el año 1827, comienza a clasificar las geometrı́as usando
el hecho de que estas cumplı́an con ciertas propiedades invariantes bajo un grupo particular
(aunque Möbius desconocı́a la noción de grupo).
Jakob Steiner (1796-1863) un matemático suizo, quién en los año de 1832 estudio la
geometrı́a, pero en el campo sintético (geometrı́a sintética), eventualmente estos estudios
formaron parte de los grupos de transformación.
En 1872, Felix Klein13 presenta un proyecto en el cual propone la clasificación de la
10
Mientras aún era un adolescente, fue capaz de determinar la condición necesaria y suficiente para que un
polinomio sea resuelto por radicales, dando una solución a un problema que habı́a permanecido insoluble
por mucho tiempo. Su trabajo ofreció las bases fundamentales para la teorı́a que lleva su nombre: la teorı́a
de Galois. Fue el primero en utilizar el término grupo en un contexto matemático.
11
Liouville es mejor conocido por su trabajo sobre la existencia de un número trascendental en 1844 cuando
construyó una clase infinita de tales números.
12
Matemático y astrónomo alemán. Ayudante de Gauss. Está considerado como el pionero de la topologı́a, ya
que en sus trabajos matemáticos anticipó muchos conceptos de la moderna geometrı́a proyectiva, en especial
la algebraica. Describió una superficie de una sola cara, conocida como cinta de Möbius.
13
Matemático alemán. Entre 1869 y 1870 cooperó estrechamente con su colega noruego Sophus Lie, colabo-
1.1 La teorı́a de grupos 13

geometrı́a como el estudio de invariantes dentro de varios grupos de transformación, una

clasificación teórica de la geometrı́a. Este proyecto se conoció como ”Programa Erlange”.
Claro está que en esta clasificación juega un papel fundamental el concepto de grupo, ya que
cada geometrı́a se convierte en el estudio del grupo de transformación al que se le asocia.
Aquı́ aparecen los grupos:

Grupos proyectivos.

Grupos hiperbólicos.

Grupos elı́pticos, entre otros.

3. TEORÍA DE NÚMEROS
Ahora centraremos nuestra atención en el aporte que tuvo la teorı́a de números en el área
de los grupos y presentar los personajes principales que dieron aportes fundamentales para
el estudio de la teorı́a de grupos.
Fue Leonhard Euler (1707-1783) quién en 1761 realiza un estudio de la aritmética modu-
lar. En particular, esté estudia los residuos de las potencias de un número módulo n. Aunque
los trabajos de Euler, no se sustentan concretamente en términos de la teorı́a de grupos, él
hace un ejemplo de la descomposición de un grupo abeliano finito en las clases laterales de
un subgrupo. También resulta curioso de este ejemplo que el orden de un subgrupo divida al
orden del grupo en cuestión. Entonces se puede asegurar que muchos de los conceptos dados
por Euler pavimentaron el camino al matemático Carl Friedrich Gauss a quién le debemos
una primera extensión de la noción de la ley de composición (o relación binaria) y muchos
otros conceptos de esta teorı́a.
En 1801, Gauss14 publica Disquisitiones Arithmeticae, un trabajo fundamental en la
teorı́a de los números y podrı́amos afirmar que es donde se inicializa la teorı́a de los grupos
abelianos finitos, de hecho, es Gauss quién establece las propiedades de estos grupos (aunque

ración de la cual se derivó el trabajo de este último sobre los denominados grupos continuos, trabajo que
Klein incorporarı́a posteriormente en su propia obra.
14
Gauss fue un matemático, astrónomo y fı́sico alemán que contribuyó significativamente en la teorı́a de
números, el análisis matemático, la geometrı́a diferencial, la geodesia, el magnetismo y la óptica, entre otras.
14 Sinopsis Histórica

sin usar la terminologı́a que hoy conocemos). Él examina el orden de los elementos de un gru-
po y prueba que existe un subgrupo por cada número que divide al orden de un grupo cı́clico.

4. ANÁLISIS
En 1874, el gran matemático noruego Sophus Lie15 (1842-1899) da su mayor contribución
a esta area con la teorı́a de los grupos de transformaciones continuas, lo que hoy en dı́a se
conoce como la teorı́a de grupos de Lie. También trabaja con los grupos infinitos.
Enrico Betti16 (1823-1892) en el año 1851 publica sus trabajos sobre la teorı́a de las
permutaciones y la teorı́a de las ecuaciones. De hecho, es Betti el primero que demuestra que
el grupo de Galois asociado con una ecuación, es un grupo de permutación (en el sentido
moderno).
Es debido a Joseph Serret17 (1819-1885) que se difunden las obras de Galois, aun sin
notar la importancia del concepto de grupo.
Camille Jordan (1838-1922) en el tratado de las sustituciones perfecciona mucho el tra-
bajo de sus predecesores sobre las propiedades particulares de los grupos de permutaciones;
obteniendo ası́ una serie de resultados de gran relevancia en la teorı́a de los grupos. Estudia
igualmente a fondo algunos grupos particulares muy importantes, como lo son los grupos
cocientes, los grupos lineales y los subgrupos. También se le atribuye el primer estudio de
los grupos infinitos, ası́ como también define el isomorfismo de los grupos de permutación.
Es indudable la gran aportación de Cauchy en el area de las permutaciones.
Sin embargo, comenta Nicolas Bourbaki en elementos de historia de las matemáticas
que: aun incluso los trabajos sobre los grupos abstractos finitos siguen siendo considerados
durante mucho tiempo como estudios de grupos de permutaciones, y la teorı́a autónoma de
los grupos finitos no comienza a desarrollarse concientemente hasta más o menos 1880.

15
Lie realizó importantes avances en la teorı́a de grupos de transformaciones continuas con un trabajo titulado
On a Class of Geometric Transformations y también aportó contribuciones fundamentales en las ecuaciones
diferenciales.
16
Betti es un matemático italiano conocido por sus contribuciones al álgebra y la topologı́a. Betti también
hizo un trabajo importante en la fı́sica teórica, en particular en la teorı́a del potencial y la elasticidad.
17
Serret matemático francés que desarrolló junto a Jean Frenet la teorı́a de curvas. También trabajó algunos
aspectos de la teorı́a de números, el cálculo y la mecánica.
1.2 La teorı́a de anillos 15

Es debido a Walter Von Dick (1856-1934), como ya se menciono, quién en los años de
1882, da la definición moderna de grupo en el articulo Group-Theoretic studies. Incluye en
este la definición de los grupos finitos e infinitos.
Otro matemático alemán Otto Hölder18 (1859-1937) quién introduce el concepto de
automorfismo en forma general y también estudia los grupos simples.
También le debemos a Peter Sylow (1832-1918) y a Lie una edición completa del trabajo
realizado por Abel. Pero Sylow es más conocido por un artı́culo publicado en el año de 1872
que lleva por nombre: Théorèmes sur les groupes de substitutions, en la cual aparecen los
tres teoremas de Sylow, los cuales son unos resultados bastante profundos en la teorı́a de
grupos finitos.
Finalmente, vemos que la teorı́a de grupos, a pesar de ser una rama de la matemática
bastante moderna (con relación a otras areas de mayor antigüedad), ha avanzado en diferentes
campos de la matemática, entre los cuales podemos nombrar:

Teorı́a de grupos finitos.

Teorı́a de grupos combinatoria.

Teorı́a de grupos abelianos infinitos.

Teorı́a de grupos topológicos.

Grupos algebraicos, y más.

1.2. La teorı́a de anillos

En esta sección nuestro objetivo es investigar el origen y cuales fueron los motivos que
indujeron a los matemáticos de la época para introducir la definición abstracta de anillo.
Anteriormente estudiamos las razones y los personajes matemáticos que intervinieron para
fundamentar los grupos como teorı́a. Aquı́ se pretende, de igual forma, encontrar los proble-
mas que en busca de sus soluciones abren paso a la teorı́a de anillos.
18
Hölder trabajó en la convergencia de las series de Fourier y en 1884 descubrió la desigualdad que ahora
lleva su nombre. Se interesó en la teorı́a de grupos a través de Leopold Kronecker (1823-1891) y Felix Klein.
16 Sinopsis Histórica

Es importante destacar que la teorı́a de anillos fue estudiada en dos aspectos diferentes;
tales como la teorı́a de los anillos conmutativos y la teorı́a de los anillos no conmutativos;
esto se realizó hasta el año 1930 y es a partir de esa fecha que llega la innovación en esta
teorı́a.
Claro está, que la teorı́a de anillos conmutativos se desarrolla más rápidamente al comien-
zo debido a la generalización de la aritmética de enteros en el cuerpos de los anillos. Esta
principalmente tiene su inicio en la teorı́a algebraica de los números, la geometrı́a algebraica
y la teorı́a de invariantes.

TEORÍA DE ANILLOS CONMUTATIVOS

1.Teorı́a algebraica de números

Carl Gauss y Adrien-Marie Legendre19 (1752-1833) investigaron las congruencias de los
enteros (Gauss 1801), sin embargo, la motivación para la generalización de la aritmética
procedı́an, en su gran mayorı́a, de los intentos para demostrar el último teorema de Fermat
(el nombre se debe a que este teorema fue conjeturado por Pierre de Fermat (1601-1665)
en el año de 1637) y estos intentos estimularon considerablemente el desarrollo de la teorı́a
algebraica de los números en el siglo XIX). En 1830, Legendre da una demostración del
último teorema de Fermat para n = 5, casi simultáneamente con Peter Dirichlet20 (1805-
1859), quién publico un articulo relacionado con la prueba de este problema en el año de
1825. El último teorema de Fermat se enuncia del siguiente modo:
19
Matemático francés. En sus primeros trabajos, centrados en la mecánica, introdujo conceptos como la
función que lleva su nombre o la primera demostración del método de los mı́nimos cuadrados. Tras los pasos
de Euler y Lagrange, estudió las funciones elı́pticas y las redujo a tres formas básicas. Fue el primero en
dedicar una obra estrictamente a la teorı́a de números, ámbito en el que obtuvo resultados fundamentales
como la demostración en 1830 de la ley de la reciprocidad cuadrática. En 1794 publicó los Elementos de
geometrı́a, una versión reordenada y simplificada de la obra original de Euclides, que fue traducida a más
de treinta idiomas.
20
Dirichlet, al que se le atribuye la definición formal moderna de una función. Sus aportaciones más relevantes
se centraron en el campo de la teorı́a de números, prestando especial atención al estudio de las series, y
desarrolló la teorı́a de las series de Fourier. En el campo del análisis matemático perfeccionó la definición y
concepto de función.
1.2 La teorı́a de anillos 17

Teorema 1.1 (El último teorema de Fermat)

La ecuación
xn + y n = z n

cuando n > 2; no tiene soluciones enteras x, y, z.

Es en el año de 1995 cuando el matemático británico Andrew John Wiles (1953- ) pre-
senta una demostración de este teorema, en un articulo publicado en Annals of mathematics,
bajo el titulo de Modular elliptic curves and Fermat Last theorem, volumen 3, no 141. La
demostración de este teorema la culmina con la ayuda de su ex-doctorando Richard Taylor.

Se puede considerar como invaluable el aporte obtenido por las matemáticas debido a la
búsqueda de la solución de este problema.
Veamos que el intento por demostrar este teorema dio lugar a las pruebas en los siguientes
casos especiales:

n = 3, Leonhard Euler en el año de 1753.

n = 4, Pierre de Fermat aproximadamente en los años de 1640.

18 Sinopsis Histórica

n = 5, Legendre y Dirichlet en el año de 1825.

n = 14, Peter Dirichlet en el año de 1832.

n = 7, Gabriel Lamé21 (1795-1870) en el año de 1839.

Para cualquier n > 2, Andrew Wiles en el año de 1995.

Hasta este momento hemos trabajado con la teorı́a algebraica de los números, y es Richard
Dedekind22 (1831-1916) quién introduce el concepto fundamental de ideal, ideal primo. Es
también Dedekind quién introduce la palabra módulo en 1871, aunque la definición sugerida
por él es bastante distinta a como se conoce hoy en dı́a.
También debemos a Dedekind la definición de los dominios de integridad de un cuerpo
de números algebraicos. El concepto de anillo como tal se lo debemos a Dedekind, pero la
palabra anillo se debe a David Hilbert23 (1862-1943). El término utilizado por Dedekind fue
order o order-modul y este término lo ideo Kronecker.
También Dedekind introdujo la noción de cuerpo, como un anillo conmutativo en el cual
cada elemento distinto de cero tiene un inverso multiplicativo.
Como se ha venido trabajando con los conjuntos de números, entonces también de él se
generalizan algunos resultados trascendentales; como lo es la descomposición de un número
entero en el producto de potencias de los números primos tiene un análogo en los anillos, en
el cual se sustituye el entero por un ideal primo, pero aquı́ se presenta el leve problema; y
21
Entre sus aportaciones destacan la introducción de las cuádricas homofocales en geometrı́a y el desarrollo de
una teorı́a matemática aplicada a la elasticidad. Fue muy conocido por su Teorı́a general de las coordenadas
curvilı́neas y su estudio de curvas de tipo elipsoidal, hoy conocidas como curvas de Lamé.
22
En 1858 dá su célebre definición de los reales mediante cortaduras. En el año de 1871, publica la segunda
edición de las Vorlesungen de Dirichlet, y dentro de ella un apéndice sobre la teorı́a de los números enteros
algebraicos. Se ha llegado a decir que este trabajo dio forma a la teorı́a de números moderna. Aparecı́an
aquı́ diversas estructuras algebraicas, estudiadas empleando homomorfismos, isomorfismos, clases de equi-
valencia: las estructuras de cuerpo, anillo (sin este nombre), módulo, ideal, siempre dentro del contexto
particular de los números complejos.
23
Hilbert inventó o desarrolló un gran abanico de ideas, como la teorı́a de invariantes, la axiomatización de
la geometrı́a y la noción de espacio de Hilbert, uno de los fundamentos del análisis funcional. Hilbert y sus
estudiantes proporcionaron partes significativas de la infraestructura matemática necesaria para la mecánica
cuántica y la relatividad general.
1.2 La teorı́a de anillos 19

es que la potencia de los números enteros primos no se pueden sustituir por las potencias de
los ideales primos.
Entonces aquı́ juega un papel fundamental el concepto de ideales primarios el cual lo
introduce Emanuel Lasker24 (1868-1941). Lasker fue quién demostró la existencia de una
descomposición de un ideal en ideales primarios. Pero la unicidad de esta descomposición no
se demuestra hasta el año de 1915 y es debido a Francis Sowerby Macaulay (1862-1937).
El tratamiento axiomático de la teorı́a de anillos conmutativos no se desarrolló hasta
1920, con los trabajos de Emmy Noether25 (1882-1935) y Wolfgang Krull26 (1899-1971);
cabe destacar que los trabajos de Noether no se conocieron hasta el año de 1930, cuando
el matemático Van der Waerden (1903-1996) en su trabajo Modern Algebra, publicado en
1930-1931, da a conocer muchos de los resultados de Emmy Noether.
2.Geometrı́a algebraica
La geometrı́a algebraica es el estudio de curvas algebraicas y sus generalizaciones a n-
dimensiones, en esta se combina el álgebra abstracta (especialmente el álgebra conmutativa)
con la geometrı́a. Se ha venido desarrollando con la colaboración de muchos matemáticos,
entre ellos, podemos nombrar a Bernhard Riemann27 (1826-1866), Paul Albert Gordan28
(1837-1912), Brill y especialmente por Max Noether (1844-1921).
Con los trabajos de 1870 de Max Noether se introduce el estudio de los anillos de poli-
nomios en la geometrı́a algebraica. Importantes avances se realizan debido a David Hilbert,
Lasker y Macaulay. Los ideales en anillos de polinomios empezaron a tomar su importancia
24
Lasker fue un ajedrecista, matemático y filósofo alemán, campeón mundial de ajedrez entre 1894 y 1921.
Lasker es recordado como un contribuyente temprano al álgebra abstracta. En particular, probó un teorema
(teorema de Lasker-Noether ) sobre la descomposición de ideales en ideales primarios, esta es una generali-
zación de la descomposición de enteros en factores primos.
25
Los trabajos de Emmy en esta area en sus tiempos fue llamado la teorı́a general de ideales. Pero sin duda,
el concepto más importante es el de la condición de cadena ascendente (CCA) para ideales.
26
Krull, alumno de Noether que estuvo el año académico 1921-1922.
27
Riemann, realizó contribuciones muy importantes en análisis y geometrı́a diferencial. Su nombre está co-
nectado con la función zeta, la integral de Riemann, el lema de Riemann, las variedades de Riemann, las
superficies de Riemann y la geometrı́a de Riemann. En 1859 formuló por primera vez la hipótesis de Riemann
el cual es uno de los más famosos e importantes problemas sin resolver de las matemáticas.
28
Gordan también trabajó en la teorı́a de invariantes. Ofrece una prueba simplificada de la trascendencia de
e y π.
20 Sinopsis Histórica

en esta area.

TEORÍA DE ANILLOS NO CONMUTATIVOS

Anteriormente se trató el estudio de los anillos conmutativos y puede notarse la gran

influencia que tuvo el estudio de los números enteros en la evolución de esta area. Ahora,
serı́a muy importante preguntarse: ¿Qué materia en especial influyo en el estudio y desarrollo
de la teorı́a de anillos no conmutativos?
Observamos que la teorı́a de anillos no conmutativos tiene su origen en los cuaterniones
(concepto ideado por William Rowan Hamilton (1805-1865)), introducidos en el año 1843.
Estos son números de la forma a + bi + cj + dk (en donde a, b, c, d ∈ R) en el cual la
multiplicación usual de estos elementos debe cumplir con las siguientes condiciones:

i2 = j 2 = k 2 = ijk = −1

Este es el primer ejemplo de una estructura algebraica no conmutativa.

El matemático británico Arthur Cayley29 (1821-1895) es quién introduce la noción de
matrices, junto con sus leyes de adición y multiplicación; además es Benjamin Peirce30 (1809-
1880) quién observa que este conjunto cumple con los axiomas de anillos.
El mayor contribuyente en el comienzo del estudio de los anillos no conmutativos es
Joseph Henry Maclagen Wedderburn (1882-1948) (también influyo considerablemente en la
teorı́a de anillos, en general, álgebras y matrices); en el año de 1905 demostró que todo anillo
de división finito es conmutativo y además es un cuerpo.
Alrededor del año 1930, la teorı́a de anillos conmutativos y la teorı́a de anillos no conmu-
tativos se estudian de forma unificada y las ideas de una teorı́a empiezan a ejercer influencia
en la otra.
En las primeras décadas del siglo XX es donde comienza el desarrollo de la teorı́a de
29
Cayley, uno de los matemáticos más prolı́ficos de la historia, publicó a lo largo de su vida más de novecientos
artı́culos cientı́ficos. Entre 1854 y 1878 escribió diversos artı́culos en los que desarrolló por vez primera la
teorı́a de los invariantes.
30
Los trabajos de Hamilton sobre los cuaterniones y su empleo de las matrices le llevaron al estudio de los
sistemas de álgebras múltiples; en su obra Linear Associative Algebra (1870).
1.2 La teorı́a de anillos 21

anillos; tanto conmutativos como no conmutativos, y sus raı́ces se ubican en la teorı́a al-
gebraica de los números y la geometrı́a algebraica, entre otras (como ya lo mencionamos
anteriormente).
La primera definición abstracta de anillos se la debemos a Adolf Fraenkel (1891-1965), las
cuales fueron sus primeras investigaciones matemáticas (sin embargo, es más conocido hoy en
dı́a por sus trabajos en la teorı́a de conjuntos) y las publico en el año de 1914 en su trabajo
titulado On zero divisors and the decomposition of rings. La definición de Fraenkel toma
en consideración tanto los anillos conmutativos como los no conmutativos y como ejemplo
incluyó: los enteros módulos n, enteros p−ádicos, entre otros. Pero su trabajo no se basaba
en las teorı́as ya establecidas hasta ese momento sobre la teorı́a de anillos como tal.
La idea principal de Fraenkel con la publicación de este artı́culo era extender justamente
el trabajo de Ernst Steinitz31 (1871-1928) (realizado en el año de 1910 el cual lleva por tı́tulo
Algebraische Theorie der Körper (Teorı́a algebraica de cuerpos)), pero en este caso llevarlo a
la teorı́a de anillos conmutativos y no conmutativos; es preciso acotar que él no tuvo éxito en
la empresa que acometió, sin embargo surgieron algunas ideas importantes de ese proyecto.
Entre las principales ideas que introdujo estan la de los divisores de cero y los elementos
regulares. Es aquı́ donde aparecen las propiedades elementales de los anillos; tales como

a·0=0

a(−b) = (−a)b = −(ab)

Luego, en 1917 Masazo Sono publica su trabajo On congruences en donde expone nocio-
nes, tales como: anillos cocientes, ideales maximales y minimales, teoremas de isomorfismos,
entre otros conceptos.
A pesar de que ya se trataban conceptos muy importantes, como por ejemplo: la definición
de anillos, anillos de polinomios, anillos de enteros algebraicos. Es a partir de 1920 que
empieza a tomar fuerza la teorı́a, cuando Emmy Noether y Emil Artin32 (1898-1962), dos
importantes algebristas del siglo XX, empiezan a trabajar en esta area.
31
A Steinitz se debe la construcción habitual de los números racionales como clases de equivalencia. También
definió conceptos importantes como cuerpo primo, cuerpo perfecto y grado de la extensión de un cuerpo.
32
Artin trabajó en la teorı́a de números. Contribuyó a la teorı́a algebraica de los anillos asociativos, los
números hipercomplejos y en 1955 al análisis de los grupos simples finitos.
22 Sinopsis Histórica

Mientras que con Fraenkel y Sono se comienza el desarrollo del concepto de anillo en
forma abstracta, podemos apreciar que con Emmy Noether y Artin los conceptos de anillos
empiezan a tener relevancia en las matemáticas.

1.3. La teorı́a de cuerpos

El álgebra clásica habı́a alcanzado su culminación con los trabajos de Heinrich Martin
Weber33 (1842-1913) y David Hilbert. Por otra parte, muchos puntos de partida e ideas para
futuros desarrollos eran reconocidos ya hacia hacia finales de siglo. Como lo hemos reseñado
anteriormente, los rasgos fundamentales del proceso subsiguiente fueron la orientación hacia
lo abstracto.
En esta búsqueda de fundamentar axiomáticamente las estructuras que se presentaban en
el camino de las investigaciones; tanto en la teorı́a algebraica de números, teorı́a de Galois,
geometrı́a algebraica; nos encontramos con otra estructura algebraica de gran relevancia para
el álgebra abstracta, y esta es la de cuerpo.
La definición de cuerpo aparece en el año de 1893 en un trabajo publicado por Weber titu-
lado General foundations of Galois theory of equations. También Weber prueba importantes
teoremas sobre cuerpos.
El mayor avance en esta area en esos tiempos la realiza Ernst Steinitz (1871-1928), un ma-
temático alemán, quién en 1910 publica su influyente trabajo Teorı́a algebraica de cuerpos,
antes citado, donde estudió axiomáticamente las propiedades de los cuerpos y definió con-
ceptos importantes para esta teorı́a. Comenta en este documento que: obtener un compendio
de todos los tipos de cuerpos posibles para comprobar las relaciones entre ellos en sus rasgos
básicos puede valer como programa de este trabajo.
Para él, y a diferencia de Weber, el concepto de cuerpo se encontraba en el núcleo central
de su investigación. Steinitz definió, en relación con ello, numerosos e importantes conceptos
de la teorı́a de cuerpos, por ejemplo: extensión de cuerpos, cuerpo primo, extensión equiva-
33
Weber centró sus trabajos en el campo del análisis matemático y, particularmente, en la teorı́a de ecuaciones
diferenciales y su aplicación a la fı́sica matemática. Llevó a cabo una formulación abstracta de la teorı́a de
Galois.
1.4 La teorı́a de módulos 23

lente, extensión simple, entre otros. En resumen de cuentas, la obra de Steinitz representa
la primera publicación que se acoge, en gran parte, al estilo del álgebra moderna.
Podemos ver que esta estructura algebraica es de gran importancia hoy en dı́a en el
álgebra abstracta, y influye en muchas areas de gran relevancia en las matemáticas, tales
como:

Teorı́a clásica de cuerpos.

Esta teorı́a relaciona la aritmética de un cuerpo de números con sus extensiones de
Galois. Los principales partı́cipes de su inicio y desarrollo son: Kronecker, H. Weber,
D. Hilbert, T. Takagi, E. Artin, H. Hasse, C. Chevalley y J. Tate, entre otros.

Teorı́a de Galois.
La búsqueda de fórmulas que permitan hallar las raı́ces de los polinomios fue un pro-
blema central del álgebra durante siglos. Scipione del Ferro (1465- 1526), Tartaglia
(1499-1557), Cardano (1501-1576) mostraron cómo resolver ecuaciones de tercer gra-
do, y Ferrari (1522-1565) encontró un método para calcular las raı́ces de la ecuaciones
de cuarto grado. Galois fue el primero en investigar la estructura de los cuerpos y de
los grupos, y mostró que existe una fuerte conexión entre estas dos estructuras. Para
determinar si una ecuación algebraica se puede resolver por radicales hay que analizar
la estructura del grupo de Galois asociado a dicha ecuación. De hecho, se puede ase-
gurar que la teorı́a de Galois es una colección de resultados que conectan la teorı́a de
cuerpos con la teorı́a de grupos.

Teorı́a de cuerpos finitos, entre otras.

1.4. La teorı́a de módulos

Anteriormente presentamos personajes como Emmy Noether, Artin y los algebristas co-
mo Helmut Hasse (1898-1979), Wolfgang Krull34 (1899-1971), Otto Schreier35 (1901-1929) y
Van der Waerden, entre otros; quienes en definitiva impusieron una forma diferente de ver
34
Krull fue un matemático alemán, que trabajó en el campo del álgebra conmutativa.
35
Schreier trabajó en la teorı́a de grupos combinatoria, en particular en los subgrupos de grupos libres.
24 Sinopsis Histórica

el álgebra, como estructura algebraica. Esencialmente, su interés se centró en el descubri-

miento de conceptos abstractos que fueran comunes a cada una de las teorı́as algebraicas en
particular.
En este estudio detallado de las estructuras algebraicas surge ası́ la posibilidad de sustituir
los cuerpos en la definición de espacio vectorial, y creando ası́ la noción general de módulo.
La noción abstracta de módulo como punto de partida en las investigaciones sobre ideales
condujo de manera natural a que fueran utilizadas construcciones del álgebra lineal como
cocientes y productos.
Emmy Noether también se interesa por descomposición en módulos. También define el
concepto actual de módulo (izquierda) sobre un anillo R (en principio no necesariamente
conmutativo).
Es importante destacar que con la distinción entre operaciones con módulos a la izquierdas
y módulos a la derecha, aparecen las estructuras no conmutativas como caso especial.
Además, Henri Cartan36 (1904-2008) en el año 1948 formuló conceptos del álgebra ho-
mológica al estudiar ciertos módulos especiales.
De este modo, se ha desarrollado en su forma abstracta y axiomática cuatro pilares del
álgebra moderna: la teorı́a de grupos, la teorı́a de anillos, la teorı́a de cuerpos y la teorı́a de
módulos.

36
Cartan es famoso por su trabajo en la teorı́a de haces, base de la moderna topologı́a algebraica. Fue
miembro fundador del grupo Bourbaki, del que fue uno de sus miembros más activos. Junto a Samuel
Eilenberg publicó Homological Algebra (1956).
Capı́tulo 2
Teorı́a de grupos

La teorı́a de grupos estudia las estructuras algebraicas conocida como grupos. Esta se
encarga básicamente de la clasificación de los grupos, sus propiedades y sus aplicaciones.
Es importante destacar que los grupos sirven como base para otras estructuras algebraicas,
tales como: los anillos, los cuerpos, los módulos y los espacios vectoriales.

2.1. Definiciones, teoremas básicos y ejemplos

Definición 2.1 Relación binaria
Sea E un conjunto no vacı́o. Una relación binaria en E es una función

∗ : E×E −→ E
: (a, b) 7−→ a ∗ b

para cada a, b ∈ E.

Una relación binaria asigna a cada par de elementos a, b de E un tercer elemento a ∗ b

de E. La notación generalmente utilizada es: a + b (notación aditiva), ab (notación multi-
plicativa), a ∗ b, a ◦ b, entre otras. Generalmente en este documento utilizaremos la notación
multiplicativa.

Definición 2.2 Grupoide

Un conjunto E con una relación binaria ∗ definida es llamado grupoide.
26 Teorı́a de grupos

Ejemplo 2.2.1
Sea E un conjunto y sea X = P(E) el conjunto de partes de E (que existe por el axioma
de partes), definimos la relación binaria como la unión de los elementos de X. Entonces
S T
(X, ) es un grupoide. También podemos considerar como grupoide a (X, ).

Definición 2.3 Asociatividad

Una relación binaria ∗ en un conjunto E es asociativa si

(a ∗ b) ∗ c = a ∗ (b ∗ c)

para cada a, b, c ∈ E.

Una relación binaria ∗ en un conjunto E que no satisfaga la asociatividad, se llama

no-asociativa. Es decir, que
(a ∗ b) ∗ c 6= a ∗ (b ∗ c)

para algunos a, b, c ∈ E. Podemos notar rápidamente que (Z, −) es no-asocitiva, puesto que
si tomamos a 5, 4, 3 ∈ Z, se puede observar que

(5 − 3) − 4 6= 5 − (3 − 4)

porque −2 6= 6.

Ejemplo 2.3.1
Podemos notar que los grupoides del ejemplo 2.2.1 son asociativos.

Definición 2.4 Semigrupo

Un semigrupo (o grupoide asociativo) es un conjunto S con una relación binaria ∗ aso-
ciativa.

Ejemplos 2.4.1
Sea N el conjuntos de los números naturales (es decir, N = {0, 1, . . .}), por tanto:
(i) (N, +) es un semigrupo.
(ii) (N, ·) es un semigrupo.
2.1 Definiciones, teoremas básicos y ejemplos 27

Ejemplos 2.4.2
Sea Z el conjuntos de los números enteros (Es decir, Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}),
entonces
(i) (Z, +) es un semigrupo.
(ii) (Z, ·) es un semigrupo.
(iii) (Z, −) no es un semigrupo. Debido a que la relación binaria − es no-asociativa.

Definición 2.5 Identidad

Sea E un semigrupo con una relación binaria ∗. Un elemento e ∈ E es llamado identidad
(o unitario) si
e∗a=a∗e=a

para cada a ∈ E.

Definición 2.6 Monoide

Sea M un conjunto, se dice que M es un monoide si este es un semigrupo con elemento
identidad.

Ejemplo 2.6.1
Sea Mn×n el conjunto de todas las matrices n × n, (n ∈ N ∧ n > 1) tales que [A]ij ∈ R.
Definimos la relación binaria + sobre Mn×n como:

[A + B]ij = [A]ij + [B]ij

en donde A, B ∈ Mn×n . Entonces, (Mn×n , +) es un monoide. En donde, la matriz nula

0n×n es el elemento identidad.

Ejemplo 2.6.2
Debemos observar que los ejemplos 2.4.1 (con elemento identidad 0 y 1, respectivamente)
y 2.4.2 (i, ii) son monoides.

Definición 2.7 Inverso

Un elemento a ∈ M , tiene elemento inverso (denotado como a−1 ) si

a · a−1 = a−1 · a = e

en donde e es el elemento identidad de M .

28 Teorı́a de grupos

Con esta serie de definiciones y ejemplos, podemos empezar a conceptualizar la idea de

una estructura que es de gran relevancia para el álgebra moderna. Veamos

Definición 2.8 Grupo

Un conjunto G es un grupo, si es un monoide en la cual cada elemento del monoide
tiene inverso. Denotaremos como (G, ∗) un grupo con una relación binaria ∗.

De lo anteriormente estudiado podemos decir que un grupo es un conjunto G con una

relación binaria ∗, tal que
(a, b) 7−→ a ∗ b : G × G −→ G

satisface las siguientes condiciones:

(i) (asociatividad) Para todo a, b, c ∈ G,

(a ∗ b) ∗ c = a ∗ (b ∗ c)

(ii) (Existencia del elemento identidad) Existe un elemento e ∈ G tal que

a∗e=e∗a=a

para todo a ∈ G.
(iii) (Existencia de inversos) Para cada a ∈ G, existe un a−1 ∈ G tal que

a ∗ a−1 = a−1 ∗ a = e.

Ejemplos 2.8.1
Unos de los ejemplos más comunes de esta estructura algebraica se obtiene al considerar
el conjunto de los números reales, observemos lo que sigue

(R, +) es un grupo.

(R\{0}, ·) es un grupo.

En (R, +) el elemento identidad es el 0 y si a ∈ R, su elemento inverso es (−a).

1
En (R\{0}, ·) el elemento identidad es 1 y el elemento inverso de a es a
= a−1 .
Antes de considerar el siguiente ejemplo que daremos de grupos, consideremos la siguiente
definición
2.1 Definiciones, teoremas básicos y ejemplos 29

Definición 2.9 Congruencia

Sea n ∈ N \ {0}. Decimos que a es congruente con b módulo n si y sólo si n|(a − b).
Denotaremos este hecho como a ≡ b(mod n).

Podemos observar que:

(i) a ≡ a(mod n) (pues a − a = 0 y n|0).
(ii) a ≡ b(mod n) ⇐⇒ b ≡ a(mod n) (pues n|(a − b) ⇐⇒ n|(b − a)).
(iii) a ≡ b(mod n) ∧ b ≡ c(mod n) =⇒ a ≡ c(mod n)
(pues n|(a − b) ∧ n|(b − c) =⇒ n|[(a − b) + (b − c)] =⇒ n|(a − c)).

Ejemplo 2.9.1
Si n ∈ N (n > 0) y a ∈ Z, definimos

a = {b ∈ Z : b ≡ a(mod n)}

Es fácil ver que a = {a + kn : k ∈ Z}. Y denotamos y definimos el conjunto de los enteros

módulos n por
Zn = {a : a ∈ Z}

Consideremos ahora ⊕ : Zn × Zn −→ Zn dada por : ⊕(a, b) = a + b (lo cual expresamos, por

razones de simplicidad notacional como a⊕b = a + b). Nótese que es necesario comprobar que
la operación ⊕ está bien definida (es decir, independientemente de los elementos escogidos
en a y b, se obtiene un único elemento a + b en Zn ).
Comprobemos lo anterior:

[a ≡ c(mod n) ∧ b ≡ d(mod n)] =⇒ [n|a − c ∧ n|b − d].

Ası́ n|[(a − c) + (b − d)], es decir: n|[(a + b) − (c + d)], o sea a + b ≡ c + d(mod n) y

a + b = c + d.

Fácilmente se comprueba que (Zn , ⊕) es un grupo.

Demostraremos a manera de ilustración la asociatividad:
Tenemos que para cualesquiera a, b ∈ Zn la asociatividad se cumple por lo siguiente
30 Teorı́a de grupos

a ⊕ (b ⊕ c) = a ⊕ (b + c) ? Por definición ⊕.
= a + (b + c) ? Idem.
= (a + b) + c ? Asociatividad en Z.
= (a + b) ⊕ c ? Por definición ⊕.
= (a ⊕ b) ⊕ c ? Idem.

El elemento identidad es el 0 y el elemento inverso de un elemento a ∈ Zn es −a.

Antes de continuar con algunos ejemplos más de grupos, evaluemos algunos resultados
que nos servirán de mucha ayuda en el transcurso de las notas. La demostración del siguiente
teorema es rutinaria y puede hallarse en [4] por tanto la omitiremos.

Teorema 2.10
Sea (G, ∗) es un grupo, entonces:

1. a ∗ a = a =⇒ a = e; para a ∈ G.

2. El elemento identidad (e ∈ G) es único.

3. Para cada a ∈ G, el elemento inverso a−1 es único.

4. Para todo a ∈ G, entonces (a−1 )−1 = a.

5. (a ∗ b)−1 = b−1 ∗ a−1 . Además se puede probar por inducción que:

(a1 ∗ a2 ∗ · · · ∗ an )−1 = a−1 −1 −1 −1

n ∗ an−1 ∗ · · · ∗ a2 ∗ a1

para cada a1 , a2 , . . . , an ∈ G.

6. La ley de cancelación:

a∗b = a∗c =⇒ b = c
b∗a = c∗a =⇒ b = c

7. Las ecuaciones a ∗ x = b; y ∗ a = b tienen solución única en G. De hecho, x = a−1 ∗ b;

y = b ∗ a−1 .
2.1 Definiciones, teoremas básicos y ejemplos 31

Definición 2.11 Orden de G

Sea (G, ∗) un grupo. El orden de G es el número de elementos de G. Lo denotaremos
como |G|.

En este punto podemos generalizar esta definición y plantearla de la siguiente manera; que
el orden de G es el único número cardinal correspondiente al conjunto G (para la definición
formal de número cardinal remitimos a [17]).
El orden del grupo G del ejemplo ?? es n. Con esto podemos empezar a caracterizar los
grupos, veamos como podemos hacerlo:

* Decimos que un grupo G es un grupo finito, si este tiene un número finito de elementos.

* En caso contrario, diremos que el grupo G es un grupo infinito.

Definición 2.12 Conmutatividad

Una relación binaria ∗ en un conjunto E es conmutativa si

a∗b=b∗a

para todo a, b ∈ E.

Definición 2.13 Grupo Conmutativo

Un conjunto G es un grupo conmutativo (o abeliano) si:

(G, ∗) es un grupo.

∗ es una relación binaria conmutativa.

Ejemplo 2.13.1
Sea X un conjunto no vacı́o y sea G el conjunto de todas las funciones biyectivas de X
en X. Si f, g ∈ G, definimos la relación binaria en G, como la composición de funciones f
y g como
(f ◦ g)(x) = f (g(x))

para todo x ∈ X. Por consiguiente,(G, ◦) es un grupo.

32 Teorı́a de grupos

Debemos ver que cumplen con las propiedades que definen a un grupo. Ası́ que, lo prin-
cipal es ver que es cerrado con respecto a la composición de funciones, y esto es cierto, f ◦ g
es biyectiva. Es fácil ver que la composición de funciones es asociativa y el elemento identi-
dad i(x) = x; además i(x) es biyectiva. El elemento inverso es la función inversa, la cual es
biyectiva.
Notemos que en general, G no es un grupo conmutativo. Es decir

(f ◦ g)(x) 6= (g ◦ f )(x)

Por ejemplo , si X = R y f (x) = x3 −1 y g(x) = x3 . (f ◦g)(x) = x9 −1 6= (x3 −1)3 = (g◦f )(x).

Además, (G, ◦) es un grupo de orden infinito.

2.2. Subgrupos: definiciones, teoremas y ejemplos

Definición 2.14 Subgrupo
Sea (G, ·) un grupo, decimos que S es un subgrupo de G si se cumple:
(i) S 6= ∅.
(ii) S ⊆ G.
(iii)(S, ·) es un grupo.
Lo denotaremos como S ≤ G.

Podemos observar que este subconjunto, en particular, posee información de gran rele-
vancia del conjunto G, pues este conserva la estructura del grupo G.

Ejemplos 2.14.1
Los subgrupos inmediatos de un grupo G son :{e} y el G. Estos se llaman subgrupos
impropios (o triviales). Cualquier otro subgrupo de G se llama subgrupo propio.

Ejemplo 2.14.2
El centralizador de a en G es el subconjunto

C(a) = {g ∈ G : ga = ag}

y este es un subgrupo de G. Es decir, C(a) ≤ G.

2.2 Subgrupos: definiciones, teoremas y ejemplos 33

Ejemplo 2.14.3
El centro de un grupo G es el subconjunto

Z(G) = {a ∈ G : ax = xa, ∀x ∈ G}

es un subgrupo de G.

Entonces tenemos que Z(G) es el conjunto de todos los g ∈ G, que conmutan con cada
elemento en G.
Veamos que Z(G) es un grupo con respecto a la relación binaria de G.
(i) Z(G) 6= ∅
Tenemos que e ∈ Z(G); puesto que
e · x = x · e; ∀x ∈ G.
(ii) Z(G) ⊆ G
Por la forma como definimos Z(G).
(iii) (Z(G), ·) es un grupo
1) Si a, b ∈ Z(G), entonces ab ∈ Z(G).
Si a, b ∈ Z(G), entonces

ax = xa; ∀x ∈ G
bx = xb; ∀x ∈ G

Como (G, ·) es un grupo, y a, b ∈ G, implica que tienen elemento inverso cada uno de
ellos, por tanto
x = bxb−1 ; ∀x ∈ G.
Ası́ que
ax = xa
a(bxb−1 ) = xa ? Puesto que x = bxb−1 .
(ab)x = x(ab) ? Por asociatividad, elemento identidad e inverso.
Por tanto, ab ∈ Z(G)
2) Asociatividad: es heredada de G.
3) Existencia del elemento identidad:
e·x = x·e = x; ∀x ∈ G; Existencia del elemento identidad en G. Entonces
por definición de Z(G) tenemos que
34 Teorı́a de grupos

e ∈ Z(G)
4) Existencia del elemento inverso
Si a ∈ Z(G); entonces ax = xa; ∀a ∈ G.
a−1 (ax) = a−1 (xa)
a−1 (ax)a−1 = a−1 (xa)a−1
(a−1 a)(xa−1 ) = (a−1 x)(aa−1 ) ? Por asociatividad
e(xa−1 ) = (a−1 x)e ? Existencia del inverso .
xa−1 = a−1 x ? Existencia del identidad.
entonces a−1 ∈ Z(G).
Es importante hacer notar que
\
Z(G) = C(a)
a∈G

Observemos la siguiente proposición que nos hará más fácil el trabajo a la hora de evaluar
cuando un subconjunto (S ⊆ G) es un subgrupo de un conjunto G.

Teorema 2.15
Si S es un subconjunto de un grupo G, entonces S es un subgrupo de G si y solo si S es
no vacı́o y si para todo a, b ∈ S implica que ab−1 ∈ S.

Demostración:
(=⇒)
Hipótesis: Tesis:
( i) (G, ·) un grupo. 1) S 6= ∅.
( ii) S ⊆ G. 2) ∀a, b ∈ S =⇒ ab−1 ∈ S.
(iii) S ≤ G.
Dem:
Veamos que S 6= ∅ y esto es un resultado inmediato de la hipótesis iii) y la definición
2.14).
Ahora tenemos que ver que para cada a, b ∈ S entonces ab−1 ∈ S y esto lo hacemos de
la siguiente forma:
Para todo b ∈ S entonces b−1 ∈ S, puesto que S es un grupo con respecto a la relación
binaria · (por la definición 2.14), ası́ que todo elemento tiene su inverso en S (por definición
1.8).
2.3 Homomorfismo, kernel e imagen de grupos 35

Por tanto, para todo a, b ∈ S entonces a, b−1 ∈ S (por lo antes comentado) luego ab−1 ∈ S,
debido a que S es un subgrupo de G(por hipótesis iii y definición 2.14).
¦
(=⇒)
Hipótesis: Tesis:
( i) S 6= ∅. S≤G
( ii) S ⊆ G.
(iii) ∀a, b ∈ S =⇒ ab−1 ∈ S.
Dem:
Tenemos que observar que se cumplen las condiciones de la definición de subgrupo (de-
finición 2.14). Vemos que S 6= ∅ por la hipótesis i), y S ⊆ G por la hipótesis ii).
(S, ·) es un grupo.
La asociatividad se hereda de G. La existencia del elemento identidad viene por lo anterior
comentado en esta misma prueba, dijimos que S 6= ∅, por consiguiente S contiene al menos
un elemento a. Por hipótesis iii) obtenemos que

∀a ∈ S =⇒ aa−1 ∈ S =⇒ e∈S

Para verificar la existencia del inverso se dice que para cada b ∈ S y como e ∈ S entonces
eb−1 ∈ S(por hipótesis iii), ası́ que b−1 ∈ S. Ahora debemos ver que para cada a, b ∈ S implica
que ab ∈ S y por el razonamiento anterior se dice que b−1 ∈ S, ası́ que a(b−1 )−1 = ab ∈ S
(notemos que por teorema 2.10 tenemos que (b−1 )−1 = b).
2

2.3. Homomorfismo, kernel e imagen de grupos

Definición 2.16 Homomorfismo de grupos
Sea (G, ∗) y (H, ·) ambos grupos, un homomorfismo de grupo es una función f : G → H
para la cual se cumple:
f (x ∗ y) = f (x) · f (y); ∀x, y ∈ G

Un monomorfismo de grupos es un homomorfismo inyectivo.

Un epimorfismo de grupos es homomorfismo sobreyectivo.
36 Teorı́a de grupos

Un isomorfismo de grupos es un homomorfismo biyectivo.

Un automorfismo de grupos es un isomorfismo de G sobre si mismo.

Ejemplo 2.16.1
Decimos que R+ es el conjunto de los números reales positivos. Entonces, (R+ \{0}, ·)
es un subgrupo de (R\{0}, ·) (del ejemplo 1.8.1); por lo tanto (R+ \{0}, ·) es un grupo con
respecto a la multiplicación usual de números reales.
Y además, (R, +) es un grupo (por ejemplo 2.8.1).

Entonces consideremos la siguiente función

f : R −→ R+ \{0}
x 7−→ ex

por consiguiente, f define un isomorfismo de (R, +) sobre (R+ \{0}, ·).

∗f es un homomorfismo.
∀x, y ∈ R =⇒ x + y ∈ R; (R, +) es un grupo (Por ejemplo 1.8.1).
Ası́ que
f (x + y) = ex+y ? Por definición de f .
= ex · ey
= f (x) · f (y) ? Por definición de f .
∗f es biyectiva
-f es inyectiva.
f (x) = f (y) =⇒ ex = ey
ex−y = e0

=⇒ x−y = 0
x = y
-f es sobreyectiva.
Si y ∈ R+ \{0} entonces existe un x ∈ R tal que y = f (x); para ser más explı́citos
x = ln(y).

Teorema 2.17
Sea (G, ·) y (H, ∗) ambos grupos y f : G −→ H un homomorfismo. Entonces:
2.3 Homomorfismo, kernel e imagen de grupos 37

( i) f (e) = e0 .
(ii) f (x−1 ) = (f (x))−1 .
Demostración
Parte i):
Sea x ∈ G; entonces xe ∈ G, ası́ que
f (x) = f (xe) ? Puesto que x = xe
= f (x) ∗ f (e) ?f es un homomorfismo.
f (x) ∗ e0 = f (x) ∗ f (e) ?e0 : elemento identidad de H.
⇓
e0 = f (e) ? Por teorema 2.10.
¦
Parte ii):
e0 = f (e) ? Por parte i).
= f (xx−1 ); ∀x ∈ G ?xx−1 = e; G es un grupo.
= f (x) ∗ f (x−1 ) ?f es un homomorfismo.
f (x) ∗ (f (x))−1 = f (x) ∗ f (x−1 ) ; ∀x ∈ G ? Porque H es un grupo.
⇓
(f (x))−1 = f (x−1 ) ? Por teorema 2.10.
2
Otros ejemplos muy importantes para el concepto de subgrupos son los siguientes, pero
primero veamos las siguientes definiciones:

Definición 2.18 Kernel o Núcleo

Sean G y H dos grupos y f : G → H un homomorfismo, entonces definimos el núcleo
de f como
K(f ) = {x ∈ G : f (x) = e0 }

en donde e0 ∈ H (e0 : es el elemento identidad de H).

Ejemplo 2.18.1
El núcleo K(f ) de f es un subgrupo de G. Es decir, K(f ) ≤ G.

Definición 2.19 Imagen

38 Teorı́a de grupos

Sea G y H dos grupos y f : G → H un homomorfismo, por tanto la imagen de f esta

definida como
Img(f ) = {y ∈ H : y = f (x), para algún x ∈ G}

Ejemplo 2.19.1
La imagen Img(f )de f es un subgrupo de H. Es decir, Img(f ) ≤ H.

Teorema 2.20
Un homomorfismo de grupo es inyectivo si y sólo si

K(f ) = {e}

Demostración
(=⇒)
Sean (G, ·), (H, ∗) ambos grupos. Y sea f : G → H un homomorfismo de grupos inyectivo.
Entonces debemos ver que K(f ) = {e}.
-f es inyectivo:
∀x, y ∈ G
f (x) = f (y) =⇒ x=y
Si e0 es el elemento identidad de H; f (e) = e0 (por teorema 2.17) y como f es inyectiva,
f (x) 6= e0 si x 6= e. Ası́ K(f ) = {e}.
¦
(⇐=)
Tenemos que ver si K(f ) = {e} entonces f es inyectivo.
f (x) = f (y) =⇒ f (x) ∗ (f (y))−1 = e0
f (x) ∗ f (y −1 ) = e0 ? Por teorema 2.17.
f (xy −1 ) = e0 ?f es un homomorfismo.
=⇒ xy −1 = e ? Por teorema 2.17.
x = y
2

Teorema 2.21
La intersección arbitraria de subgrupos de G, es un subgrupo de G.
2.3 Homomorfismo, kernel e imagen de grupos 39

Demostración
Sea {Si }i∈I una familia de subgrupos de G y
\
S= Si
i∈I

Veamos que S es un subgrupo de G.

Parte i): S 6= ∅
Como {Si }i∈I son subgrupos de G,
e ∈ Si ; para todo i ∈ I.
Por consiguiente
e ∈ S entonces S 6= ∅ .
Parte ii) :∀a, b ∈ S =⇒ ab−1 ∈ S
Para cada a, b ∈ S, implica que
(a ∈ Si ∧ b ∈ Si ); para cada i ∈ I
y como los Si son subgrupos de G, ab−1 ∈ Si (por teorema 2.15); para cada i ∈ I.
Por consiguiente ,

\
ab−1 ∈ Si
i∈I
Entonces, S es un subgrupo de G.
2
Considerando este último resultado, podemos realizar la siguiente definición:

Definición 2.22 Subgrupo generado por X

Sea (G, ·) un grupo, y además sea X ⊆ G, llamaremos subgrupo generado por X a
la intersección de todos los subgrupos de G que contienen a X. A este subgrupo lo vamos a
denotar como hXi. Es decir
\
hXi = {K ⊆ G : (X ⊆ K ∧ K ≤ G)}

Teorema 2.23
Sea (G, ·) un grupo. Si X 6= ∅ y X ⊆ G; entonces
( k
)
Y
hXi = z ∈ G : (∃k ∈ N, k > 0; (x1 , . . . , xk ∈ X) ∧ (n1 , . . . , nk ∈ Z) tal que z = xni i
i=1
40 Teorı́a de grupos

Demostración
Sea ( )
k
Y
S= z= xni i : (k ∈ N, k > 0, xi ∈ X, ni ∈ Z, i = 1, 2, . . . , k)
i=1

Veamos que S es un subgrupo de G.

( i) S 6= ∅
Por hipótesis, existe un xi ∈ X y xi ∈ S.
(ii) S ⊆ G
Por como se definió S.
(iii) ∀a, b ∈ S =⇒ ab−1 ∈ S.
Si a, b ∈ S, implica que
p q
Y Y mj
a= xni i y b= yj
i=1 j=1

para cada p, q ∈ N y n1 , n2 , . . . , np , m1 , m2 , . . . , mq ∈ Z. Entonces

³Q ´−1
q mj
b−1 = y
j=1 i
m
= (y1m1 y2m2 · · · yq q )−1
−m −m
= yq q yq−1q−1 · · · y1−m1 ? Por teorema 2.10
Ahora si podemos ver quién es ab−1
à p !à q
!−1
Y Y m
ab−1 = xni i yi j
i=1 j=1
np −mq −mq−1
= xn1 1 xn2 2 · · · xp yq yq−1 · · · y1−m1

por tanto, ab−1 ∈ S, entonces S es un subgrupo de G.

Ahora nos falta por ver que hXi = S :
Parte 1: hXi ⊆ S
Sabemos por definición 2.22 que
\
hXi = {K ⊆ G : (X ⊆ K ∧ K ≤ G)}

luego, como S es un subgrupo y además X ⊆ S (por definición de S), tenemos en este sentido

S ∈ {K ⊆ G : (X ⊆ K ∧ K ≤ G)}
2.3 Homomorfismo, kernel e imagen de grupos 41

Entonces por esta razón hXi ⊆ S.

Parte 2: S ⊆ hXi
Sea z ∈ S; ası́ que por definición de S implica
m
Y
z= xni i
i=1

donde m ∈ N, (xi ∈ X ∧ ni ∈ Z). Para cada i (con 1 ≤ i ≤ m) xi ∈ hXi y como hXi es un

subgrupo (Por teorema 2.21) entonces xni i ∈ hXi; luego
m
Y
z= xni i ∈ hXi
i=1

Ası́ que S ⊆ hXi.

Y con esto probamos que S = hXi.
2
Si X = {a}, usaremos hai en lugar de h{a}i, para simplificar notación.
Ahora observaremos un ejemplo que nos ayudara a comprender mejor el comportamiento
de estos subgrupos , además que nos abrirá paso para dar una definición de gran importancia
en la teorı́a de grupos.

Ejemplo 2.23.1 Raı́ces n-ésimas de la unidad

Para cada n ∈ N y n ≥ 1. Sea
2π 2π
θn = cos( ) + i sin( )
n n
y G = {1, θn , θn2 , ..., θnn−1 }, es fácil ver que G es un grupo con respecto a la multiplicación
usual de números complejos y este es el subgrupo generado por θn , es decir hθn i = G.

Ejemplo 2.23.2 Grupos diédricos

El grupo diédrico Dn , n ≥ 2 (n ∈ N), es un grupo de orden 2n generado por dos
elementos s y t, los cuales satisfacen las siguientes relaciones:

sn = e; t2 = e; y tst = s−1

y estas igualdades nos garantizan que

Dn = {e, s, s2 , ..., sn−1 , t, st, ..., sn−1 t}

Dn es un grupo.
42 Teorı́a de grupos

El grupo diédrico tiene una interpretación geométrica, para ver esto debemos consultar
[3].

Definición 2.24 Subgrupo cı́clico de G generado por x

Sea (G, ·) un grupo. Si x ∈ G, sea hxi el conjunto de todas las potencias de x. Es decir,
sea
hxi = {xi : i ∈ Z}

Y este es el subgrupo cı́clico generado por x.

Ahora podemos reescribir el concepto de la siguiente forma: Un grupo G es cı́clico si

G =< x > para algún x ∈ G.
Si observamos el ejemplo 2.23.1, notemos que este es un grupo cı́clico de G (generado por
θn ).
Notemos que cada grupo (G, ·) contiene uno o más subgrupos cı́clicos, puesto que cada
elemento en G forma un subgrupo cı́clico de G. Fácilmente se comprueba que cada grupo
cı́clico es un grupo abeliano.

2.4. Clases laterales e ı́ndices

Definición 2.25 Clases Laterales
Para un subconjunto S de un grupo G y un elemento a ∈ G sean

aS = {as : s ∈ S}
Sa = {sa : s ∈ S}

Cuando S es un subgrupo de G, los conjuntos de la forma aS son llamado clases laterales

izquierdas de S en G. De la misma forma, los conjuntos Sa se llaman clases laterales
derechas de S en G.

Definición 2.26 Índice

El ı́ndice de S en G es definido como el número de clases laterales izquierdas de S en
G. Lo denotamos como (G : S)
2.4 Clases laterales e ı́ndices 43

Entonces podemos dar esta definición más formalmente como: (G : S) es la cardinalidad

del conjunto {aS : a ∈ G}.

Proposición 2.27
Sea (G, ·) un grupo y S ≤ G. Entonces
[ [
G= aS = Sa
a∈G a∈G

Demostración:
Veamos que
[
G= aS
a∈G

a) Claramente
[
aS ⊆ G
a∈G

pues ∀a ∈ G, se tiene que aS ⊆ G.

b)
[
G⊆ aS
a∈G

Sea x ∈ G, entonces x = x · e ∈ xS (pues pues e ∈ S); ası́

[
x ∈ xS ⊆ aS
a∈G

En virtud de a) y b)
[
G= aS
a∈G

Análogamente se demuestra que

[
G= Sa
a∈G

Teorema 2.28 (Teorema de Lagrange) Sea (G, ·) un grupo finito y S un subgrupo de G,

entonces el orden de S divide al orden de G.
44 Teorı́a de grupos

Demostración:
Probaremos no sólo que el |S| divide a el |G|, sino que

|G|/|S| = (G : S)

para esto necesitamos dos resultados intermedios que utilizaremos en la prueba;

Parte i):
Las clases laterales de un subgrupo, tiene el mismo número de elementos que el subgrupo.
Prueba:
Sea

F : S −→ ai S
s 7−→ ai s

Veremos que F es biyectiva.

F es inyectiva

Si F (s1 ) = F (s2 ) entonces ai s1 = ai s2 (Por definición de F ). Ası́ que s1 = s2 (Por

teorema 2.10).

F es sobreyectiva

Es inmediata.

Entonces F es biyectiva, lo cual nos garantiza que las clases laterales izquierdas de un
subgrupo S en G tienen el mismo número de elementos que el subgrupo S de G. De igual
forma puede demostrarse que cada clase lateral derecha tiene el mismo número de elementos
que S.
¦
Parte ii):
Dos clases laterales derechas (o izquierdas) de S en G o son idénticas o disjuntas.
Prueba:
Demostraremos la afirmación para las clases laterales derechas.
Sea x ∈ Sai ∩ Saj con i 6= j esto implica que como x ∈ Sai y a la vez a x ∈ Saj , entonces
deben de existir s1 , s2 ∈ S tales que
2.4 Clases laterales e ı́ndices 45

x = s1 ai pues x ∈ Sai
x = s2 aj pues x ∈ Saj
por tanto s1 ai = s2 aj (por igualdad), con esto tenemos que s1 (ai a−1
j ) = s2

y como s2 ∈ S entonces ai a−1

j ∈ S. Lo cual implica que Sai = Saj con i 6= j.

Si no existe tal x, entonces Sai ∩ Saj = ∅.

Entonces como dijimos anteriormente que el conjunto de las clases laterales derechas (o
izquierdas) de S en G cubren al conjunto G, obtenemos que
[
G= Sai
i∈I

¦
Ahora si podemos pasar a la prueba del teorema de Lagrange.
Hipótesis: Tesis
( i ) (G, ·) es un grupo finito. |G|/|S| = (G : S)
( ii) S ≤ G.
Dem:
Como por hipótesis G es finito, supongamos que

G = {a1 , a2 , · · · , an }

con n ∈ N. Si {Saji : aji ∈ G} es el conjunto de todas las clases laterales derechas disjuntas
dos a dos (Es decir, Saji ∩ Sajk = ∅;para i 6= k). Entonces
m
[
G= Saji
i=1

Por consiguiente
m
[
|G| = | Saji |
i=1

y como las clases laterales son disjuntas dos a dos, podemos decir que
m
X
|G| = |Saji |
i=1

y por la parte i) tenemos

m
X
|G| = |S|
i=1
46 Teorı́a de grupos

ası́ que
|G| = (G : S)|S|

entonces concluimos que

|G|/|S| = (G : S)

2
Una pregunta interesante serı́a: ¿Qué pasa si el grupo es de orden infinito? Para ver esto,
enunciaremos el siguiente teorema

Teorema 2.29
Sea (G, ·) un grupo infinito y S un subgrupo de G, entonces el orden de G se escribe como
el producto (como números cardinales)de el ı́ndice de S en G por el orden de S. Es decir

|G| = (G : S) · |S|

Demostración:
Como G es un grupo de orden infinito, entonces vamos a necesitar la teorı́a de los números
cardinales. Los resultados que utilizaremos en esta demostración requieren conocimientos
básicos a la aritmética de cardinales, puede consultarse [17].
Supongamos que {Sai : i ∈ I} es el conjunto de todas las clases laterales derechas
distintas.
Sabemos que
[
G= Sai
i∈I

ası́ que
[
|G| = | Sai |
i∈I

Ası́
|G| = max{|I|, |S|} = |I| · |S|

Observación:
Como se dijo en la hipótesis (G, ·) es un grupo infinito. Si |G| = β; κ = (G : S) ý supon-
gamos que µ < β, en donde µ = |S|; si κ < β tenemos que β = κ · µ = max{κ, µ} < β, lo
cual es un absurdo. Por tanto max{κ, µ} = β y como µ < β, concluimos que κ = β.
2.5 Subgrupo normal y grupos cocientes 47

2
Ya con estas definiciones podemos entrar a definir dos clases de subgrupos, y una de
ellas es una de las más importantes clases de subgrupos , los subgrupos normales, y su gran
interés es porque están ı́ntimamente relacionados con los homomorfismos.

2.5. Subgrupo normal y grupos cocientes

Definición 2.30 Subgrupo Normal

Sea (G, ·) un grupo y S un subgrupo de G es un subgrupo normal de G, si aSa−1 ⊆ S ,
para todo a ∈ G. Escribiremos como S ¢ G para denotar que S es un subgrupo normal de G.

Ejemplo 2.30.1
El centro Z(G) de un grupo G es un subgrupo normal de G. Es inmediata la prueba de
este resultado por como se encuentra definido el centro de un grupo.

Aunque se definió un grupo normal como aSa−1 ⊆ S, en realidad podemos anunciar el

siguiente teorema:

Teorema 2.31
Un subgrupo S de G es normal en G si y solo si aSa−1 = S; para cada a ∈ G.

Demostración
(=⇒)
Hipótesis: Tesis:
( i) (G, ·) es un grupo. aSa−1 = S; ∀a ∈ G
( ii) S ≤ G.
(iii) S / G.
Dem:
Parte i): aSa−1 ⊆ S.
Es inmediata por definición 2.30.
Parte ii): S ⊆ aSa−1 .
48 Teorı́a de grupos

S = S ? Por igualdad.
= eSe ? eSe = {ese : s ∈ S}.
= (a−1 a)S(a−1 a) ? Por elemento inverso, para cada a ∈ G.
= a−1 (aSa−1 )a ? Por asociatividad.
⊆ a−1 Sa = a−1 S(a−1 )−1 ? Puesto que aSa−1 ⊆ S.
⊆ bSb−1 ? diciendo que b = a−1 ∈ G.
Entonces, S ⊆ aSa−1 .
¦
( ⇐= )
Si S = aSa−1 implica que aSa−1 ⊆ S y por definición 2.30, S es un subgrupo normal de
G.
2
Ahora podemos llevar al caso de los subgrupos normales la definición 2.22.

Definición 2.32 Subgrupo Normal de G generado por X

Si X ⊆ G, donde G es un grupo. Entonces la intersección de todos los subgrupos normales
de G que contienen a X es el subgrupo normal de G generado por X.

Ahora evaluemos una clase de grupos no menos importantes que los subgrupos normales,
estos son los grupos cocientes (o factores).
El conjunto de todas las clases laterales izquierdas de S en G es denotado como

G/S = {a + S : a ∈ G}

y es llamado espacio cociente de G módulo S.

Definición 2.33 Grupo Cociente

Sea (G, +) un grupo y S C G. El conjunto G/S es un grupo, con la operación definida
como

(a + S) ⊕ (b + S) = (a + b) + S

para todo a, b ∈ G. Es decir, (G/S, ⊕) es un grupo y se le llama grupo cociente.

2.5 Subgrupo normal y grupos cocientes 49

La identidad del grupo cociente G/S es e + S, en donde e es el elemento identidad de

G.
El elemento inverso de a + S en G/S es (−a) + S, en donde (−a) es elemento inverso
de a en G.

Ejemplo 2.33.1
 Grupo√de loscuaterniones Q.  
0 −1 0 1
Sea a =  √  y b= 
−1 0 −1 0

Los cuaterniones , denotado como Q, es un grupo de orden 8 (utilizando la definición

1.10; |Q| = 8, para la demostración de este hecho consultar [3]) y Q esta generado por a
y b , que además satisfacen las siguientes relaciones

a4 = e; b2 = a2 ; b−1 ab = a−1

en donde e es el elemento identidad de Q. Las igualdades anteriores implican que

Q = {e, a, a2 , a3 , b, ab, a2 b, a3 b}

(Q, ·) es un grupo, con la multiplicación usual como relación binaria.

Notar que el subgrupo generado por a (el cual denotaremos por C4 ) es

C4 = {e, a, a2 , a3 }

es un subgrupo normal de Q.
En general, el grupo de los cuaterniones tiene la interesante propiedad que todos sus
subgrupos son normales.
Observación
Cada subgrupo de un grupo conmutativo es normal (esto es inmediato a la definición
2.12), pero el recı́proco es falso. Un contraejemplo inmediato es el grupo de los cuaterniones,
en donde (como se dijo anteriormente) todo subgrupo es normal, pero Q no es conmutativo.

Ejemplo 2.33.2 Generalización del Grupo de los cuaterniones Q.

El grupo de los cuaterniones generalizados (o grupos dicı́clicos) Qn , con n ≥ 3 es un
grupo de orden 2n que tiene como generadores: a, b y que además cumple:
n−2
a2 = b2 = (ab)2
50 Teorı́a de grupos

Los siguientes lemas los utilizaremos en la demostración de los teoremas de isomorfismos.

Lema 2.34
Sea S un subgrupo de G.Entonces St = S si y sólo si t ∈ S.

Prueba:
(=⇒)
Hipótesis: Tesis:
( i) (G, ·) es un grupo. t∈S
( ii) S ≤ G.
(iii) St = S.
Dem:
Si s0 ∈ St, implica que s0 ∈ S (por igualdad y por hipótesis iii) )
s0 = st; para algún s ∈ S (por definición 2.25). Ası́ que s−1 s0 = t
Como s ∈ S, entonces s−1 ∈ S (por hipótesis ii) )
t = s−1 s0 ∈ S (Puesto que s0 ∈ S y s−1 ∈ S y la hipótesis ii) ).
¦
(⇐=)
Hipótesis: Tesis:
( i) (G, ·) es un grupo. St = S
( ii) S ≤ G.
(iii) t ∈ S.
Dem:
(⊆) St ⊆ S
Si s0 ∈ St implica que s0 = st para algún s ∈ S y como t ∈ S (por la hipótesis iii))
entonces, s0 = st ∈ S (por hipótesis ii) ).
(⊇) S ⊆ St
Sea s ∈ S. Como t ∈ S tenemos: st−1 ∈ S. Ası́ (st−1 )t ∈ St, o sea s ∈ St.
2

Lema 2.35
Si S es un subgrupo normal de G. Entonces SaSb = Sab.
2.6 Primer y segundo teorema de isomorfismo 51

Prueba:
Hipótesis: Tesis:
( i) (G, ·) es un grupo. SaSb = Sab
( ii) S / G.
Dem:
(⊆)(Sa)(Sb) ⊆ Sab
Si x ∈ [(Sa)(Sb)]
x = (sa)(sb); para cada s ∈ S (por definición 2.25)
Y por la hipótesis ii) s ∈ a−1 Sa, por consiguiente s = a−1 ra, para algún r ∈ S.
x = (sa)(sb)
= (sa)(a−1 rab)
= s(aa−1 )rab ? Por asociatividad.
= serab ? Elemento inverso.
= srab ? Elemento identidad.
= s0 ab ∈ Sab ?s0 = sr ∈ S.
Entonces, x ∈ Sab.
(⊇) Sab ⊆ (Sa)(Sb)
Sea x ∈ Sab, ası́ x = sab, s ∈ S.
Ahora sa ∈ Sa ∧ b = eb ∈ Sb. Por lo tanto x = sab ∈ (Sa)(Sb).
2
Los siguientes teoremas que enunciaremos, nos permitirán percibir la relación que existen
entre los subgrupos normales, los grupos cocientes y los homomorfismo.

2.6. Primer y segundo teorema de isomorfismo

Notación:
e ¯) grupos; si existe f : (G, ·) −→ (G,
Sean (G, ·) y (G, e ¯) isomorfismo, diremos que
e ¯) son isomorfos y escribiremos G ∼
(G, ·) y (G, e
= G.

Teorema 2.36 El primer teorema de isomorfismo.

52 Teorı́a de grupos

Sean (G, ·) y (H, ∗) ambos grupos, y sea f : G → H un homomorfismo con núcleo K(f )
. Entonces K(f ) es un subgrupo normal de G y

G/K(f ) ∼
= Img(f )

Demostración:
Hipótesis: Tesis:
( i) (G, ·) es un grupo. 1. K(f ) ¢ G.
( ii) (H, ∗) es un grupo. 2. G/K(f ) ∼
= Img(f ).
(iii) f : G → H es un homomorfismo.
( iv) K(f ) es el núcleo de f .
Parte 1): K(f ) ¢ G
K(f ) es un subgrupo de G (por el ejemplo 2.18.1).
Debemos demostrar que

aK(f )a−1 ⊆ K(f ); ∀a ∈ G

En donde
K(f ) = {x ∈ G : f (x) = e0 }

con e0 ∈ H y es el elemento identidad de H.

Ahora
aK(f ) = {ax : x ∈ K(f )}

Y ası́
aK(f )a−1 = {axa−1 : x ∈ K(f )}

Si y ∈ aK(f )a−1 , implica que existe un x ∈ K(f ) tal que y = axa−1 y ası́ tenemos que
f(y) = f (axa−1 ) ? Porque y = axa−1
= f (a) ∗ f (xa−1 ) ? Por hip. iii) y definición 2.16.
= f (a) ∗ f (x) ∗ f (a−1 ) ? Idem.
= f (a) ∗ e0 ∗ f (a−1 ) ? Porque x ∈ K(f ), y esto implica que f (x) = e0 .
= (f (a) ∗ e0 ) ∗ f (a−1 ) ? Por asociatividad.
= f (a) ∗ f (a−1 ) ? Elemento identidad en H.
= f (a) ∗ (f (a))−1 ? Por teorema 2.17.
= e0 ? Elemento inverso en H.
2.6 Primer y segundo teorema de isomorfismo 53

Entonces, y ∈ K(f ), y con esto concluimos que K(f ) es un subgrupo normal de G.

¦
Parte 2): G/K(f ) ∼
= Img(f )
Tenemos que encontrar un isomorfismo entre el grupo cociente G/K(f ) y el subgrupo
Img(f ) de H. Por tanto debemos sugerir cual podrı́a ser el isomorfismo adecuado y para
esto debemos considerar lo siguiente:
G/K(f ): son las clases laterales derechas K(f ) en G.
Img(f ) = {f (x) : x ∈ G}.
por consiguiente, serı́a conveniente evaluar esta:

F : G/K(f ) −→ Img(f )
: K(f )a 7−→ f (a)

Tenemos que probar:

* F esta bien definida.

* F es un homomorfismo.

* F es biyectiva.

∗ F esta bien definida.

Debemos ver que si
K(f )a = K(f )b entonces F (K(f )a) = F (K(f )b) (es decir f (a) = f (b))
Si K(f )a = K(f )b; como a ∈ K(f )a (pues e ∈ K(f )) existe u ∈ K(f ) tal que
a = ub. Ası́:
f (a) = f (ub) = f (u) ∗ f (b) = e0 ∗ f (b) = f (b).
y esto implica que F esta bien definida.
∗ F es un homomorfismo. Tenemos que ver

F (K(f )aK(f )b) = F (K(f )a) ∗ F (K(f )b)

donde K(f )a, K(f )b ∈ G/K(f ).

El resultado del Lema 2.35 nos garantiza que:
54 Teorı́a de grupos

F (K(f )aK(f )b) = F (K(f )ab) ? Por lema 2.35.

= f (ab) ? Por definición de F .
= f (a) ∗ f (b) ? Por hipótesis iii).
= F (K(f )a) ∗ F (K(f )b) ? Por definición de F .
∗ F es biyectiva.
-Inyectividad:
Si F (K(f )a) = F (K(f )b) implica que K(f )a = K(f )b.
Ahora veamos lo siguiente
F (K(f )a) = F (K(f )b)
f (a) = f (b) ? Por definición de F .
f (a) ∗ (f (b))−1 = e0
f (a) ∗ f (b−1 ) = e0 ? Por teorema 2.17.
f (ab−1 ) = e0 ? Por hipótesis iii).
Entonces por definición 2.18 decimos que
ab−1 ∈ K(f );
Ası́ que por Lema 2.34 podemos asegurar que
K(f )ab−1 = K(f )
K(f )a = K(f )b
-Sobreyectividad:
Si y ∈ Img(f ) y por definición 2.19
Img(f ) = {y ∈ H : f (x) = y, para algun x ∈ G}
por tanto, y ∈ H y además
y = f (a), para algún a ∈ G.
= F (K(f )a), en donde K(f )a ∈ G/K(f ).
2

Teorema 2.37 (El segundo teorema de isomorfismo de grupos)

Sea S subgrupo de G y T un subgrupo normal de G. Entonces S ∩ T es un subgrupo normal de
Sy

S/(S ∩ T ) ∼
= T S/T

Demostración
2.6 Primer y segundo teorema de isomorfismo 55

Hipótesis: Tesis
( i ) (G, ·) es un grupo. 1) (S ∩ T ) / S
( ii) S ≤ G. 2) S/(S ∩ T ) ∼
= T S/T
(iii) T / G.
Parte 1): (S ∩ T ) / S

? (S, ·) es un grupo.

Por hipótesis ii) y definición 2.14.

? S ∩ T es un subgrupo de S.

Por teorema 2.21.

? a(S ∩ T )a−1 ⊆ (S ∩ T ); para cada a ∈ S.

Si y ∈ a(S ∩ T )a−1 ; existe un x ∈ (S ∩ T ) tal que y = axa−1 .

Debemos probar que y ∈ S y además y ∈ T . Es decir, y ∈ S ∩ T .

Ahora, sabemos que a ∈ S y x ∈ S (puesto que x ∈ (S ∩ T ) ) y como S es un subgrupo de

G, tenemos que S es cerrado bajo la relación binaria de G, entonces y ∈ S.

Ası́ que por la hipótesis iii) y la definición 2.30 es inmediato que y ∈ T . Y con esto concluimos
que y ∈ (S ∩ T ).

Entonces, (S ∩ T ) / S.

¦
Parte 2): S/(S ∩ T ) ∼
= ST /T

F : S −→ T S/T
: s 7−→ Ts

Debemos ver que

F es un homomorfismo.

F es sobreyectiva.

Ahora veamos

F es un homomorfismo.

Sea s1 , s2 ∈ S entonces
56 Teorı́a de grupos

F (s1 s2 ) = T s1 s2 ? Por definición de F .

= T s1 T s2 ? Por lema 2.35.
= F (s1 )F (s2 ) ? Por definición de F .

F es sobreyectiva. Es inmediata.

Entonces podemos concluir que

F (S) = T S/T

Ahora debemos probar que

K(F ) = S ∩ T

Por definición 2.18 obtenemos que

K(F ) = {s ∈ S : F (s) = e}
= {s ∈ S : T s = T e}
= {s ∈ S : T s = T }

Entonces por el lema 2.34,

K(F ) = {s : (s ∈ S ∧ s ∈ T )}
= S∩T

Ahora aplicando el primer teorema de isomorfismo (Teorema 2.36)

S/(S ∩ T ) ∼
= Img(F )

Y como la Img(F ) es el conjunto T S/T .

Concluimos que
S/(S ∩ T ) ∼
= T S/T

2
Capı́tulo 3
Teorı́a de anillos y cuerpos

La teorı́a de anillos al comienzo se dedico a considera las propiedades esenciales que posee el
conjunto de los números enteros. Llamaremos enteros no sólo a los números de la serie natural 1,
2, 3, . . ., (enteros positivos), sino también al cero (0) y los números enteros negativos -1, -2, -3, . . .
La moderna teorı́a de anillos tiene sus comienzos a partir de los años 1920 con los trabajos de
Noether, Artin y Krull, entre otros. Aunque le debemos la primera definición formal de anillo a
Dedekind, el centro su estudio en anillos de enteros algebraicos.

3.1. Definiciones, teoremas básicos y ejemplos

Definición 3.1 Anillo
Un anillo es una terna (A, +, ·) en la que A es un conjunto con dos relaciones binarias +, ·
(llamadas adición y multiplicación, respectivamente) que satisfacen las siguientes propiedades:
(i) (A, +) es un grupo conmutativo.
(ii) (A, ·) es un semigrupo.
(iii) La multiplicación es distributiva con respecto a la adición, es decir:

a · (b + c) = a · b + a · c
(b + c) · a = b · a + c · a

para cada a, b, c ∈ A.

Veamos los primeros ejemplos que podemos evaluar:

58 Teorı́a de anillos y cuerpos

Ejemplos 3.1.1

1. (Z, +, ·) es un anillo.

(Z, +) es un grupo (por ejemplo 1.4.2-i). Además, el elemento identidad es el 0 y para cada
a ∈ Z, su elemento inverso es −a ∈ Z. También tenemos que la relación binaria + es
conmutativa, por lo tanto (Z, +) es un grupo conmutativo.

(Z, ·) es un semigrupo (por ejemplo 1.4.2-ii) y al multiplicación es distributiva con respecto

a la adición. Entonces (Z, +, ·) es un anillo.

Al igual, también podemos ver que:

2. (Q, +, ·) es un anillo.

3. (R, +, ·) es un anillo.

4. (C, +, ·) es un anillo.

En este ejemplo hemos considerado la suma y multiplicación usual entre los elementos de cada
conjunto de números.

Ejemplo 3.1.2
(Zn , ⊕, ¯) es un anillo, en donde definimos la relación binaria ¯ como:

a¯b=a·b

Sabemos por el ejemplo ?? que (Zn , ⊕) es un grupo. Además es fácil ver que ⊕ es una relación
binaria conmutativa. Por consiguiente, (Zn , ⊕) es un grupo conmutativo.
Debemos también ver que (Zn , ¯) es un semigrupo.
Sabemos que para cualesquiera a, b ∈ Zn , entonces a ¯ b ∈ Zn (por como se definió la relación
binaria ¯) y la asociatividad la podemos probar casi de igual forma que para el ejemplo ?? y
entonces nos falta por ver que la multiplicación es distributiva con respecto a la adición;

a ¯ (b ⊕ c) = a ¯ (b + c) ? Puesto que a ⊕ b = a + b
= a · (b + c) ? Por a ¯ b = a · b
= a·b+a·c ? (Z, +, ·) es un anillo (Ejemplos 3.1.1)
= a·b⊕a·c
= (a ¯ b) ⊕ (a ¯ c)
3.1 Definiciones, teoremas básicos y ejemplos 59

De igual forma podemos probar que

(b ⊕ c) ¯ a = (b ¯ a) ⊕ (c ¯ a)

Ejemplo 3.1.3
Sea C[0, 1] el conjunto de las funciones continuas en el intervalo [0, 1] sobre R. La suma y la
multiplicación de dos funciones la definimos como

(f + g)(x) = f (x) + g(x)

(f g)(x) = f (x) · g(x)

para cada x ∈ [0, 1] y f, g ∈ C[0, 1]. Entonces (C[0, 1], +, ·) es un anillo.

Considerando algunas de las propiedades adicionales que cumplen algunos de los ejemplos an-
teriores (exactamente los ejemplos 3.1.1) podemos dar la siguiente definición

Definición 3.2 Anillo conmutativo

Un anillo (A, +, ·) es conmutativo si:

· es una relación binaria conmutativa.

Es importante ver que esta definición se cumple para los números enteros con la suma y la
multiplicación usual como relaciones binarias en Z, y en realidad, el concepto de anillo y algunos
conceptos consecuentes a él se dieron en base a una generalización de las propiedades que cumple
el conjunto de los enteros.

Ejemplo 3.2.1
Sea X un conjunto no vacı́o y Y = P(X) el conjunto de potencia de X. Si definimos las
siguientes relaciones binarias sobre el conjunto Y como:

A + B = A ∪ B − (A ∩ B)
A·B = A∩B

Por consiguiente, (Y, +, ·) es un anillo. En donde el elemento neutro es ∅ y el inverso de A ∈ Y ,

es el mismo A. Y la relación binaria + es evidentemente conmutativa.

Además (Y, +, ·) es un anillo conmutativo.

Este ejemplo considerado anteriormente abre paso a la siguiente definición de un tipo de anillo
muy interesante llamados Anillos booleanos, el cual es un anillo conmutativo (sea A este anillo
conmutativo), tal que a2 = a; para cada a ∈ A.
60 Teorı́a de anillos y cuerpos

Ejemplos 3.2.2

1. Sea Z[i] el conjunto de todos los números complejos de la forma a + ib, en donde a, b ∈ Z y
además i2 = −1. Entonces,

(Z[i], +, ·) es un anillo conmutativo.

Z[i] se llama anillo de los enteros gaussianos.

2. (Zn , ⊕, ¯) es un anillo conmutativo.

Si se observa lo que se esta realizando, podemos ver que se esta haciendo una clasificación de
algunos tipos de anillos que cumplen con cierta propiedad, entonces en este sentido podemos dar
la siguiente definición;

Definición 3.3 Anillo unitario

Un anillo (A, +, ·) es unitario si:
(A, ·) es un monoide.

En este concepto lo que se esta pidiendo es la existencia de un elemento identidad para el

semigrupo (A, ·), es decir; 1 ∈ A tal que

1·a=a·1=a

para cada a ∈ A. Además, dicho elemento debe ser único.

Ya que en un anillo unitario, las estructuras algebraicas (A, +) y (A, ·) tienen elemento identidad,
entonces asumamos la siguiente convención:
0 : Elemento identidad (lo llamaremos neutro) en (A, +).
1 : Elemento identidad en (A, ·).
Entonces, una importante pregunta que podemos hacernos es:
¿Qué pasa si en un anillo unitario 1 = 0?
Asumamos que se cumple 1 = 0, entonces para cualquier a ∈ A, tenemos que

a=a
= 1·a ? 1 es el elemento identidad de (A, ·)
= 0·a ?1=0
=0 ? 0·a=0
3.1 Definiciones, teoremas básicos y ejemplos 61

Luego A = {0}, este anillo se llama trivial.

Esta leve observación hecha anteriormente abre paso para realizar la siguiente definición:

Definición 3.4 Dominio

Sea (A, +, ·) un anillo unitario y conmutativo, A es un Dominio si 1 6= 0.

Definición 3.5 Dominio de integridad (o dominio entero)

Un anillo (A, +, ·) conmutativo es un Dominio de integridad (o dominio entero) si a · b =
0, implica que a = 0 ó bien b = 0; para cada a, b ∈ A.

Es de observar que el conjunto de los números enteros es un dominio de integridad.

Más no es cierto en general que si a · b = 0, uno de sus elementos haya de ser nulo (0). Por
consiguiente esta acotación lleva al siguiente concepto;

Definición 3.6 Divisor de cero

Un elemento a 6= 0 de un dominio A es un Divisor de cero si existe un b ∈ A y b 6= 0 tal que

a·b=0

Ahora tomando en cuenta lo anterior, se dice que un dominio de integridad es un dominio sin
divisores de cero.
Ası́ que considerando los ejemplos anteriores se dice que

Ejemplos 3.6.1

1. El ejemplo 3.1.3 es un anillo, pero no es conmutativo.

2. Los ejemplos 3.2.2 son anillos conmutativos y unitarios.

3. El ejemplo 3.2.2-1 es un dominio de integridad.

En los conceptos que hemos dados anteriormente han sido en gran parte consecuencia directa
del conjunto de los enteros, pero hemos visto que se han generalizado a cualquier conjunto que cum-
plan con estas propiedades. Ya en este punto podemos enunciar el siguiente teorema que contiene
unas cuantas propiedades sencillas de los anillos. La prueba la omitiremos pues son argumentos
rutinarios y puede consultarse [4].
62 Teorı́a de anillos y cuerpos

Teorema 3.7
Sea (A, +, ·) un anillo, y para cada a, b, c ∈ A se cumple que:

1. a + b = a + c =⇒ b = c.

2. a + a = a =⇒ a = 0.

3. −(−a) = a.

4. 0 · a = a · 0 = 0.

5. (−a) · b = a · (−b) = −(a · b).

6. (−a) · (−b) = a · b.

7. −(a + b) = −a − b.

8. a · (b − c) = a · b − a · c.

9. (n · a) · b = a · (n · b) = n · (a · b); ∀n ∈ Z.

Vale acotar para 9), que na es:

 n−veces

 z }| {

 a + a + ··· + a si n > 0;



na = 0a = 0 si n = 0;



 −a − a {z
− · · · − a} si n < 0.


 |
|n|−veces

Como corolario podemos comprobar que (con la mismas hipótesis del teorema anterior)
à n ! m  n X
m
X X X
ai  
bj = ai bj
i=1 j=1 i=1 j=1

para todo ai , bj ∈ A, n ∈ N, m ∈ N (en donde, 1 ≤ i ≤ n; 1 ≤ j ≤ m).

Definición 3.8 Anillo de división

Un anillo (A, +, ·) unitario, es un Anillo de división si para cada a 6= 0 en A, existe un
elemento b ∈ A, tal que
a·b=b·a=1

este elemento b, normalmente se expresa como a−1 .

De esta definición se dice que en un anillo de división sus elementos distintos de cero forman
un grupo bajo la multiplicación.
3.2 Subanillos: Definiciones, ejemplos y teoremas 63

3.2. Subanillos: Definiciones, ejemplos y teoremas

En lo particular se puede ver que existen anillos que contienen como subconjunto otros anillos,
por ejemplo, el anillo de los números reales contiene el anillo de los enteros, el anillo de los complejos
contiene el anillo de los enteros gaussianos, entre otros.
Esta consideración motiva la siguiente

Definición 3.9 Subanillo

Un subconjunto S de un anillo (A, +, ·) es un Subanillo de A si:
( i ) 1 ∈ S.
( ii) ∀a, b ∈ S =⇒ a − b ∈ S (es decir; a + (−b) ∈ S).
(iii) ∀a, b ∈ S =⇒ a · b ∈ S.

Lo denotaremos como S ≤ A. Es importante acotar que la notación utilizada para subanillo es

la misma que se utilizó para los subgrupos, pero en este capı́tulo cuando utilicemos esta notación
nos referimos a subanillos, y en el caso que se quiera utilizar para denotar un subgrupo en este
capı́tulo lo aclararemos en su momento.

Ejemplos 3.9.1

1. Todo anillo (A, +, ·) tiene por lo menos dos subanillos, que son: {0} y A. Estos subanillos son
llamados impropios (o triviales). cualquier otro subanillo de A se llama subanillo propio.

2. Z ≤ Q ≤ R ≤ C

3. Z[i] ≤ C

Ejemplos 3.9.2

1. Sea (A, +, ·) un anillo, entonces el centralizador de a en A es el subconjunto

C(a) = {c ∈ A : c · a = a · c}

y este es un subanillo de A. Es decir, C(a) ≤ A.

2. El centro de un anillo A, se define como el subconjunto de A, tal que

Z(A) = {a ∈ A : a · b = b · a, ∀b ∈ A}

y este conjunto es un subanillo de A (esdecir, Z(A) ≤ A).

64 Teorı́a de anillos y cuerpos

Al igual que el caso de los subgrupos también podemos plantear la siguiente proposición (su
demostración es parecida al teorema 2.21).

Proposición 3.10
Sea (A, +, ·) un anillo y {Ai }i∈I una familia de subanillos de A. Entonces la intersección arbi-
traria de subanillos de A es un subanillo de A. Es decir,
\
Ai ≤ A
i∈I

Definición 3.11 Subanillo generado por X

Sea (A, +, ·) un anillo y X ⊆ A. Entonces la intersección de todos los subanillos de A que
contienen a X se llama subanillo generado por X. Lo denotaremos como hXi.

Entonces por la proposición 3.10 tenemos hXi es un subanillo de A.

En este sentido se puede decir que el subanillo de A generado por X es el subanillo más pequeño
que contiene a X.

3.3. Homomorfismo, kernel e imagen de anillos

En el capı́tulo anterior indagamos sobre la relación que existı́an entre dos grupos, en esta
búsqueda se encontró lo que era un homomorfismo, isomorfismo, entre otros. En esta oportunidad
vamos a estudiar una definición análoga para la estructura algebraica de los anillos de la siguiente
forma:

Definición 3.12 Homomorfismo de anillos

Sean (A, +, ·) y (B, +0 , •) ambos anillos. Una función f : A −→ B es un homomorfismo de
anillos si cumple que:
(i) f (a + b) = f (a) +0 f (b).
(ii) f (a · b) = f (a) • f (b).
para cada a, b ∈ A.

Un monomorfismo de anillos es un homomorfismo inyectivo.

Un epimorfismo de anillos es un homomorfismo sobreyectivo.
Un isomorfismo de anillos es un homomorfismo biyectivo.
Un automorfismo de anillos es un isomorfismo de A sobre si mismo.
3.3 Homomorfismo, kernel e imagen de anillos 65

Ejemplo 3.12.1
(C, +, ·) es un anillo (por ejemplo 3.1.1-4). Entonces la función f : C −→ C definida como

f : C −→ C
a + ib 7−→ a − ib
para todo a, b ∈ R, es es un homomorfismo de anillos.

Es de notar que f cumple con las propiedades de homomorfismo de anillos (definición 3.12).
1) f (x + y) = f (x) + f (y); con x, y ∈ C.
Sean x = a + ib, y = c + id; para todo a, b, c, d ∈ R. Por lo tanto
f (x + y) = f (a + ib + c + id) ? Por definición de x, y.
= f (a + c + ib + id) ? Por conmutatividad.
= f (a + c + i(b + d)) ? Por distributividad.
= f ((a + c) + i(b + d)) ? Por asociatividad.
= (a + c) − i(b + d) ? Por definición de f .
= (a + c) − ib − id ? Por teorema 4.3.
= (a − ib) + (c − id) ? Por conmutatividad y asociatividad.
= f (x) + f (y) ? Por definición de f .
2) f (x · y) = f (x) · f (y);
Ası́ que
f (x · y) = f ((a + ib) · (c + id)) ? Por definición de x, y.
= f ((ac − bd) + i(bc + ad))
= (ac − bd) − i(bc + ad) ? Por definición de f .
= a(c − id) − ib(c − id) ? Por conmutatividad y distributividad.
= (a − ib) · (c − id) ? Por distributividad.
= f (x) · f (y) ? Por definición de f .
y con esto probamos que f es un homomorfismo de anillos. De hecho, se puede probar que es
un isomorfismo de anillos.
Análogo a lo que hicimos en la teorı́a de grupos, podrı́amos pensar en como definir el kernel y
la imagen de un homomorfismo de anillos, y esto lo hacemos de la siguiente forma;

Definición 3.13 Núcleo

Sean (A, +, ·) y (B, +0 , •) ambos anillos y f : A −→ B un homomorfismo de anillos. Entonces
el núcleo (o kernel) de f lo definimos como:

K(f ) = {a ∈ A : f (a) = 00 }
66 Teorı́a de anillos y cuerpos

en donde 00 es el elemento identidad de B.

Se puede probar que K(f ) es un subanillo de A, es decir, K(f ) ≤ A. Además

Definición 3.14 Imagen

Sean (A, +, ·) y (B, +0 , •) ambos anillos y f : A −→ B un homomorfismo de anillos. Entonces
el imagen de f se define ası́:

Img(f ) = {b ∈ B : b = f (a), para algun a ∈ A}

y también la Img(f ) ≤ B.

Proposición 3.15 Sean (A, +, ·), (B, +0 , •) y (C, +00 , ∗) anillos y sean f : A −→ B, g : C −→ A
ambos homomorfismos. Entonces:
(i) f (0A ) = 0B .
(ii) f (−a) = −f (a).
(iii) La composición de homomorfismo de anillos es un homomorfismo. Es decir, f ◦ g es un
homomorfismo de anillos.

La demostración de la proposición anterior es rutinaria.

Luego de los resultados obtenidos anteriormente, es natural formularse la siguiente pregunta:
¿Si A y B son anillos unitarios, entonces f (1A ) = 1B ?
La respuesta es que en general no sucede esto. Veamos que si (A, +, ·) y (B, ⊕, ¯) ambos anillos
unitarios, entonces la función f que vale constantemente el 0B es un homomorfismo que cumple:

f (1A ) = 0B

Por consiguiente las condiciones generales para que se cumpla este hecho las enunciaremos en
la siguiente proposición:

Proposición 3.16
Sea (A, +, ·) un anillo unitario y (B, +0 , •) un dominio de integridad y sea f : A −→ B un
homomorfismo de anillos, en donde f (1A ) 6= 0B , entonces:

f (1A ) = 1B
3.3 Homomorfismo, kernel e imagen de anillos 67

Demostración
Hipótesis: Tesis
( i ) (A, +, ·) es un anillo unitario. f (1A ) = 1B .
( ii) (B, +0 , •) es un dominio de integridad.
(iii) f : A −→ B un homomorfismo de anillos.
(iv) f (1A ) 6= 0B .
Dem:
f (1A ) = f (1A · 1A ) ? Por hipótesis i).
= f (1A ) • f (1A ) ? Por hipótesis iii) y definición 3.12.
f (1A ) • 1B = f (1A ) • f (1A ) ? Por f (1A ) · 1B = f (1A ).
Entonces
f (1A ) • 1B − f (1A ) • f (1A ) = 0B
f (1A ) • (1B − f (1A )) = 0B ? Por distributividad y teorema 4.3.
y como por hipótesis iv) tenemos que f (1A ) 6= 0B ; entonces

1B − f (1A ) = 0B

puesto que B es un dominio de integridad (hipótesis ii);

1B = 0B +0 f (1A )
1B = f (1A )

2
De la demostración de la proposición anterior se puede obtener que:
Si A es un dominio de integridad; entonces si a 6= 0

ab = ac =⇒ b=c

para todo a, b, c ∈ A. De hecho, también se puede ver que si

ab = ac =⇒ b = c
ba = ca =⇒ b = c

para cada a, b, c ∈ A, se cumple que A es un anillo sin divisores de cero.

Al igual que para el caso de la teorı́a de grupos en el teorema 2.20, se puede extender este
resultado a la teorı́a de anillos y esto lo hacemos de la siguiente forma:

Teorema 3.17
68 Teorı́a de anillos y cuerpos

Sea (A, +, ·) y (B, +0 , •) ambos anillos y sea f : A −→ B un homomorfismo de anillos; se

cumple que f es un monomorfismo de anillos si y sólo si

K(f ) = {0A }

La prueba la omitiremos pues se realiza de manera análoga a la del teorema 2.20.

3.4. Ideal, Ideales principales

En el capı́tulo anterior estudiamos una estructura algebraica llamada grupo y de esta estructura
destacamos unos subconjuntos de ellos que cumplı́an ciertas propiedades de interés, los cuales se
denominaron subgrupos. Consideramos luego los subgrupos de gran importancia llamados subgru-
pos normales. Ahora, vamos a introducir una definición que debido a su relevancia en la teorı́a de
anillos puede ser semejante en cuanto a la importancia que poseen a los subgrupos normales en la
teorı́a de grupos.

Definición 3.18 Ideal

Sea (A, +, ·) un anillo. Un ideal es un subconjunto I ⊆ A, tal que cumple con las siguientes
propiedades:
(i) I 6= ∅.
(ii) ∀a, b ∈ I =⇒ a − b ∈ I.
(iii) ∀a ∈ I, ∀r ∈ A =⇒ (ar ∈ I ∧ ra ∈ I).

Este ideal I de A, definido de esta forma se le denomina ideal bilateral. Pero si sólo cumple
ar ∈ I (∀a ∈ I ∧ ∀r ∈ A) se les llama ideal derecho, de forma análoga se define un ideal
izquierdo.
Se puede observar que todo ideal es un subanillo.

Ejemplo 3.18.1
Todo anillo (A, +, ·) tiene al menos dos ideales inmediatos que son: {OA } y A. Al igual que en
los casos anteriores, se les llama ideales propios. Un ideal distinto a los anteriores se llaman
ideales impropios.

Ejemplo 3.18.2
Sea nZ = {nz : z ∈ Z}; con n ∈ N. Entonces nZ es un ideal de Z.
3.4 Ideal, Ideales principales 69

Proposición 3.19
Sean (A, +, ·) y (B, +0 , •) ambos anillos y f : A −→ B un homomorfismo de anillos. Entonces
K(f ) es un ideal de A.

Demostración:
1) 0A ∈ K(f ).
Por proposición 3.15;
f (0A ) = 0B

Entonces, por definición 3.13;

0A ∈ K(f )

. 2) ∀a, b ∈ K(f ) =⇒ a + b ∈ K(f ).

∀a, b ∈ K(f ), por definición 3.13, se obtiene que f (a) = 0B y además f (b) = 0B entonces

f (a) +0 f (b) = 0B +0 0B
f (a) +0 f (b) = 0B
f (a + b) = 0B

Entonces, a + b ∈ K(f ).
3) ∀a ∈ A, ∀b ∈ K(f ) =⇒ a · b ∈ K(f ).

f (a · b) = f (a) • f (b) ? f es un homomorfismo.

= f (a) • 0B ? b ∈ K(f ) y definición 3.13.
= 0B ? Por teorema 4.3.

Esto implica que a · b ∈ K(f ).

Entonces, K(f ) es un ideal.
2

Ejemplo 3.19.1
Sea (A, +, ·) un anillo y {Ii }i∈J una familia de ideales de A. Entonces
\
Ii es un ideal de A
i∈J

Definición 3.20 Ideal generado por X

Sea A un anillo y X ⊆ A (X 6= ∅), la intersección de todos los ideales que contienen a X es el
ideal generado por X. Lo denotaremos como (X).
70 Teorı́a de anillos y cuerpos

Es de acotar que la intersección de todos los ideales que contienen a X es el ideal más pequeño
que contiene a X.
Como se puede hacer una clasificación del conjunto debido al número de elementos que posee,
entonces podemos afirmar que

Definición 3.21 Ideal finitamente generado

Sea (A, +, ·) un anillo y X ⊆ A (X 6= ∅) es un subconjunto finito, (X) es un ideal finitamente
generado.

Para simplificar la notación si X = {x1 , x2 , . . . , xn } (con n ∈ N) el ideal finitamente generado

por X se denotará como (x1 , x2 , . . . , xn ).
Tenemos que notar que en el capı́tulo de los grupos hubo un resultado (exactamente al Teorema
2.23) que podemos extender al caso de los anillos, veamos como hacerlo

Teorema 3.22
Sea (A, +, ·) un dominio. Si X 6= ∅ y X ⊆ A; entonces
( n
)
X
(X) = y ∈ A : ∃n ∈ N, n > 0; xi ∈ X, ai ∈ A, tal que y = ai xi
i=1

Demostración:
Sea ( )
n
X
I= y= ai xi : ∃n ∈ N, n > 0, xi ∈ X, ai ∈ A, i = 1, 2, . . . , n
i=1

entonces, debemos ver que I es un ideal, ası́ demostraremos que I satisface las condiciones que
caracterizan a un ideal (definición 3.18);
(i) 0 ∈ I
Sabemos que los elementos de la forma ax ∈ I (con a ∈ A, x ∈ X), por tanto, como A es un
dominio (es decir, que es un anillo conmutativo y unitario, tal que 1 6= 0), entonces 0 ∈ A; ası́ que
0x ∈ I y por el teorema 4.3, 0x = 0, entonces 0 ∈ I.
(ii) ∀a, b ∈ I =⇒ a+b∈I
Sean a, b ∈ I, por consiguiente

n
X m
X
a= ai xi y b= bj yj
i=1 j=1
3.4 Ideal, Ideales principales 71

para cada n, m ∈ N; ai , bj ∈ A; xi , yj ∈ X (con 1 ≤ i ≤ n, 1 ≤ j ≤ m). Entonces

n
X m
X
a+b = ai xi + bj yj
i=1 j=1
= a1 x1 + a2 x2 + · · · + an xn + b1 y1 + b2 y2 + · · · + bm ym

por consiguiente, a + b ∈ I.
(iii) ∀a ∈ A, ∀y ∈ I =⇒ ay ∈ I
Como y ∈ I, podemos representarlo de la siguiente forma
n
X
y= ai xi
i=1

para n ∈ N; ai ∈ A; xi ∈ X, con 1 ≤ i ≤ n. Ası́ que

n
X
ay = a ai xi
i=1
n
X
= aai xi
i=1
Xn
= (aai )xi
i=1
Xn
= bi xi
i=1

en donde, bi = aai . Esto implica que ay ∈ I.

Entonces I es un ideal de A. Por lo tanto, nos falta observar que I = (X).
Parte i): (X) ⊆ I.
Por la definición anterior, tenemos que
\
(X) = {B ⊆ A : (X ⊆ B ∧ B es un ideal de A)}

y probamos anteriormente que I es un ideal de A y por la forma como se definió I, que X ⊆ I.

Ası́ que
I ∈ {B ⊆ A : (X ⊆ B ∧ B es un ideal de A)}

con esto probamos que (X) ⊆ I.

Parte ii): I ⊆ (X).
Tomamos un y ∈ I, lo cual implica que podemos escribirlo como
n
X
y= ai xi
i=1
72 Teorı́a de anillos y cuerpos

para n ∈ N; ai ∈ A; xi ∈ X con 1 ≤ i ≤ n.
Como (X) es un ideal de A (por ejemplo 3.19.1) se puede asegurar (por definición 3.18.iii) que
ai xi ∈ (X), para i ∈ N; ai ∈ A; xi ∈ X. Además
n
X
ai xi ∈ (X)
i=1

por la definición 3.18.ii. Ası́ que y ∈ (X).

Por tanto (X) = I.
2
Los siguientes ejemplos ilustrará la proposición anterior:

Ejemplo 3.22.1
Sabemos (Z, +, ·) es un dominio. Sea X = {2, 3} entonces el ideal de Z generado por X es de
la forma (X) = {2x + 3y : x, y ∈ Z}.

Es importante acotar que si I es un ideal de un anillo A, también es ideal de todos los subanillos
S de A (S ≤ A) que contengan a I. Sin embargo, si S es un subanillo de A, es decir, S ≤ A y
I es un ideal S, entonces no necesariamente I debe ser un ideal de A. Consideremos el siguiente
ejemplo:

Ejemplo 3.22.2
(Z, +, ·) un anillo (por ejemplo 3.1.1.1) y por el ejemplo 3.18.2, nZ es un ideal de Z (con n ∈ N)
pero no es un ideal de Q. observemos que

2 2 8
4 ∈ 4Z y ∈ Q, pero 4 = 6∈ 4Z
9 9 9
.

Estamos clasificando los ideales de acuerdo a la forma como son generados, ası́, definimos lo que era
un ideal generado por un subconjunto de un dominio A y también cuando X ⊆ A es finito; ahora
es importante considerar los ideales que están generados por un solo elemento, y esto lo hacemos
en la siguiente definición

Definición 3.23 Ideal principal

Sea A un anillo. Si X = {a}, para a ∈ A, el ideal generado por X se llama ideal principal
generado por a. Lo denotaremos como (a).
3.4 Ideal, Ideales principales 73

Ejemplo 3.23.1
nZ es un ideal principal de Z generado por n.

Definición 3.24 Anillo de ideales principales

Sea (A, +, ·) un anillo. Se dice que A es un Anillo de ideales principales si todos sus
ideales son principales.

Observemos un ejemplo para comprender mejor la definición anterior

Ejemplo 3.24.1
(Z, +, ·) es un anillo de ideales principales.
Puesto que todos los ideales de Z son de la forma nZ (con n ∈ N), es decir, que los nZ son
todos ideales principales (por ejemplo 3.23.1).

Tenemos que ver que todos los ideales de Z son ideales principales.
Sea I un ideal de Z. Tenemos que evaluar dos casos, cuando

1. I = {0}.

2. ∃a 6= 0 con a ∈ I.

Veamos, si I = {0}, entonces 0Z = {0z = 0 : z ∈ Z} es un ideal principal generado por 0.

Ahora, si existe a 6= 0, con a ∈ I, podemos suponer que a es positivo (sin perder generalidad,
pues si a es negativo, su inverso que es positivo esta en I). Por consiguiente

a ∈ A = {m ∈ I : m > 0}

ası́ que A es un conjunto no vació de elementos positivos de Z, es decir, A ⊂ N. Entonces puede

aplicarse el siguiente principio el cual asegura que
Principio del entero mı́nimo
Todo conjunto no vació de números naturales tiene un menor elemento.

Por lo tanto, A tiene un menor elemento, que lo denotaremos como n.

Ahora, comprobaremos que todo elemento de I se puede descomponer en factores, donde n es
un elemento de estos factores.
Sea m ∈ I, usaremos el algoritmo de la división, que nos dice
74 Teorı́a de anillos y cuerpos

Teorema 3.25 (Algoritmo de la división)

Sean a, b ∈ Z, con b > 0. Entonces ∃q, r ∈ Z, tales que

a = bq + r y 0 ≤ r < |b|

y obtenemos que
m = nq + r y 0≤r<n

.
Supongamos que r 6= 0. Entonces
m − nq = r

en donde, m ∈ I y nq ∈ I, implica que −nq ∈ I (por definición 3.18) y por lo tanto

r = m − nq ∈ I

y no solo eso, sino que como r > 0, r ∈ A y como por el algoritmo de la división 0 ≤ r < n, se
presenta una contradicción con la minimalidad, pues se dijo que el menor elemento de A es n.
Por consiguiente, r = 0, lo cual implica que

m = nq = nZ = {nq : q ∈ Z}

Definición 3.26 Dominio de ideales principales

Sea (A, +, ·) un dominio de integridad. Se dice que A es un Dominio de ideales principales
(DIP) si todos sus ideales son principales.

En particular, podemos aseverar que

Ejemplo 3.26.1
(Z, +, ·) es un dominio de ideales principales.

Si extendemos la definición 3.26, entonces encontramos otro conjunto de anillos, tales como

Definición 3.27 Anillos Noetherianos

Sea (A, +, ·) un dominio de integridad. Los anillos noetherianos son aquellos en los cuales
todo ideal de A es finitamente generado.
3.4 Ideal, Ideales principales 75

Consideremos algunos ejemplos

Ejemplos 3.27.1

Los dominios de ideales principales son anillos noetherianos.

Una consecuencia inmediata del resultado anterior, es que Z es un anillo noetheriano.

Ya en este punto podemos proceder a considerar otros ideales principales tales como

Definición 3.28 Ideales maximales

Sea (A, +, ·) un anillo. Un ideal M de A es un ideal maximal si M 6= A y si I es un ideal de
A tal que M ⊆ I ⊆ A entonces M = I o I = A.

En particular, si M ⊂ I entonces I = A.
En otras palabras, un ideal es maximal sino esta contenido en ningún otro ideal no trivial.

Ejemplo 3.28.1
El ideal 3Z de Z es maximal. De hecho, se puede asegurar que nZ es un ideal maximal de Z si
y sólo si n es un número primo.

Por el ejemplo 3.24.1, todo ideal de Z es principal y además posee la forma nZ, con (n ∈ N).
(=⇒) nZ es un ideal maximal de Z =⇒ n es primo.
Supongamos que n no es un número primo, entonces n lo podemos escribir como

n = pq, con p 6= ±1; q 6= ±1; p, q ∈ Z

por consiguiente, pZ es un ideal de Z tal que se cumple

nZ = {nz : z ∈ Z}
= pqZ
= {(pq)z : z ∈ Z}
= {p(qz) : z ∈ Z}
⊂ pZ ? como q 6= ±1.
⊂ pZ 6= Z ? puesto como p 6= ±1.
76 Teorı́a de anillos y cuerpos

Como consecuencia, tenemos que nZ no es un ideal maximal (contradicción con la hipótesis, que
asegura que nZ es un ideal maximal).
Ası́ que concluimos que si nZ es un ideal maximal, entonces n es primo.
(⇐=) n es primo =⇒ nZ es un ideal maximal de Z.
Si n es primo y supongamos que mZ es otro ideal de Z tal que

nZ ⊆ mZ ⊆ Z

esto implica que n = mq (puesto que n ∈ nZ y también n ∈ mZ, entonces n = mq, q ∈ Z); q ∈ Z
esto implica que m|n; y por definición de número primo, tenemos que m = n ó m = 1.

Si m = n, entonces nZ es maximal.

Si m = 1, entonces nZ ⊆ mZ = Z, nZ es maximal.

M
Serı́a importante preguntarnos: ¿Todo anillo tiene ideal maximal?, Es decir, garantizar la exis-
tencia de ideales maximales en un anillo, entonces para responder a esta pregunta, necesitamos
unas series de conceptos y teoremas los cuales introducimos a continuación

3.5. Lema de Zorn-Kuratowski

Definición 3.29 Conjunto parcialmente ordenado
Sea X un conjunto no vacı́o, con una relación binaria R definida en X × X, X junto con la
relación R es un Conjunto parcialmente ordenado si cumple con las siguientes condiciones:
(i) ∀x ∈ X[(x, x) ∈ R] (Reflexividad).
(ii) ∀x ∈ X∀y ∈ X[(x, y) ∈ R ∧ (y, x) ∈ R] =⇒ (x = y) (Antisimetrı́a).
(iii) ∀x ∈ X∀y ∈ X∀z ∈ X[(x, y) ∈ R ∧ (y, z) ∈ R] =⇒ (x, z) ∈ R (Transitividad).

Para facilitar la notación, denotaremos como ≤ a la relación binaria R. Por tanto, el conjunto
parcialmente ordenado X con una relación binaria ≤, lo denotamos como (X, ≤). Entonces reescribir
la definición anterior como:
(i) ∀x ∈ X[x ≤ x] (Reflexividad).
(ii) ∀x ∈ X∀y ∈ X[(x ≤ y) ∧ (y ≤ x)] =⇒ (x = y) (Antisimetrı́a).
(iii) ∀x ∈ X∀y ∈ X∀z ∈ X[(x ≤ y) ∧ (y ≤ z)] =⇒ (x ≤ z) (Transitividad).
3.5 Lema de Zorn-Kuratowski 77

Definición 3.30 Elementos comparables

Sea (X, ≤) un conjunto parcialmente ordenado no vacı́o, diremos que x ∈ X, y ∈ X son
elementos comparables si x ≤ y ó y ≤ x.

Definición 3.31 Cota superior

Sea (X, ≤) un conjunto no vacı́o parcialmente ordenado y A ⊂ X (con A 6= ∅), se dice que un
elemento c ∈ X es una cota superior de A, si para cualquier a ∈ A se cumple que a ≤ c.

Definición 3.32 Elemento maximal

Sea (X, ≤) un conjunto parcialmente ordenado. Un elemento m ∈ X es maximal en X si para
cada x ∈ X (el cual es comparable con m) x ≤ m.

Definición 3.33 Conjunto linealmente ordenado (o totalmente ordenado)

Sea (X, ≤) un conjunto parcialmente ordenado. Si cada par de elementos en X son comparables,
se dice que (X, ≤) es un conjunto linealmente (o totalmente) ordenado .

Definición 3.34 Cadena

Sea (X, ≤) un conjunto parcialmente ordenado. Un subconjunto no vació A de X que es lineal-
mente ordenado por ≤ es llamado una cadena en X.

Lema 3.35 (Zorn-Karatowski)

Sea (X, ≤) un conjunto no vacı́o parcialmente ordenado, tal que toda cadena en X tiene al
menos una cota superior en X, entonces X tiene elemento maximal.

Ahora ya poseemos la herramientas para demostrar la proposición que garantiza la existencia

de ideales maximales, veamos como realizarla

Teorema 3.36
Sea (A, +, ·) un anillo unitario distinto de 0 (A 6= 0). Entonces A tiene al menos un ideal
maximal, de hecho, cada ideal en A (excepto A mismo) esta contenido en un deal maximal de A.

Demostración:
Si I es maximal, no hay nada que demostrar.
Si I no es maximal, ∃J0 ideal de A, tal que I ⊂ J0 ⊂ A.
78 Teorı́a de anillos y cuerpos

Si I es un ideal de A, tal que I 6= A. Sea

S = {J ∈ A : J es un ideal de A y I ⊂ J 6= A}

S es el conjunto de todos los ideales de A que contienen a I.

Tenemos que S 6= ∅ pues I ∈ S.
Ordenamos el elemento de S por inclusión (es decir, I1 ≤ I2 ⇐⇒ I1 ⊆ I2 ), entonces (S, ⊆) es
un conjunto parcialmente ordenado. Sea

C = {Ci : i ∈ K} una cadena

donde cada Ci es un ideal de A contenido en S. Entonces debemos probar que tiene cota superior
en S.
Sea
[
C= Ci
i∈K
veamos que C es un ideal de A.
Para cualesquiera a, b ∈ C, entonces para algún i, j ∈ K; a ∈ Ci , b ∈ Cj . Como C es una cadena,
entonces Ci ⊆ Cj ó Cj ⊆ Ci (por definición 3.34). Podemos suponer sin perdida de generalidad
que Cj ⊆ Ci , como Ci es un ideal de A, entonces para todo x, y ∈ Ci implica que a − b ∈ Ci y
ar ∈ Ci (con r ∈ A ). Por lo tanto, si a, b ∈ C implica que a − b ∈ Ci ⊆ C y también ar ∈ Ci ⊆ C.
De igual forma razonamos para obtener que 0 ∈ C. Como consecuencia, C es un ideal de A.
Ası́ que como I ⊆ Ci , para cada i ∈ K, entonces I ⊆ C. Tenemos también que ver que C 6= A.
Si un ideal que contenga al 1, en un anillo unitario, entonces necesariamente I = A (siendo I
el ideal de A).
Debido a que Ci ∈ S, Ci 6= A, para i ∈ I. Por consiguiente, 1 6∈ Ci (de otra manera, Ci = A, y
serı́a una contradicción), por lo tanto, 1 6∈ C. Entonces C 6= A y C ∈ S. Claro que C es una cota
superior de la cadena C.
Ası́ que S satisface las hipótesis del lema 3.35 (Lema de Zorn-Kuratowski) y entonces S tiene
elemento maximal I0 . Pero el elemento maximal en S es un ideal maximal de A, puesto que
sino, supongamos que existe un ideal maximal J0 de A, entonces por definición 3.28, tenemos que
I0 ⊂ J0 ⊂ A, lo cual es una contradicción pues este J0 tiene que pertenecer a S y entonces I0 ⊂ J0
y dijimos que I0 es el mayor ideal que contiene a los otros en S.
Ası́ que el elemento maximal de S es un ideal maximal de A.
2
3.5 Lema de Zorn-Kuratowski 79

Con esto probamos la existencia del ideal maximal en un anillo y que además todo ideal de A
esta contenido en un ideal maximal de A.
Ahora podemos realizar una clasificación de anillos debido a la estructura de sus ideales maxi-
males y esto lo hacemos de la siguiente manera;

Definición 3.37 Anillo local

Sea (A, +, ·) un anillo. Si A tiene exactamente un ideal maximal, se dice que A es un anillo local.

Definición 3.38 Anillo semi-local

Sea (A, +, ·) un anillo, con sólo un número finito de ideales maximales, entonces se dice que A
es un anillo semi-local.

Ejemplo 3.38.1
Todos los anillos de división conmutativos son anillos locales.

Veamos este resultado, y es que si I es un ideal de un anillo de división conmutativo, implica

que todos los elementos a ∈ I poseen inverso en I (es decir, a−1 ∈ I), por lo tanto se cumple que
1 = aa−1 ∈ I y si b ∈ A entonces b = b1 ∈ I, es decir, todo elemento de A esta en I; entonces
I = A.
Ası́ que los únicos ideales de un cuerpo son los impropios. Es decir, {0} y A; pero como A no
puede ser un ideal maximal (por definición 3.28) entonces el único ideal maximal es {0} y de esto
concluimos que A es un anillo local.
Es importante observar que los ideales juegan un papel fundamental en la teorı́a de anillos,
tanto que se puede hacer una analogı́a con la importancia que juega los subgrupos normales en la
teorı́a de grupos.
Motivados por la observación realizada anteriormente, introduciremos una definición (de los
anillos cocientes), recordando la definición realizada de los grupos cocientes (definición ??). Pero
antes de presentar esta definición, consideremos los siguientes conceptos preliminares.

Definición 3.39 Congruencias

Sea (A, +, ·) un anillo y I un ideal de A. Diremos que dos elementos a, b ∈ A son congruentes
módulo I si a − b ∈ I. Lo denotaremos como a ≡ b(mod I).

De hecho, se puede probar que la última relación que se presentó es una relación de equivalencia.
También es importante notar que las clases de equivalencia de un elemento a ∈ A es
80 Teorı́a de anillos y cuerpos

[a] = a + I = {a + i : i ∈ I}
= {b ∈ A : a ≡ b(mod I)}
= {b ∈ A : a − b ∈ I}

Definición 3.40 Anillos cocientes

Sea (A, +, ·) un anillo y I un ideal de A. Tenemos que A/I es el conjunto cociente originado por
la relación de congruencia módulo I (definición 3.39). Entonces (A/I, +, ·) es el anillo cociente
de A por I con las siguientes relaciones binarias

(a + I) + (b + I) = (a + b) + I
(a+I)(b+I) = ab + I

De inmediato procedemos a considerar un ejemplo

Ejemplo 3.40.1
Tenemos que (Z, +, ·) es un anillo (por ejemplos 3.1.1) y nZ es un ideal de Z (por ejemplo
3.18.2). Entonces Z/nZ = Zn .

Por la definición anterior se tiene que Z/nZ es el conjunto cociente originado por la relación de
congruencia módulo nZ y aplicando la definición 3.39 obtenemos que si a, b ∈ Z, entonces a−b ∈ nZ
y por definición del conjunto nZ implica que

a − b = nz

para algún z ∈ Z y esto nos dice que que n|a − b y por la definición 2.9 se tiene que a ≡ b(mod n);
este resultado nos da el conjunto de los enteros módulos n. Es decir,

Z/nZ = Zn

M
Ya con esta serie de resultados y conceptos esclarecidos podemos proceder a plantear los teore-
mas de isomorfismo (primer y segundo). La prueba la omitiremos pues se realiza de manera similar
que en el primer y segundo teorema de isomorfismo de la teorı́a de grupos.

Teorema 3.41 (Primer teorema de isomorfismo)

Sean (A, +, ·) y (B, ⊕, ¯) ambos anillos y f : A −→ B un homomorfismo de anillos. Entonces
f induce un isomorfismo de anillos

A/K(f ) ∼
= Img(f )
3.5 Lema de Zorn-Kuratowski 81

Demostración:
Se realiza de forma similar a la demostración del primer teorema de isomorfismo para grupos
(teorema 2.36).
2

Teorema 3.42 (Segundo teorema de isomorfismo)

Sean (A, +, ·) y I, J ambos ideales de A. Entonces existe un isomorfismo de anillos

I/(I ∩ J) ∼
= (I + J)/J

Demostración:
Se hace de manera análoga al segundo teorema de isomorfismo (teorema 2.37).
2
Ya en este punto, podemos empezar a considerar una estructura de vital importancia para el
álgebra, como lo son los cuerpos (los cuales cuando fueron inicialmente estudiados recibieron el
nombre de dominios racionales).

Definición 3.43 Cuerpos

Sea (C, +, ·) un anillo de división. Si C es conmutativo se dice que C es un cuerpo.

En particular, un cuerpo es un anillo conmutativo y unitario en el cual 1 6= 0 y cada elemento

a ∈ C (con a 6= 0), tiene inverso en C, es decir, existe a−1 ∈ C tal que a−1 a = 1.
Hay que destacar que cada cuerpo C es un dominio, pero el recı́proco no es cierto (es decir, no
todo dominio es un cuerpo) y podemos dar un contraejemplo para respaldar la aseveración que se
realizó y es que (Z, +, ·) es un dominio y no es un cuerpo (puesto que no todo elemento en Z posee
inverso multiplicativo).
Para ilustrar la definición anterior, consideremos algunos ejemplos

Ejemplos 3.43.1
(i) (Q, +, ·) es un cuerpo.
El conjunto de los racionales con las operaciones de adición y multiplicación usual es un cuerpo.
(ii) (R, +, ·) es un cuerpo.
(iii) (C, +, ·) es un cuerpo.

Ahora observemos cual es el cuerpo con menos elementos.

82 Teorı́a de anillos y cuerpos

Ejemplo 3.43.2
Sea Z2 = {0, 1} con las relaciones de adición definidas de la siguiente forma

⊕ 0 1
0 0 1
1 1 0

y la multiplicación como

¯ 0 1
0 0 0
1 0 1

Fácilmente se comprueba que (Z2 , ⊕, ¯) es un cuerpo.

Ejemplo 3.43.3
En general, si n ∈ N y n es primo, entonces (Zn , ⊕, ¯) es un cuerpo. Más aún si (Zn , ⊕, ¯)
(n ∈ N) es un cuerpo puede demostrarse que n es primo.

Proposición 3.44
Todo cuerpo es un dominio de integridad.

Demostración:
Sea (C, +, ·) un cuerpo y supongamos que a, b ∈ C tales que si a 6= 0, se tiene que

ab = 0
a−1 (ab) = a−1 0 ? Multiplicando por a−1 .
(a−1 a)b = a−1 0 ? Asociatividad.
1b = 0 ? Elemento inverso en C y teorema 4.3.
b=0 ? Puesto que 1 6= 0 y 1 es el elemento identidad.

Entonces C es un dominio de integridad, pues cumple la condición de la definición 3.5.

2
Además, por el comentario realizado en el ejemplo 3.38.1 observamos que los ideales de un
cuerpo C son {0} y C. También C tiene sólo un ideal maximal y este es el {0}.
Es importante observar en la proposición 3.44, que todo dominio de integridad no es un cuerpo.
La afirmación anterior queda confirmada por el siguiente ejemplo
3.5 Lema de Zorn-Kuratowski 83

Ejemplo 3.44.1
Los enteros gaussianos Z[i] = {a + ib : a, b ∈ Z} no forman un cuerpo y son un dominio de
integridad.

Los enteros gaussianos no forman un cuerpo,puesto que el inverso de a + ib es

a b
−i 2 con a2 − b2 6= 0
a2 − b2 a − b2
y
a b
6∈ Z y tampoco − 6∈ Z
a2 − b2 a2 − b2
por lo tanto, los elementos de Z[i] no tienen inverso en Z[i], entonces (Z[i], +, ·) no es un cuerpo y
son un dominio de integridad por ejemplo 3.6.1-3.

Ejemplo 3.44.2
Sea Q[i] = {a + bi : a, b ∈ Q} entonces (Q, +, ·) es un cuerpo (por ejemplo 3.43.1). Por lo tanto,
es un dominio de integridad (por proposición 3.44).

En especial, hemos considerado la definición de cuerpo, algunos ejemplos y probamos una pro-
posición que nos garantiza que todo cuerpo es un dominio de integridad (proposición 3.44), y
determinamos mediante un ejemplo que no todos los dominios de integridad son cuerpos (ejem-
plo 3.44.1). Ahora, debido a este resultado importante encontrado, serı́a importante preguntarnos:
¿Cuál es la caracterı́stica fundamental para que un dominio de integridad sea un cuerpo? Entonces
la repuesta a esta pregunta la tenemos en el siguiente teorema:

Teorema 3.45
Sea (D, +, ·) un dominio de integridad. Si D es un conjunto finito, entonces D es un cuerpo.

Demostración:
Sea
D = {d1 , d2 , . . . , dn }

con n ∈ N. Como por hipótesis D es un dominio de integridad, entonces D es un anillo conmutativo

(por definición 3.5), lo que tenemos que probar es que 1 ∈ D y además que todo elemento distinto
de 0 en D tiene inverso.
Supongamos que d ∈ D y además d 6= 0. Consideremos los elementos

d1 d, d2 d, . . . , dn d ∈ D
84 Teorı́a de anillos y cuerpos

por cerradura en D y llamemos

C = {d1 d, d2 d, . . . , dn d}

Observemos que los elementos de C son distintos.

Si
di d = dj d con 1 ≤ i, j ≤ n, para i 6= j

entonces

di d = dj d
di d − dj d = 0
(di − dj )d = 0 ? Por propiedad distributiva en D y teorema 4.3.

pero como d 6= 0 y D es un dominio de integridad, debe cumplirse que

di − dj = 0
di = dj

contradicción, puesto que i 6= j, entonces implica que

di d 6= dj d para i 6= j

Supongamos (sin perdida de generalidad) que d1 = 0, ası́ que d 6= d1 . Además, D no tiene

divisores de cero (por definición de dominio de integridad), por tanto

| D |=| C |

Nota:

f : D −→ C
di 7−→ di d

para 1 ≤ i ≤ n (con n ∈ N). Ası́ que f es biyectiva.

Ahora, si y ∈ C, entonces existe un i ∈ N, tal que y = di d (por como se definió los elementos
de C) para algún di ∈ D. Como por suposición d ∈ D, entonces d ∈ C, esto implica que

d = di0 d

para algún di0 ∈ D, con 1 ≤ i0 ≤ n y como

3.5 Lema de Zorn-Kuratowski 85

y = di d
= di (di0 d) ? Puesto que d = di0 d.
= (di di0 )d ? Por asociatividad.
= (di0 di )d ? Por conmutatividad.
= di0 (di d) ? Por asociatividad.
= di0 y ? Por que y = di d.

Lo cual implica que di0 es el elemento unidad para D. Entonces, como di0 ∈ D, es decir, que
1 ∈ D (1 = di0 ∈ D).
Ası́ que
1 = di d; para 1 ≤ i ≤ n

con n ∈ N, para algún di ∈ D.

Esto implica que ∀d 6= 0 ∈ D, tiene inverso en D.
2
Al igual que en los casos de la teorı́a de grupos y la teorı́a de anillos, cuando definimos los
subgrupos y los subanillos, respectivamente, también podemos extrapolar esta definición al caso de
los cuerpos, de esta manera;

Definición 3.46 Subcuerpos

Un subcuerpo de un cuerpo C, es un subconjunto S de C que es también un cuerpo.

Ejemplo 3.46.1
(Q, +, ·) es un subcuerpo de (R, +, ·).

De hecho, es importante acotar que el menor subcuerpo (en cuanto la inclusión) en R que
contiene a Z es Q. Observemos porque sucede este hecho:
Sea
\
S= {K ⊆ R : K es un subcuerpo de R ∧ Z ⊆ K}

Claramente S ⊆ Q (pues Q es un subcuerpo de R y además Z ⊆ Q).

Ahora veamos que Q ⊆ S.
m
Si r ∈ Q, existen m, n ∈ Z, tal que r = n (podemos suponer sin perdida de generalidad que
m, n ∈ N). Pero m ∈ S y también n ∈ S (pues Z ⊆ S). Ası́ r ∈ S y Q ⊆ S.
Por consiguiente Q es el menor subcuerpo en R que contiene a Z.
86 Teorı́a de anillos y cuerpos

Proposición 3.47
Sea (C, +, ·) un cuerpo y {Ci }i∈I es una familia de subcuerpos de C. Entonces la intersección
de estos subcuerpos de C es también un subcuerpo de C.

Ejemplo 3.47.1
(Q[i], +, ·) es un subcuerpo de (C, +, ·).

Y al igual que el ejemplo anterior, tenemos que decir que el menor subcuerpo en C que contiene
a Z[i] es (Q[i], +, ·) (realizamos el análisis de igual forma que en el comentario anterior).

Proposición 3.48
Sea (C, +, ·) un cuerpo y S un subconjunto de C. Entonces S es un subcuerpo de C si y sólo si:
(i) S es un subanillo de C. Es decir, S ≤ C.
(ii) ∀a ∈ S con a 6= 0 =⇒ a−1 ∈ S.

Demostración:
La demostración se realiza de manera similar al teorema 2.15.
2
Capı́tulo 4
Teorı́a de módulos

En este capı́tulo se presentaran las definiciones y teoremas fundamentales de la teorı́a de los

módulos. Esta nueva estructura algebraica que daremos a conocer aquı́ utilizará muchos de los
resultados encontrados hasta ahora.

4.1. Definiciones, ejemplos y teoremas básicos

Definición 4.1 A-módulo izquierdo
Sea (A, +, ·) un anillo unitario. Un A-módulo izquierdo (o un módulo izquierdo sobre A),
el cual denotaremos como (M, A, +, ·), es un conjunto no vacı́o M , que posee dos operaciones.
La primera es una relación binaria, llamada adición y denotada por +, que esta definida ası́:
+ : M × M −→ M y la segunda es una función · : A × M −→ M ; además deben de cumplirse las
siguientes propiedades entre los elementos de este conjunto:
(M1) (M, +) es un grupo abeliano.
(M2) ∀r ∈ A∀u ∈ M ∀v ∈ M (r(u + v) = ru + rv).
(M3) ∀r ∈ A∀s ∈ A∀u ∈ M ((r + s)u = ru + su).
(M4) ∀r ∈ A∀s ∈ A∀u ∈ M ((rs)u = r(su)).
(M5) 1 ∈ A∀u ∈ M (1u = u).

El anillo unitario A se le denomina anillo base de M y los elementos de este anillo se les
llaman escalares.
Podemos acotar que un A-módulo derecho se define de manera análoga, realizando los cambios
obvios en (M1)...(M5).
88 Teorı́a de módulos

Si asumimos ru = ur (∀r ∈ A ∧ ∀u ∈ M ), entonces los A-módulos izquierdos coinciden con

los A-módulos derechos y se les llaman simplemente A-módulos. Mientras no se indique lo contrario
sólo se consideraran los A-módulos izquierdos, puestos que las mayorı́as de las propiedades coinciden
con las de los A-módulos derechos.
Analicemos los siguientes ejemplos, para comprender mejor el concepto de módulos.

Ejemplo 4.1.1
(i) Sea (A, +, ·) un anillo unitario. Entonces A es un módulo sobre si mismo. Es decir, (A, +, ·)
es un módulo.

Ejemplo 4.1.2
Sabemos que (Z, +, ·) es un anillo unitario. Entonces consideramos a M como un grupo con-
mutativo, ası́ que definimos za, para z ∈ Z, a ∈ M por

 z−veces

 z }| {

 a + a + ··· + a si z > 0;



za = 0a = 0 si z = 0;



 −a − a {z
− · · · − a} si z < 0.


 |
|z|−veces

Entonces los grupos conmutativos (o abelianos) son Z-módulos.

Ejemplos 4.1.3
(i) Si S es un subanillo de un anillo conmutativo y unitario A, entonces A es un S-módulo, cuando
la función · la definimos como

· : S × A −→ A
: (s, a) 7−→ sa

(ii) Si A es un anillo unitario, el conjunto An de todas la n−tuplas ordenadas, en la cual los

componentes están en A y definimos la suma y la multiplicación como:

(a1 , a2 , . . . , an ) + (b1 , b2 , . . . , bn ) = (a1 + b1 , a2 + b2 , . . . , an + bn )

y
r(a1 , a2 , . . . , an ) = (ra1 , ra2 , . . . , ran )

para ai , bi , r ∈ A (con 1 ≤ i ≤ n, n ∈ N). Por lo tanto, An es un A-módulo.

4.1 Definiciones, ejemplos y teoremas básicos 89

Ejemplo 4.1.4
Un ideal I de A es un módulo sobre A.

Al considerar la estructura de los módulos, observamos que podemos cambiar la estructura

algebraica de A (que es un anillo unitario) por la de cuerpo y esto abre paso a una estructura de
gran importancia en el álgebra:

Definición 4.2 Espacio vectorial

Un módulo V sobre un cuerpo F es llamado espacio vectorial.

Es de observar que para cada unas de la teorı́as estudiadas (hasta el momento)siempre ha

existido un resultado rutinario que se ha obtenido, en el caso de la teorı́a de grupos fue el teorema
2.10 y para la teorı́a de anillo fue el teorema 4.3; de igual forma pretendemos expresar en la teorı́a
de los módulos un resultado similar y lo hacemos del siguiente modo:

Teorema 4.3 Sea (A, +, ·) un anillo unitario, M un A-módulo. Entonces:

1. r + s = r + t =⇒ s = t.

2. r + r = r =⇒ r = 0.

3. −(−r) = r.

4. −(r + s) = −r − s.

5. 0 · r = a · 0 = 0.

para r, s, t ∈ M .

La demostración la omitiremos, pues se realiza utilizando un razonamiento similar al de la teorı́a

de grupos y de anillos.
Muchas de las definiciones realizadas para módulos pueden ser generalizadas para la estructura
de espacios vectoriales.
90 Teorı́a de módulos

4.2. Submódulos
Definición 4.4 Submódulo
Sea A un anillo unitario y M un A-módulo. Diremos que un conjunto N es un submódulo de
M si N ⊆ M y las operaciones que relacionan N y A son las mismas que relacionan M y A.

Tenemos que buscar un resultado que nos haga más fácil el diferenciar si un subconjunto de un
módulo dado es o no es un submódulo de este. Este resultado que nos hará más accesible el trabajo
es el siguiente:

Proposición 4.5
Sea A un anillo unitario y M un A-módulo. Un subconjunto N de M (N ⊆ M ) puede ser
dotado de estructura de submódulo si y sólo si N 6= ∅ y para todos los elementos a, b ∈ A, y todos
los r, s ∈ N se cumple que ar + bs ∈ N .

Debemos comprobar:
(i) (N, +) es un subgrupo de M.
(ii) Si a ∈ A y r ∈ N , entonces ar ∈ N .
Denotamos los submódulos de la siguiente manera: N ≤ M .

Ejemplos 4.5.1
(i) {0} y M son ambos submódulo de un módulo M . A estos se les denomina submódulos impropios.
Un submódulo propio de M es un submódulo N ⊂ M .
(ii) Si en el ejemplo 4.1.2 tomamos los subgrupos de M , entonces estos necesariamente son submódu-
los de M . Para grupos abelianos (es decir, los Z-módulos) los subgrupos y los submódulos son
precisamente los mismos subconjuntos.

Ejemplos 4.5.2
(i) Si M es un A-módulo y A un anillo conmutativo. Si a ∈ A, entonces

aM = {am : m ∈ M }

es un submódulo de M . Es decir, aM ≤ M .
(ii) Si T y S son submódulos de un módulo M , entonces

S + T = {s + t : (s ∈ S ∧ t ∈ T )}

es un submódulo de M , que contiene a S y T .

4.2 Submódulos 91

Ahora consideremos un caso especial de submódulo. Este concepto en las teorı́as anteriores
jugó un papel fundamental.

Proposición 4.6
Sea (A, +, ·) un anillo unitario y I un ideal de A. Entonces el anillo cociente A/I es un módulo
sobre A (es decir, A-módulo). Si a ∈ A y a + I es una clase lateral de I en A, entonces se define
la operación multiplicativa como
a(x + I) = ax + I

De la definición 3.40, obtenemos que (A/I, +) es un grupo conmutativo. Entonces nos falta
probar M2-M5 de la definición 4.1. Veamos como hacerlo,
(i) M2:
Entonces, sean u = a + I ∈ A/I; v = b + I ∈ A/I y r ∈ A. Ası́ que

r[(a + I) + (b + I)] = r[(a + b) + I] ? Por definición 3.40.

= r(a + b) + I ? Por definición de la operación multiplicativa.
= ra + rb + I ? Por distributividad en A.
= (ra + I) + (rb + I) ? Por definición 3.40.
= r(a + I) + r(b + I) ? Por definición de la operación multiplicativa.
(ii) M3:
Tomemos la notación similar a la anterior y asumamos que u = a + I ∈ A/I y sean r ∈ A,
s ∈ A. Por lo tanto

(r + s)(a + I) = (r + s)a + I ? Por definición de la operación multiplicativa.

= ra + sa + I ? Por distributividad en A.
= (ra + I) + (sa + I) ? Por definición 3.40.
= r(a + I) + s(a + I) ? Por definición de la operación multiplicativa.
(iii) M4:
Es decir, digamos que u = a + I ∈ A/I y además sean r ∈ A, s ∈ A. Ahora observemos lo
siguiente

(rs)(a + I) = (rs)a + I ? Por definición de la operación multiplicativa.

= r(sa) + I ? Por asociatividad en A.
= r[sa + I] ? Por definición de la operación multiplicativa.
= r(s(a + I)) ? Por definición de la operación multiplicativa.
92 Teorı́a de módulos

Y por último
(iv) M5:
Como A es un anillo unitario, 1 ∈ A y sea u = a + I ∈ A/I con a ∈ A. Por lo tanto

1u = 1(a + I)
= 1a + I ? Por definición de la operación multiplicativa.
= a+I ? Elemento unitario en A

El módulo A/I es llamado módulo cociente.

M

Proposición 4.7
Sea (A, +, ·) un anillo unitario y M un A-módulo. Sea {Si }i∈I una familia de submódulos de
M . Entonces
\
Si ≤ M
i∈I

Demostración:
La prueba se realiza de manera muy similar a la realizada para el teorema 2.21.
2

Definición 4.8 Submódulo generado por X

Si X es un subconjunto de un módulo M , llamaremos submódulo generado por X a la inter-
sección de todos los submódulos de M que contienen a X. A este submódulo lo denotaremos como
hXi. Entonces
\
hXi = {N ⊆ M : (X ⊆ N ∧ N ≤ M )}

Si X = {x1 , x2 , . . . , xn }, escribiremos hx1 , x2 , . . . , xn i, en lugar de h{x1 , x2 , . . . , xn }i.

Definición 4.9 Finitamente generado

Un módulo M esta finitamente generado si M es generado por un conjunto finito.

La definición anterior nos garantiza que si M es finitamente generado, entonces existe un con-
junto X = {x1 , x2 , . . . , xn }, con n ∈ N, tal que M =< X >.
Claro, lo que en los últimos conceptos se ha venido haciendo es clasificar algunos submódulos
de gran relevancia en la teorı́a de los módulos. Siguiendo este camino continuamos con la siguiente
definición:
4.3 Combinación lineal y independencia lineal 93

Definición 4.10 Submódulos cı́clicos

Sea M un A-módulo. Un submódulo de la forma

hxi = Ax = {ax : a ∈ A}

para x ∈ M es llamado submódulo cı́clico generado por x.

Es decir, que un submódulo es cı́clico si es generado por un sólo elemento.

4.3. Combinación lineal y independencia lineal

Definición 4.11 Combinación lineal
Sea M un R-módulo. Si X ⊆ M y A ⊆ R, entonces algún elemento de M de la forma
n
X
ai xi = a1 x1 + a2 x2 + · · · + an xn
i=1

con xi ∈ X y ai ∈ A es una combinación lineal de X con coeficientes en A.

Ejemplo 4.11.1
Sea (A, +, ·) un dominio y tenemos que A es un A-módulo. Entonces los x ∈ A son combina-
ciones lineales de X (con X 6= ∅ y X ⊆ A) con coeficientes en A. Esto lo sabemos por el teorema
3.22.

Es de notar que el conjunto de las combinaciones lineales de X con coeficientes en A es un

R-submódulo de M .

Definición 4.12 Linealmente independiente

Un subconjunto S de un A-módulo M es linealmente independiente si v1 , v2 , . . . , vn ∈ S
y r1 , r2 , . . . , rn ∈ A, se tiene que
n
X
ri vi = 0 =⇒ ri = 0
i=1

en donde 1 ≤ i ≤ n.

Debemos aclarar que si S es un conjunto infinito, S es linealmente independiente, si siempre

que S 0 ⊆ S y S 0 es finito; cualquier combinación lineal de elementos de S 0 que es igual a cero,
necesariamente implica que los coeficientes son ceros.
94 Teorı́a de módulos

Un conjunto que no es linealmente independiente es llamado linealmente dependiente .

Se puede observar que cualquier subconjunto de un conjunto linealmente independiente es tam-
bién linealmente independiente. De igual forma, si S es linealmente dependiente y S ⊆ G, G es
linealmente dependiente.

Proposición 4.13
Sea (A, +, ·) un anillo unitario y M un A-módulo. Si X 6= ∅ y X ⊆ M ; F ⊆ A y F 6= ∅ entonces
( n
)
X
< X >= y ∈ M : ∃n ∈ N, n > 0; αi ∈ F, xi ∈ X, tal que y = αi xi
i=1

Demostración:
La demostración de este resultado la omitiremos, pues se realiza utilizando un argumento similar
al teorema 3.22.
2

Corolario 4.14
Sea (A, +, ·) un anillo unitario y M un A-módulo. Si X ⊆ M (con X 6= ∅) genera a M , es
decir, hXi = M . Entonces cada elemento de M puede ser escrito como combinación lineal de X
con coeficientes en F (F ⊆ A).

Este es un resultado inmediato de la proposición 4.13, pero es obvio observando la consideración

de que hXi = M . Podemos expresar el resultado del corolario 4.14 de la siguiente manera:

( n
)
X
M = hXi = y ∈ M : ∃n ∈ N, n > 0; αi ∈ F, xi ∈ X, tal que y = αi xi
i=1
Tomando como referencia el hecho de que un ideal que no sea maximal siempre esta contenido
en un ideal maximal (con la inclusión usual de conjunto) y siguiendo la analogı́a que poseen los
ideales con los submódulos, y como demostramos en el teorema 3.36 que todo anillo tiene al menos
un ideal maximal y de hecho, cada ideal (excepto A) esta contenido en un ideal maximal; entonces
vamos a buscar un concepto similar en la teorı́a de los módulos para generalizar esta idea

Definición 4.15 Submódulo maximal

Sea A un anillo unitario y M un A-módulo. Sea N un submódulo propio de M , se dice que N
es un submódulo maximal si para cada x 6∈ N , se cumple que: N + hxi = M .

Ahora obtendremos un resultado análogo al teorema 3.36

4.4 Homomorfismo 95

Teorema 4.16
Si M es un A-módulo finitamente generado y N es un submódulo propio de M , entonces N
esta contenido en un submódulo maximal.

Demostración:
La demostración es análoga al caso de los ideales (teorema 3.36). En esta prueba juega un rol
fundamental el lema de Zorn-Kuratowski (lema 3.35) y es que se construye un conjunto parcialmente
ordenado, probamos que toda cadena en este conjunto tiene cota superior, para ası́ con la aplicación
del lema de Zorn-Kuratowski obtener un elemento maximal (con respecto a la inclusión) del conjunto
construido, y después ver que ese elemento maximal respecto al orden del conjunto sirve como
submódulo maximal.
2
Ahora vamos a definir los homomorfismo de módulos. La importancia de los homomorfismo
(ya sea en la teorı́a de grupos, anillos o módulos) reside en que es precisamente una función que
preserva las estructuras de los conjuntos. La definición de los homomorfismo en el caso de la teorı́a
de módulos es muy similar a la realizada para los grupos y anillos, entre otros.

4.4. Homomorfismo
Definición 4.17 Homomorfismo de módulos
Sea A un anillo unitario y (M, A, +, ·), (N, A, ⊕, ¯) ambos A-módulo. Entonces una función
f : M −→ N es un A-homomorfismo (o homomorfismo de módulos) si se cumple:
(i) f (a + b) = f (a) ⊕ f (b).
(ii) f (rm) = r ¯ f (m).
con a, b ∈ M y r ∈ A.

Ahora en este punto clasifiquemos los homomorfismo de módulos de acuerdo a las propiedades
de la función en cuestión y esto lo hacemos del siguiente modo:
Un monomorfismo de módulos es un homomorfismo inyectivo.
Un epimorfismo de módulos es un homomorfismo sobreyectivo.
Un isomorfismo de módulos es un homomorfismo biyectivo.
Un automorfismo de módulos es un isomorfismo de M sobre si mismo.
Consideremos algunos ejemplos
96 Teorı́a de módulos

Ejemplos 4.17.1
(1) Para todo A-módulo M , i : M −→ M (es la función identidad) es un automorfismo de A-
módulos y si f : M −→ N y g : N −→ T son dos homomorfismo de módulos, entonces g ◦ f :
M −→ T también es un A-homomorfismo.
(2) Si consideramos dos grupos conmutativos evaluados como Z-módulos (como en el ejemplo 4.1.2),
entonces los Z-homomorfismo entre M y N son exactamente los homomorfismos de grupos abelia-
nos.

Ejemplo 4.17.2
Sea (A, +, ·) un anillo unitario. Si M es un A-módulo y N es un submódulo de M (es decir,
N ≤ M ) y como probamos en el ejemplo 4.6 M/N es un A-módulo. Entonces podemos definir un
homomorfismo de módulos entre M y M/N dado por

f : M −→ M/N
: m 7−→ m + N

A la función f se le conoce como epimorfismo canónico. Claro esta que además f es un

epimorfismo, y es debido a esto que se le otorgo este nombre.
Al igual que para los grupos y los anillos tenemos las siguientes definiciones asociadas al concepto
de homomorfismo:

Definición 4.18 Núcleo e imagen

Sea A un anillo unitario y además M , N ambos A-módulos. Si f : M −→ N es un A-
homomorfismo. Entonces el núcleo (o kernel) y la imagen se definen como:

K(f ) = {m ∈ M : f (m) = 0N }

y
Img(f ) = {n ∈ N : n = f (m), para algun m ∈ M }

Notemos que:

? K(f ) es un submódulo de M (es decir, K(f ) ≤ M ).

? Img(f ) es un submódulo de N (es decir, Img(f ) ≤ N ).

Entonces ya con esto podemos caracterizar los monomorfismo debido al comportamiento del
núcleo;
4.5 Primer y segundo teorema de isomorfismo 97

Proposición 4.19
Sean M y N dos A-módulos y f : M −→ N un A-homomorfismo. Las siguientes afirmaciones
son equivalentes:
(1) f es un monomorfismo de módulos.
(2) K(f ) = {0M }

Demostración:
La demostración de este resultado se razona de igual forma que el teorema 2.20.
2
Los siguientes resultados son los teoremas de isomorfismos generalizados para la teorı́a de módu-
los, las pruebas las omitiremos, debido a que se realizan de manera similar al realizado en el primer
y segundo teorema de isomorfismo (teorema 2.36 y 2.37).

4.5. Primer y segundo teorema de isomorfismo

Teorema 4.20 (El primer teorema de isomorfismo de módulos)
Sea A un anillo unitario y si M , N son A-módulos y f : M −→ N es un A-homomorfismo.
Entonces K(f ) es un submódulo de M y

M/K ∼
= Img(f )

Teorema 4.21 (El segundo teorema de isomorfismo de módulos)

Sea A un anillo unitario. Si M es un A-módulo y N , T son ambos submódulos de M . Entonces

N/(N ∩ T ) ∼
= (N + T )/T
Bibliografı́a

[1] Ambrose Burnside, Theory of Groups of Finite Order, Dover, New York, 1955.

[2] Andrei V. Kelarev, Ring Constructions and applications, World Scientific Publishing, Singa-
pore, 2002.

[3] Benjamin, B. y Bruce, C., Teorı́a y Problemas de Teorı́a de Grupos, McGraw-Hill, México,
1972.

[4] Israel N. Herstein, Álgebra abstracta, Iberoamérica, España, 1988.

[5] Israel N. Herstein, Topics in Algebra, Blaisdell, New York, 1964.

[6] Israel Kleiner, A History of Abstract Algebra, Birkhäuser, Boston, 2007.

[7] Joseph J. Rotman, Advanced Modern Algebra, Prentice Hall; 1st edition, Spain 2002.

[8] Joseph J. Rotman, An introduction the theory of groups, Allyn and Bacon, New York, 1978.

[9] Nathan Jacobson, Lectures in abstract algebra (Vol. I, II, III), Springer-Verlag, New York,
1910.

[10] Nicolas Bourbaki, Elements of Mathematics Algebra I, Addison-Wesley Publishing Company,

Paris, 1974.

[11] Nicolas Bourbaki, Elementos de historia de las matemáticas, Alianza Universidad, Paris, 1976.

[12] Serge Lang, Algebra, Springer-Verlag, New York, 2002.

[13] Steven Roman, Advanced Linear Algebra, Springer, theird edition, New York, 2008.
BIBLIOGRAFÍA 99

[14] Thomas W. Hungerford, An introduction abstract algebra, Saunders College Publishing, New
York, 1990.

[15] Thomas W. Hungerford, Algebra, Springer-Verlag, New York, 1974.

[16] Tom Head, Modules, Wadsworth, California, 1974.

[17] Thomas Jech, Set Theory, Springer Monographs in Mathematics, Springer, 3rd millennium
ed., 2003.

[18] Van der Waerden, Algebra (Vol. I, II), Springer-Verlag, New York, 1966.