lgebra

Al Juarismi (siglo IX d.C.), considerado uno de los

padres del lgebra.
Para otros usos de este trmino, vase lgebra
sobre un cuerpo.
El lgebra (del rabe: al-abr 'reintegracin,
recomposicin'1 ) es la rama de la matemtica
que estudia la combinacin de elementos de
estructuras abstractas acorde a ciertas reglas.
Originalmente esos elementos podan ser interpretados como nmeros o
cantidades, por lo que el lgebra en cierto modo originalmente fue una
generalizacin y extensin de la aritmtica.2 3 En el lgebra moderna existen reas
del lgebra que en modo alguno pueden considerarse extensiones de la aritmtica
(lgebra abstracta, lgebra homolgica, lgebra exterior, etc.).
Introduccin
A

diferencia

de

la

aritmtica

elemental,

que

trata

de

los nmeros y

las operaciones fundamentales, en lgebra -para lograr la generalizacin- se

introducen adems smbolos (usualmente letras) para representar parmetros
(variables o coeficientes), o cantidades desconocidas (incgnitas); las expresiones
as formadas son llamadas frmulas algebraicas, y expresan una regla o un
principio general.4 El lgebra conforma una de las grandes reas de las
matemticas, junto a la teora de nmeros, la geometra y el anlisis.
La palabra lgebra proviene del vocablo rabe al-abar (en rabe dialectal
por asimilacin progresiva se pronunciaba [alb] de donde derivan los trminos
de las lenguas europeas), que se traduce como 'restauracin' o 'reponimiento,
reintegracin'. Deriva del tratado escrito alrededor del ao 820 d.C. por el
matemtico y astrnomo persa Muhammad ibn Musa al-Jwarizmi (conocido como
Al

Juarismi),

titulado Al-kitb

al-mukhtasar

hisb al-arabi wal-

muqbala (Compendio de clculo por reintegracin y comparacin), el cual

proporcionaba

operaciones

simblicas

para

la

solucin

sistemtica

de ecuaciones lineales y cuadrticas. Muchos de sus mtodos derivan del

desarrollo de la matemtica en el islam medieval, destacando la independencia del
lgebra como una disciplina matemtica independiente de la geometra y de
la aritmtica.5 Puede considerarse al lgebra como el arte de hacer clculos del
mismo modo que en aritmtica, pero con objetos matemticos no-numricos.6
El adjetivo algebraico denota usualmente una relacin con el lgebra, como por
ejemplo en estructura algebraica. Por razones histricas, tambin puede indicar
una

relacin

con

las

soluciones

de ecuaciones

polinomiales, nmeros

algebraicos, extensin algebraica o expresin algebraica. Conviene distinguir

entre:

lgebra elemental es la parte del lgebra que se ensea generalmente en

los cursos de matemticas.

lgebra abstracta es el nombre dado al estudio de las estructuras

algebraicas propiamente.

El lgebra usualmente se basa en estudiar las combinaciones de cadenas finitas

de signos y, mientras que anlisis matemtico requiere estudiar lmites y
sucesiones de una cantidad infinita de elementos.
Historia del lgebra
El lgebra en la antigedad
Las

races

del

lgebra

pueden

rastrearse

hasta

la

antigua matemtica

babilnica,7 que haba desarrollado un avanzado sistema aritmtico con el que

fueron capaces de hacer clculos en una forma algortmica. Con el uso de este
sistema lograron encontrar frmulas y soluciones para resolver problemas que hoy
en da suelen resolverse medianteecuaciones lineales, ecuaciones de segundo
grado y ecuaciones indeterminadas. En contraste, la mayora de los egipcios de
esta poca, y la mayora de los matemticos griegos y chinos del primer milenio
antes

de

Cristo,

geomtricos,

tales

normalmente
como

los

resolvan

tales

descritos

en

ecuaciones por mtodos

el Papiro

de

Rhind, Los

Elementos de Euclides y Los nueve captulos sobre el arte matemtico.

Arithmetica; escrito por Diofantoalrededor de 280.
Los matemticos de la Antigua Grecia introdujeron una importante transformacin
al crear un lgebra de tipo geomtrico, en donde los trminos eran
representados mediante los lados de objetos geomtricos, usualmente lneas a
las

cuales

asociaban

Alejandra y Diofanto8 as

letras.6 Los
como

matemticos helnicos Hern

tambin

los

matemticos

de
indios

como Brahmagupta, siguieron las tradiciones de Egipto y Babilonia, si bien

la Arithmetica de Diofanto y el Brahmasphutasiddhanta de Brahmagupta se hallan
a un nivel de desarrollo mucho ms alto.9 Por ejemplo, la primera solucin
aritmtica completa (incluyendo al cero y soluciones negativas) para las
ecuaciones

cuadrticas

fue

descrita

por

Brahmagupta

en

su

libro Brahmasphutasiddhanta. Ms tarde, los matemticos rabes y musulmanes

desarrollaran mtodos algebraicos a un grado mucho mayor de sofisticacin.

Diofanto (siglo III d.C.), algunas veces llamado el pdre del lgebra, fue un
matemtico alejandrino, autor de una serie de libros intitulados Arithmetica. Estos
textos tratan de las soluciones a las ecuaciones algebraicas.10
Influencia rabe
Los babilonios y Diofanto utilizaron sobre todo mtodos especiales "ad hoc" para
resolver

ecuaciones, la contribucin de Al-Khwarizmi fue fundamental; resuelve

ecuaciones lineales y cuadrticas sin el simbolismo algebraico, nmeros negativos

o el cero, por lo que debe distinguir varios tipos de >jab.11
El matemtico persa Omar Khayyam desarroll la geometra algebraica y encontr
la solucin geomtrica de la ecuacin cbica. Otro matemtico persa, Sharaf AlDin al-Tusi, encontr la solucin numrica y algebraica a diversos casos de
ecuaciones cbicas; tambin desarroll el concepto de funcin. Los matemticos
indios Mahavir y Bhaskara II, el matemtico persa Al-Karaji, y el matemtico
chinoZhu Shijie, resolvieron varios casos de ecuaciones de grado tres, cuatro y
cinco, as como ecuaciones polinmicas de orden superior mediante mtodos
numricos.
Edad Moderna
Durante la Edad Moderna europea tienen lugar numerosas innovaciones, y se
alcanzan resultados que claramente superan los resultados obtenidos por los
matemticos rabes, persas, indios o griegos. Parte de este estmulo viene del
estudio de las ecuaciones polinmicas de tercer y cuarto grado. Las soluciones
para ecuaciones polinmicas de segundo grado ya era conocida por los
matemticos babilnicos cuyos resultados se difundieron por todo el mundo
antiguo.
El descrubrimiento del procedimiento para encontrar soluciones algebraicas de
tercer y cuarto orden se dieron en la Italia del siglo XVI. Tambin es notable que la
nocin de determinante fue descubierta por el matemtico japons Kowa Seki en
el siglo XVII, seguido por Gottfried Leibniz diez aos ms tarde, con el fin de
resolver sistemas de ecuaciones lineales simultneas utilizando matrices. Entre
los siglos XVI y XVII se consolid la nocin de nmero complejo, con lo cual la
nocin de lgebra empezaba a apartarse de cantidades medibles. Gabriel
Cramer tambin hizo un trabajo sobre matrices y determinantes en el siglo XVIII.
Tambin Leonhard

Euler, Joseph-Louis

Lagrange,Adrien-Marie

Legendre y

numerosos matemticos del siglo XVIII hicieron avances notables en lgebra.

Siglo XIX
El lgebra abstracta se desarroll en el siglo XIX, inicialmente centrada en lo que
hoy se conoce como teora de Galois y en temas de la constructibilidad.12 Los

trabajos de Gauss generalizaron numerosas estructuras algebraicas. La bsqueda

de una fundamentacin matemtica rigurosa y una clasificacin de los diferentes
tipos de construcciones matemticas llev a crear reas del lgebra abstracta
durante el siglo XIX absolutamente independientes de nociones aritmticas o
geomtricas (algo que no haba sucedido con el lgebra de los siglos anteriores).