Tratado moderno de Álgebra

Tratado formal completo de álgebra: 40 capítulos y tres interfaces, desde operaciones y grupos hasta álgebra lineal, multilinealidad y producto tensorial.

Este tratado construye de manera deductivamente explícita las estructuras algebraicas que sirven de infraestructura reutilizable para la matemática posterior. La edición web reúne el tratado completo: 40 capítulos y tres interfaces fundacionales, con definiciones, hipótesis y demostraciones desarrolladas.

La arquitectura avanza desde operaciones binarias, magmas, semigrupos, monoides y grupos hacia subestructuras, morfismos, núcleos, imágenes, cocientes e isomorfismos; después continúa con anillos, cuerpos y estructuras ordenadas, y culmina en espacios vectoriales, dualidad algebraica y la construcción del producto tensorial.

Prefacio

Este tratado nace de una convicción: el álgebra se comprende mejor cuando las estructuras no aparecen como nombres ya hechos, sino como respuestas precisas a problemas matemáticos concretos.

Es fácil aprender una lista de objetos —magmas, semigrupos, monoides, grupos, anillos, cuerpos, espacios vectoriales— y memorizar los axiomas que los definen. Es más difícil, y también más importante, comprender por qué esas estructuras se organizan en una jerarquía, qué información añade cada nuevo axioma, qué propiedades sobreviven al pasar a subestructuras o cocientes y qué significa realmente afirmar que dos objetos son iguales, isomorfos o relacionados por un homomorfismo.

La intención de este libro es reconstruir esa arquitectura con cuidado.

No queremos que expresiones como «sea \(G\) un grupo» o «consideremos el cociente \(G/N\)» funcionen como cajas negras. Cuando utilicemos una estructura deberá estar claro qué datos la constituyen, qué leyes han sido demostradas o postuladas, qué operaciones están bien definidas y de qué resultados anteriores depende cada paso. Del mismo modo, cuando una teoría posterior invoque un resultado algebraico, deberá ser posible volver hasta su lugar de origen y reconstruir la cadena deductiva que lo sostiene.

El principio general del tratado puede formularse así:

Ninguna estructura, operación o propiedad se utilizará antes de haber sido definida, construida o demostrada, salvo aquello que pertenezca expresamente al fundamento declarado.

Esta disciplina no pretende convertir el álgebra en una sucesión de verificaciones burocráticas. Su propósito es precisamente el contrario: hacer visible la lógica interna que permite que, una vez establecidos los cimientos, grandes familias de argumentos puedan reutilizarse con extraordinaria economía.

El álgebra moderna es, en buena medida, el estudio de esa economía. Una misma idea puede reaparecer en contextos muy distintos porque lo decisivo no son siempre los elementos concretos, sino las relaciones que preservan las operaciones y las leyes. El paso desde una operación binaria hasta un grupo; desde un grupo hasta sus subgrupos, homomorfismos y cocientes; desde allí hasta anillos, cuerpos, espacios vectoriales y construcciones multilineales no será tratado como una colección de temas independientes. Queremos mostrarlo como una arquitectura de estructuras que se extienden, se restringen, se transportan y se comparan.

Por eso tendrán un lugar central los morfismos. Una estructura algebraica no queda plenamente comprendida sólo por los objetos que contiene, sino también por las aplicaciones que respetan su organización. Núcleo, imagen, cociente e isomorfismo aparecerán así no como artificios técnicos aislados, sino como partes de una misma pregunta: ¿qué información conserva una transformación y qué información identifica?

La misma precaución se aplicará a las identificaciones habituales. Dos estructuras isomorfas no serán declaradas literalmente iguales por comodidad. Una operación restringida no será confundida silenciosamente con la operación ambiente cuando sus dominios y codominios sean distintos. Un cociente no adquirirá una operación hasta que se haya probado que ésta es independiente de los representantes. Estas distinciones pueden parecer minuciosas al comienzo; más adelante evitan ambigüedades precisamente allí donde la teoría se vuelve más abstracta.

