lgebra abstracta

Saltar a: navegacin, bsqueda

El lgebra abstracta es la parte de la matemtica 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 ms exactitud en las definiciones matemticas. El estudio del
lgebra abstracta ha permitido observar con claridad lo intrnseco de las afirmaciones
lgicas en las que se basan todas la matemtica y las ciencias naturales, y se usa hoy en da
prcticamente en todas las ramas de la matemtica. Adems, a lo largo de la historia, los
algebristas descubrieron que estructuras lgicas aparentemente diferentes muy a menudo
pueden caracterizarse de la misma forma con un pequeo conjunto de axiomas.
El trmino 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 frmulas
y expresiones algebraicas que conciernen a los nmeros reales y nmeros complejos. El
lgebra abstracta fue conocida durante la primera mitad del siglo XX como lgebra
moderna.
ndice
1 Historia y ejemplos
o 1.1 Definicin histrica
2 Listado de sistemas algebraicos
3 Un ejemplo
4 Texto de consulta
5 Enlaces externos
Historia y ejemplos
Definicin histrica
Birkhoff y Mc Lane nos dicen: "Se puede definir el lgebra abstracta como el estudio de las
propiedades de los sistemas algebraicos que se conservan en los isomorfismos". Vid Pg.
37 de su lgebra Moderna (1960) Barcelona.
Histricamente, algunos temas surgieron en alguna disciplina diferente al lgebra- caso de
espacios lineales y lgebra de Boole-. Posteriormente, han sido axiomatizadas y luego
estudiadas de propio derecho en dicho marco. Por eso, esta materia tiene numerosas y
fructferas conexiones con todas las dems ramas de la matemtica y fuera de ella.
Listado de sistemas algebraicos
Con una sola operacin matemtica son los:
Cuasigrupos
Semigrupos
Monoides
Grupos
Con dos o ms operaciones son:
Dominios de integridad
Anillos y cuerpos
Mdulos y Espacios vectoriales
lgebras asociativas y lgebras de Lie
Retculos y lgebras de Boole
El lgebra universal es un campo de las matemticas que provee del formalismo para
comparar las diferentes estructuras algebraicas.
Un ejemplo
El estudio sistemtico del lgebra ha permitido a los matemticos llevar bajo una
descripcin lgica comn conceptos aparentemente distintos. Por ejemplo, podemos
considerar dos operaciones bastante distintas: la composicin de aplicaciones, , y
el producto de matrices, . Estas dos operaciones son, de hecho, la misma. Podemos ver
esto, informalmente, de la siguiente forma: multiplicar dos matrices cuadradas por
un vector de una columna, . Esto, de hecho, define una funcin que es equivalente a
componer con = = . Las funciones bajo composicin y las
matrices bajo multiplicacin forman estructuras llamados monoides. Un monoide bajo
operacin es asociativo para todos sus elementos y contiene un
elemento tal que, para cualquier valor de , . Ciertamente, que dos
conjuntos isomorfos se consideran idnticos, lo que interesan son las operaciones y sus
leyes en dichos conjuntos.
Texto de consulta
Fraleigh, John B. : lgebra abstracta(sic)(1987)
Enlaces externos
John Beachy: Abstract Algebra On Line, Lista de definiciones y teoremas, en ingls.
Joseph Mileti: Mathematics Museum: Abstract Algebra, una buena introduccin a la
materia en trminos sencillos, en ingls.
Ver las calificaciones de la pgina
Evala este artculo
Qu es esto?
Confiable
Objetivo
Completo
Bien escrito
Estoy muy bien informado sobre este tema (opcional)
Categora:
lgebra abstracta