Tratado moderno de Álgebra
Tratado moderno de Álgebra
Gustav A. Tachek
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 se publica por etapas: sólo se incorporan unidades que han superado su revisión matemática y editorial.
La arquitectura inicial avanza desde operaciones binarias, magmas, semigrupos, monoides y grupos hacia subestructuras, morfismos, núcleos, imágenes, cocientes e isomorfismos; después continuará con anillos, cuerpos, estructuras ordenadas, espacios vectoriales y álgebra multilineal.
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:
- igualdad, que afirma identidad dentro del marco conjuntista adoptado;
- isomorfía, que afirma equivalencia estructural mediante una aplicación adecuada;
- 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.
Estado de la publicación
La fuente de trabajo tiene cerrada actualmente la infraestructura inicial de fundamentos, operaciones, semigrupos, monoides y grupos hasta el primer teorema de isomorfía para grupos. La edición web incorpora esas unidades una a una, preservando el orden deductivo.
Contenido disponible
- Capítulo 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. - 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. - 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. - Capítulo 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.
Ruta prevista
- Parte 0 — Fundamentos y lenguaje: interfaz fundacional; funciones, biyectividad e inversas; relaciones de equivalencia y cocientes.
- Parte I — Operaciones y estructuras: operaciones binarias, magmas y asociatividad.
- Parte II — Monoides y grupos: semigrupos, monoides, grupos, grupos abelianos, subgrupos, homomorfismos, isomorfismos, núcleo e imagen, subgrupos normales, clases laterales, grupos cociente y primer teorema de isomorfía.
- Partes posteriores: anillos y dominios; cuerpos; estructuras ordenadas; espacios vectoriales; homomorfismos y cocientes en estructuras posteriores; álgebra multilineal básica.
La siguiente incorporación pública será el Capítulo 2 — Semigrupos.