El tratado cumple además una función intermedia dentro de una biblioteca matemática mayor. Parte de su infraestructura será reutilizada por otros tratados, en particular por el Tratado moderno de Análisis. Esto obliga a una disciplina adicional: las dependencias entre obras deben ser explícitas y acíclicas. Cuando otro tratado importe un resultado algebraico, queremos que importe una pieza cerrada y auditable, no una cadena de supuestos implícitos.

Las demostraciones destinadas al lector seguirán siendo demostraciones matemáticas humanas. Procuraremos que sean completas, pero también legibles: que indiquen la idea del argumento, hagan visibles las hipótesis realmente utilizadas y distingan los pasos conceptuales de las manipulaciones rutinarias. La notación debe comprimir el pensamiento, no sustituirlo.

Detrás del texto existe además una infraestructura de control: registros de resultados, grafos de dependencias, auditorías de notación y fundamento, clasificación explícita del uso del axioma de elección y, cuando aporte valor, verificación formal asistida por computadora. Estas capas permiten controlar una obra extensa, pero no constituyen por sí mismas la exposición.

La regla editorial es sencilla:

\[ \boxed{ \text{la formalización controla la arquitectura} \qquad\text{y}\qquad \text{la demostración explica la matemática} } \]

También las fuentes bibliográficas cumplen un papel preciso. Este tratado no sigue una obra única ni traduce un texto previo. Los libros consultados sirven para contrastar definiciones, comparar arquitecturas, examinar variantes de prueba, revisar convenciones y situar históricamente determinados desarrollos. Ninguna afirmación se considerará demostrada por aparecer en una referencia: todo resultado que forme parte de la cadena deductiva del tratado deberá quedar justificado dentro de ella o importado explícitamente desde una interfaz ya cerrada.

Nuestro ideal puede resumirse en otra fórmula:

\[ \boxed{ \text{abstracción suficiente para reutilizar} \; + \; \text{precisión suficiente para auditar} \; + \; \text{claridad suficiente para comprender} } \]

Si este libro logra que el lector vea detrás de cada estructura no una lista de axiomas, sino una organización matemática cuya necesidad, alcance y relaciones pueden reconstruirse, habrá cumplido su propósito principal.

---

Cómo leer este libro

Este libro ha sido escrito como un tratado formal, pero no como un manual de formalización simbólica. La palabra tratado indica aquí una forma de ordenar el conocimiento: cada noción debe aparecer cuando están disponibles los datos necesarios para definirla; cada teorema debe utilizar únicamente resultados anteriores o dependencias explícitamente importadas; y cada estructura nueva debe mostrar con claridad qué hereda, qué añade y qué permite hacer.

El hilo conductor inicial puede representarse así:

\[ \text{operación} \longrightarrow \text{magma} \longrightarrow \text{semigrupo} \longrightarrow \text{monoide} \longrightarrow \text{grupo}, \]

pero esa cadena es sólo el comienzo. Muy pronto aparecerá una segunda dirección:

\[ \text{estructura} \longrightarrow \text{subestructura} \longrightarrow \text{morfismo} \longrightarrow \text{núcleo e imagen} \longrightarrow \text{cociente} \longrightarrow \text{isomorfía}. \]

Una forma útil de leer el tratado consiste en seguir simultáneamente ambas direcciones: qué axiomas construyen una estructura y qué transformaciones permiten compararla con otras.

No es necesario leer todas las páginas con la misma intensidad.

En una primera lectura, conviene seguir las motivaciones, las definiciones, los enunciados principales y los comentarios que explican qué nueva posibilidad queda abierta después de cada resultado. El objetivo es reconocer la arquitectura general antes de inspeccionar cada unión entre sus piezas.

