Álgebra abstracta
De Wikipedia, la enciclopedia libre
El álgebra abstracta es el campo de la matemática que estudia las estructuras algebraicas como las de grupo, anillo, cuerpo o espacio vectorial. Muchas de estas estructuras fueron definidas formalmente en el siglo XIX, y, de hecho, el estudio del álgebra abstracta fue motivado por la necesidad de más exactitud en las definiciones matemáticas. El estudio del álgebra abstracta ha permitido observar con claridad lo intrínseco de las afirmaciones lógicas en las que se basan todas la matemática y las ciencias naturales, y se usa hoy en día prácticamente en todas las ramas de la matemática. Además, a lo largo de la historia, los algebristas descubrieron que estructuras lógicas aparentemente diferentes muy a menudo pueden caracterizarse de la misma forma con un pequeño conjunto de axiomas.
El término álgebra abstracta se usa para distinguir este campo del álgebra elemental o del álgebra de la escuela secundaria que muestra las reglas correctas para manipular fórmulas y expresiones algebraicas que conciernen a los números reales y números complejos. El álgebra abstracta fue conocida durante la primera mitad del siglo XX como álgebra moderna.
[editar] Historia y Ejemplos
Históricamente, las estructuras algebraicas surgen en algún otro campo distinto a la propia álgebra. Posteriormente, han sido axiomatizadas y luego estudiadas de propio derecho en dicho marco. Por eso, esta materia tiene numerosas y fructíferas conexiones con todas las demás ramas de la matemática.
Algunos ejemplos de estructuras algebraicas con una sola operación binaria son los:
- Magmas
- Cuasigrupos
- Semigrupos
- Monoides
- Grupos
Otros ejemplos más complejos son:
- Anillos y cuerpos
- Módulos y Espacios vectoriales
- Álgebras asociativas y Álgebras de Lie
- Retículos y álgebras de Boole
En álgebra universal, todas esas definiciones y hechos se coleccionan y aplican a todas las estructuras algebraicas por igual. Las clases mencionadas de objetos, junto con la noción apropiada de homomorfismo, forman categorías, y ésta frecuentemente nos provee del formalismo para comparar las diferentes estructuras algebraicas.
[editar] Un ejemplo
El estudio sistemático del álgebra ha permitido a los matemáticos llevar bajo una descripción lógica común conceptos aparentemente distintos. Por ejemplo, podemos considerar dos operaciones bastante distintas: la composición de aplicaciones, f(g(x)), y el producto de matrices, AB. Estas dos operaciones son, de hecho, la misma. Podemos ver esto, informalmente, de la siguiente forma: multiplicar dos matrices cuadradas (AB) por un vector de una columna, x. Esto, de hecho, define una función que es equivalente a componer Ay con Bx: Ay = A(Bx) = (AB)x. Las funciones bajo composición y las matrices bajo multiplicación forman estructuras llamados monoides. Un monoide bajo operación es asociativo para todos sus elementos ((ab)c = a(bc)) y contiene un elemento e tal que, para cualquier valor de a, ae = ea = a.
[editar] Enlaces externos
- John Beachy: Abstract Algebra On Line, Lista de definiciones y teoremas, en inglés.
- Joseph Mileti: Mathematics Museum: Abstract Algebra, una buena introducción a la materia en términos sencillos, en inglés.
