¿Qué es el álgebra abstracta?

Puede ser útil comenzar con las matemáticas básicas y ver cómo funcionan las cosas hasta el álgebra abstracta.

Comencemos con la aritmética. Esa es la parte de las matemáticas con la que todos están más familiarizados: la práctica de manipular números a través de operaciones simples como suma, resta, multiplicación y división. Todos necesitan aritmética para pasar un día de compras, conducir un automóvil o equilibrar sus chequeras. (Sospecho que muchas personas realmente identifican la aritmética con las matemáticas, lo que lleva a la pregunta que la gente a menudo me hacía cuando estaba haciendo mi doctorado, a saber, “¿No se ha descubierto todo lo relacionado con las matemáticas?”)

El siguiente es el álgebra. Aquí es donde entran en juego esos misteriosos símbolos como “x”. A menudo, incluso en problemas bastante simples, desea averiguar qué números satisfacen ciertas propiedades. Por ejemplo: ¿Cuándo habré vivido la mitad de mi vida en California? Bueno, si tengo 40 años y he vivido aquí 15 años, entonces en x años habré vivido aquí (15 + x) años y luego tendré (40 + x) años, entonces cuando sea ( 15 + x) es la mitad de (40 + x)? Cuando 30 + 2x = 40 + x, es decir x = 10. Eso es álgebra. La manipulación de símbolos para resolver problemas numéricos.

Entonces, ¿qué es el álgebra abstracta? También se trata de la manipulación de símbolos, pero en este caso no necesariamente representan números. Representan objetos abstractos que tienen una relación entre sí, que pueden interactuar entre sí de maneras bien definidas. El álgebra es entonces el estudio de estas interacciones y sus efectos. Y aunque los objetos de estudio no son necesariamente números, son los números los que proporcionan la motivación para el álgebra abstracta, que son los ejemplos concretos más simples de estos objetos abstractos. Y las reglas de interacción se basan en las reglas de la aritmética.

Por lo tanto, el álgebra abstracta sirvió como una forma de reducir los números a sus elementos esenciales (símbolos que se pueden combinar para producir símbolos similares, como sumar o multiplicar dos números para producir un tercer número) y luego estudiar estas propiedades esenciales para producir principios generales y observaciones . Es un poco como la forma en que los economistas piensan de los seres humanos únicamente en términos de sus ingresos y deseos. Los seres humanos son más complicados que eso, pero al ignorar cualquier cosa que sea irrelevante para el estudio de la economía, puedes crear teorías que se apliquen a diferentes culturas, países y siglos.

Los matemáticos que estudian álgebra abstracta hablan de “elementos” de un “grupo” que se “multiplican” para producir nuevos elementos, al igual que los números en la recta numérica que se pueden multiplicar. Hay un elemento de “identidad” que no tiene efecto en la multiplicación, al igual que el número “1”. Hay una operación “inversa”, que es lo mismo que tomar el recíproco de un número (“uno sobre” el número). Pero la noción de “grupo” se puede aplicar igualmente a otros conjuntos de objetos: por ejemplo, las matrices se pueden multiplicar e invertir. Y las transformaciones de imágenes (estirarlas, rotarlas, etc.) también forman un grupo.

Por lo tanto, los matemáticos pueden probar teoremas generales sobre grupos que luego pueden aplicarse en una gran variedad de ejemplos complejos y del mundo real. Y también pueden crear nuevos objetos algebraicos cuyos elementos no se comportan tan bien como los números, o son más complejos, y que también tienen propiedades interesantes, y pueden aplicarse aún más ampliamente.

El campo del álgebra abstracta (o “moderna”) se ha vuelto increíblemente rico y poderoso. Ahora es apenas un campo de estudio separado, sino más bien una base o caja de herramientas para casi todos los demás campos de las matemáticas, así como la física y las otras ciencias.

La parte abstracta del álgebra abstracta proviene de tomar las operaciones del álgebra, pero no de las cosas en las que operan. Las operaciones incluyen cosas como suma, resta, multiplicación, división y composición, o incluso operaciones arbitrarias. Las operaciones son generalmente operaciones binarias que toman dos argumentos, pero algunos son unarios. Raramente se consideran operaciones ternarias.

Junto con estas operaciones, mantiene sus propiedades, o algunas de ellas al menos. Las propiedades pueden incluir conmutatividad, asociatividad, distributividad y otras cosas que pueden escribirse como identidades. Por ejemplo, si tiene dos operaciones, [math] \ cap [/ math] y [math] \ cup, [/ math] es posible que desee que se distribuyan entre sí, por lo que necesita

[matemáticas] (x \ cap y) \ cup z = (x \ cup z) \ cap (y \ cup z) [/ math]
y
[matemáticas] (x \ cup y) \ cap z = (x \ cap z) \ cup (y \ cap z). [/ math]

(Esos son dos de los axiomas de las álgebras booleanas).

Así que ahora tenemos algunas operaciones y axiomas para esas operaciones. Luego nos fijamos en modelos para su teoría. Un modelo será algo que tenga esas operaciones y satisfaga esos axiomas. Los modelos suelen ser conjuntos, pero pueden ser espacios topológicos, categorías u otras cosas.

Cuando estudias álgebra abstracta, generalmente lo haces con aplicaciones en mente, es decir, modelos específicos que son útiles de alguna manera, pero demuestras cosas sobre estos modelos a partir de los axiomas. De esa manera, no solo sus resultados son válidos para las aplicaciones que tiene en mente, sino también para cualquier otro modelo. Probablemente buscará algunos de esos otros modelos para tener una mejor intuición sobre su teoría.

Algunas de las principales teorías del álgebra abstracta son las teorías de grupos, campos, anillos, espacios vectoriales sobre campos y módulos sobre anillos, pero existen innumerables otras teorías.