En una segunda lectura, las demostraciones pasan al primer plano. Allí conviene preguntarse qué hipótesis se usan realmente. La asociatividad, por ejemplo, no debe invocarse por reflejo; el neutro no debe suponerse donde todavía no existe; la conmutatividad no puede infiltrarse en un argumento destinado a grupos generales. Buena parte del aprendizaje algebraico consiste en desarrollar sensibilidad hacia esas dependencias.

Existe además una lectura de auditoría. Los resultados formales poseen identificadores estables del tipo

\[ \texttt{TALG-DEF-00031}, \qquad \texttt{TALG-THM-00005}, \qquad \texttt{TALG-PRF-00033}. \]

Estos identificadores no son contenido que el lector deba memorizar. Funcionan como coordenadas persistentes. Permiten localizar una definición o una demostración, registrar exactamente de qué depende un resultado y conservar referencias estables aunque cambie la organización editorial de los capítulos.

Quien quiera estudiar la teoría de manera convencional puede ignorarlos casi por completo. Quien quiera reconstruir una cadena deductiva, auditar una prueba o comprobar la relación entre este tratado y otra obra de la biblioteca dispone con ellos de una segunda cartografía.

El grafo de dependencias cumple una función semejante. Una demostración publicada debe poder leerse como matemática ordinaria; el grafo, en cambio, responde a otra pregunta: qué resultados deben estar cerrados antes de que esa demostración sea legítima. Esta distinción es especialmente importante en una obra extensa, donde una circularidad puede quedar escondida detrás de conceptos familiares.

También conviene distinguir tres relaciones que en la práctica suelen mezclarse:

1. igualdad, que afirma identidad dentro del marco conjuntista adoptado;
2. isomorfía, que afirma equivalencia estructural mediante una aplicación adecuada;
3. identificación convencional, que puede adoptarse posteriormente por comodidad una vez demostrada la relación que la autoriza.

Este tratado será deliberadamente cuidadoso con ese orden. Una estructura isomorfa a otra no será reemplazada silenciosamente por ella. Una subestructura llevará la operación apropiadamente restringida. Un cociente será primero un conjunto de clases y sólo después, cuando corresponda, una estructura algebraica con operaciones bien definidas.

Algo parecido ocurre con los nombres familiares. Que una construcción sea estándar no significa que pueda usarse antes de tiempo. El primer teorema de isomorfía, una base de un espacio vectorial o un cuerpo de fracciones pueden ser conocidos de antemano por el lector; dentro de la arquitectura del tratado sólo estarán disponibles cuando todas sus dependencias hayan sido establecidas.

El tratamiento del axioma de elección merece una mención especial. No se utilizará silenciosamente. Cuando un resultado dependa de alguna forma de elección —por ejemplo, en argumentos posteriores sobre bases o principios maximales— esa dependencia deberá quedar declarada. Mientras una construcción pueda realizarse sin elección global de representantes o sin seleccionar simultáneamente elementos de una familia, preferiremos la construcción explícita.

Las herramientas de verificación formal se utilizarán con el mismo criterio. Una certificación asistida puede detectar errores, comprobar cadenas inferenciales o reforzar puntos especialmente delicados. Pero el lector no necesitará ejecutar un asistente de pruebas para entender el libro. La exposición principal debe contener la matemática necesaria para comprender por qué un resultado es verdadero.

La bibliografía tampoco funciona como una lista de autoridades que sustituyan a la argumentación. Algunas obras servirán como control estructural, otras ofrecerán variantes de demostración, historia o notación. El uso efectivo de una fuente se registrará por separado de las dependencias matemáticas internas. De este modo puede saberse tanto de dónde proviene una influencia editorial como de qué teorema depende realmente una prueba.

Este diseño hace que ciertas partes iniciales avancen despacio. La lentitud es deliberada. Definir con precisión una restricción, probar la unicidad de un neutro o verificar la buena definición de una operación cociente puede parecer excesivo cuando esos hechos ya son familiares. Sin embargo, cada uno de ellos se convierte después en infraestructura reutilizable. El costo se paga una sola vez; la ganancia reaparece en muchos capítulos.

A medida que el tratado avance hacia anillos, cuerpos, estructuras ordenadas, espacios vectoriales y álgebra multilineal, la cantidad de conceptos aumentará, pero no queremos que aumente en la misma proporción la cantidad de supuestos tácitos. La abstracción debe permitir precisamente lo contrario: reutilizar resultados generales en contextos nuevos sin volver a demostrar lo que la estructura ya garantiza.

Por eso, junto a la pregunta habitual

\[ \text{«¿qué podemos demostrar?»}, \]

este libro mantendrá constantemente otras tres:

\[ \boxed{ \text{«¿qué estructura estamos usando?»} \qquad \text{«¿qué se preserva?»} \qquad \text{«¿de qué depende?»} } \]

Aprender álgebra consiste en gran medida en aprender a reconocer esas preguntas incluso cuando la notación cambia y los objetos concretos son diferentes.

Edición web completa

Edición del 2 de octubre de 2026: están disponibles los capítulos 1–40 y las tres interfaces fundacionales, incluida la interfaz inicial presentada como capítulo 0. Son 43 unidades matemáticas, además del prefacio y la guía de lectura.

1. Parte 0 — Fundamentos y lenguaje — Tres interfaces fundacionales: Funciones, inversas, equivalencias y cocientes.
2. Parte I — Operaciones y estructuras — Capítulo 1: Operaciones binarias, magmas y asociatividad.
3. Parte II — Monoides y grupos — Capítulos 2–13: Subgrupos, morfismos, normalidad, cocientes e isomorfía.
4. Parte III — Anillos y dominios — Capítulos 14–21: Unidades, ideales, cocientes y dominios íntegros.
5. Parte IV — Cuerpos — Capítulos 22–24: Subcuerpos, morfismos y cuerpo de fracciones.
6. Parte V — Estructuras ordenadas — Capítulos 25–28: Grupos, anillos y cuerpos ordenados; arquimedianidad.
7. Parte VI — Construcciones y transporte — Capítulos 29–31: Productos, isomorfías superiores, correspondencia y descenso.
8. Parte VII — Espacios vectoriales — Capítulos 32–37: Subespacios, bases, dimensión finita, mapas lineales, cocientes y dualidad.
9. Parte VIII — Álgebra multilineal básica — Capítulos 38–40: Bilinealidad, multilinealidad, formas y producto tensorial.

Las referencias de lectura usan números editoriales; los identificadores estables se conservan como anclas para recorrer las dependencias. Cada capítulo presenta sus definiciones, hipótesis y demostraciones, con los fundamentos y usos del axioma de elección declarados donde corresponden.

Contenido del tratado

Parte 0 — Fundamentos y lenguaje

0. Interfaz fundacional para Álgebra (MA-BCH-0021).

   establece la interfaz explícita con el fundamento lógico-conjuntista: pares ordenados, productos cartesianos, funciones, identidad y composición; verifica la ausencia de circularidad y deja habilitada la definición formal de operación binaria.

1. Interfaz funcional II — Biyectividad e inversas (MA-BCH-0022).

   incorpora inyectividad, sobreyectividad, biyectividad y función inversa; separa explícitamente la biyectividad de la compatibilidad algebraica y prepara la noción de isomorfismo.

2. Interfaz fundacional III — Relaciones de equivalencia y cocientes (MA-BCH-0023).

   incorpora relaciones de equivalencia, clases y conjuntos cociente; fija la distinción entre representante y clase y exige pruebas explícitas de buena definición para operaciones sobre cocientes.

Parte I — Operaciones y estructuras

1. Operaciones binarias y estructuras elementales (MA-BCH-0024).

   inicia la Parte I con la definición de operación binaria interna, la notación infija, el magma como estructura mínima y la asociatividad como primera ley algebraica.

Parte II — Monoides y grupos

2. Semigrupos (MA-BCH-0025).

   abre la Parte II definiendo el semigrupo como magma asociativo y separa lo que la asociatividad permite de las propiedades que todavía no se han introducido.

3. Elementos neutros y monoides (MA-BCH-0026).

   distingue neutros izquierdo, derecho y bilateral; demuestra la coincidencia de neutros laterales y la unicidad del neutro sin usar asociatividad; define monoide como semigrupo con neutro bilateral.

4. Inversos y grupos (MA-BCH-0027).

   distingue inversos izquierdo, derecho y bilateral; demuestra mediante asociatividad que los inversos laterales coinciden y que el inverso es único; define grupo como monoide en el que todo elemento posee inverso bilateral.

5. Conmutatividad y grupos abelianos (MA-BCH-0028).

   introduce la conmutatividad como una ley independiente de una operación binaria y define el grupo abeliano como grupo con operación conmutativa, cerrando la primera jerarquía estructural del tratado.

6. Subestructuras y criterio de subgrupo (MA-BCH-0030).

   construye la restricción canónica de una operación a subconjuntos cerrados, define submagmas, subsemigrupos, submonoides y subgrupos y demuestra el criterio de subgrupo de una sola condición.

7. Homomorfismos de magmas, monoides y grupos (MA-BCH-0032).

   introduce la noción de homomorfismo desde magmas hasta grupos, demuestra estabilidad bajo identidad y composición y prueba que, en grupos, la preservación del neutro y de los inversos se deduce de la preservación de la operación.

8. Isomorfismos (MA-BCH-0033).

   define isomorfismos como homomorfismos biyectivos, demuestra estabilidad bajo inversas, identidades y composición, introduce la relación de isomorfía y la distingue de la igualdad literal.

9. Núcleo e imagen de homomorfismos de grupos (MA-BCH-0034).

   construye núcleo e imagen como subgrupos canónicos de un homomorfismo y caracteriza la inyectividad mediante el núcleo trivial y la sobreyectividad mediante la imagen total.

10. Subgrupos normales (MA-BCH-0035).

    introduce la normalidad mediante conjugación y demuestra la normalidad de núcleos y de subgrupos de grupos abelianos.

11. Clases laterales y caracterización de la normalidad (MA-BCH-0036).

    construye clases laterales y conecta su igualdad con la normalidad.

12. Cocientes de grupos (MA-BCH-0037).

    construye grupos cociente y la proyección canónica después de demostrar la buena definición del producto.

13. Primer teorema de isomorfía para grupos (MA-BCH-0038).

    identifica el cociente por el núcleo con la estructura inducida sobre la imagen.

Parte III — Anillos y dominios

14. Anillos (MA-BCH-0039).

    abre la teoría de anillos asociativos unitarios y desarrolla sus primeras leyes estructurales.

15. Unidades de un anillo (MA-BCH-0040).

    construye el conjunto y el grupo de unidades de un anillo.

16. No trivialidad y divisores de cero (MA-BCH-0041).

    introduce no trivialidad, divisores de cero laterales y criterios de cancelación.

17. Subanillos y homomorfismos de anillos (MA-BCH-0042).

    fija la convención unital de subanillos y morfismos y estudia su núcleo e imagen.

18. Ideales (MA-BCH-0043).

    introduce ideales laterales y bilaterales y su relación con núcleos.

19. Cocientes de anillos (MA-BCH-0044).

    construye congruencias y operaciones bien definidas sobre clases módulo un ideal.

20. Isomorfismos y primer teorema de isomorfía para anillos (MA-BCH-0045).

    desarrolla la isomorfía de anillos y su primer teorema fundamental.

21. Dominios íntegros (MA-BCH-0046).

    define dominios íntegros y sus caracterizaciones mediante producto nulo y cancelación.

Parte IV — Cuerpos

22. Cuerpos y subcuerpos (MA-BCH-0047).

    introduce cuerpos y subcuerpos sobre la infraestructura anular previa.

23. Homomorfismos de cuerpos (MA-BCH-0048).

    especializa los homomorfismos de anillos y demuestra la inyectividad automática entre cuerpos.

24. Cuerpo de fracciones de un dominio íntegro (MA-BCH-0049).

    construye el cuerpo de fracciones sin elección global de representantes y establece la inmersión canónica del dominio.

Parte V — Estructuras ordenadas

25. Grupos ordenados (MA-BCH-0050).

    abre la Parte V con compatibilidad entre orden y operación de grupo y la reconstrucción mediante conos.

26. Anillos ordenados (MA-BCH-0062).

    estudia la compatibilidad multiplicativa del orden y las hipótesis necesarias para las desigualdades estrictas.

27. Cuerpos ordenados (MA-BCH-0135).

    Capítulo del Tratado moderno de Álgebra dedicado a cuerpos ordenados, inversos, división y comparación de cocientes.

28. Propiedades arquimedianas (MA-BCH-0136).

    Capítulo del Tratado moderno de Álgebra dedicado a numerales internos, arquimedianidad, cambios de escala y recíprocos pequeños.

Parte VI — Construcciones y transporte

29. Productos directos y propiedades universales (MA-BCH-0137).

    Capítulo del Tratado moderno de Álgebra dedicado a productos directos y propiedades universales de productos, cocientes y cuerpos de fracciones.

30. Teoremas de isomorfía superiores y correspondencia (MA-BCH-0138).

    Capítulo del Tratado moderno de Álgebra dedicado a los segundos y terceros teoremas de isomorfía y a la correspondencia de subgrupos e ideales en cocientes.

31. Descenso y transporte de estructura (MA-BCH-0139).

    Capítulo del Tratado moderno de Álgebra dedicado al descenso de homomorfismos entre cocientes y al transporte de subestructuras mediante isomorfismos.

Parte VII — Espacios vectoriales

32. Espacios vectoriales: definición y ejemplos (MA-BCH-0140).

    Definición de espacio vectorial sobre un cuerpo, identidades escalares y construcción de espacios de funciones y potencias finitas.

33. Subespacios y generación (MA-BCH-0141).

    Criterio de subespacio, sumas finitas y construcción del subespacio generado, con sus propiedades de minimalidad, intersección y suma.

34. Independencia lineal y bases (MA-BCH-0142).

    Independencia lineal, coordenadas de soporte finito, extracción y extensión finitas de bases y existencia general bajo la hipótesis adicional de Zorn.

35. Dimensión finita (MA-BCH-0143).

    Intercambio finito, dimensión natural bien definida, criterios de base, finitud de subespacios y fórmula de dimensión para sumas y sumas directas internas.

36. Aplicaciones lineales (MA-BCH-0144).

    Linealidad, núcleo e imagen, espacio libre de soporte finito, extensión sobre una base dada y fórmula de rango-nulidad en dimensión finita.

37. Cocientes y dualidad elemental (MA-BCH-0145).

    Cocientes vectoriales, factorización lineal, dual algebraico, base dual, evaluación canónica y aniquiladores en dimensión finita.

Parte VIII — Álgebra multilineal básica

38. Aplicaciones bilineales (MA-BCH-0146).

    Bilinealidad, operaciones puntuales, expansión finita, ejemplos y especificación única por valores sobre dos bases dadas.

39. Multilinealidad y formas (MA-BCH-0147).

    Aplicaciones multilineales de aridad positiva y finita, especificación por bases dadas, formas simétricas y alternantes, y la excepción de característica dos.

40. Infraestructura tensorial mínima (MA-BCH-0148).

    Construcción del producto tensorial por cociente, aplicación canónica, tensores puros, propiedad universal, mapas inducidos y bases tensoriales dadas.