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.).
ndice
[ocultar]
1 Introduccin
2 Historia del lgebra
o 2.1 El lgebra en la antigedad
o 2.2 Influencia rabe
o 2.3 Edad Moderna
o 2.4 Siglo XIX
3 Notacin algebraica
o 3.1 Signos de operacin
o 3.2 Signos de relacin
o 3.3 Signos de agrupacin
o 3.4 Signos y smbolos ms comunes
4 Lenguaje algebraico
5 Estructura algebraica
6 Vase tambin
7 Referencias
8 Bibliografa
9 Enlaces externos
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.
Pgina del libro Kitb al-mukhtaar f isb al-abr wa-l-muqbala, de Al-Juarismi.
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
persaMuhammad ibn Musa al-Jwarizmi (conocido como Al Juarismi), titulado Al-kitb al-
mukhtaar f isb 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
Vase tambin: Historia de la matemtica
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, normalmente resolvan tales
ecuaciones por mtodos geomtricos, tales como los descritos en el Papiro de Rhind, Los
Elementos de Euclides y Los nueve captulos sobre el arte matemtico.

Papiro de Ahmes; datado entre 2000 al 1800 a. C.

Las nueve lecciones del arte matemtico; compilado durante siglos II y I a. C.

Elementos de Euclides, ca. 300 a. C.

Arithmetica; escrito por Diofantoalrededor de 280.
Vase tambin: Matemtica helnica
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 letras.
6
Los
matemticos helnicos Hern de Alejandra y Diofanto
8
as como tambin los matemticos
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
Vase tambin: Matemtica en el islam medieval
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 Al-Din 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 chino Zhu 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).
Notacin algebraica

Notacin matemtica de raz cuadrada de x.
Consiste en que los nmeros se emplean para representar cantidades conocidas y
determinadas. Las letras se emplean para representar toda clase de cantidades, ya sean
conocidas o desconocidas. Las cantidades conocidas se expresan por las
primeras letras del alfabeto: a, b, c, d, Las cantidades desconocidas se representan por
las ltimasletras del alfabeto: u, v, w, x, y, z.
13

Los signos empleados en lgebra son tres clases: Signos de operacin, signos de relacin
y signos de agrupacin.
13

Signos de operacin
En lgebra se verifican con las cantidades las mismas operaciones que
en aritmtica: suma, resta, multiplicacin, elevacin a potencias y extraccin de races, que
se indican con los principales signos de aritmtica excepto el signo de multiplicacin. En
lugar del signo suele emplearse un punto entre los factores y tambin se indica a la
multiplicacin colocando los factores entre parntesis. As ab y (a)(b) equivale a a b.
Signos de relacin
Se emplean estos signos para indicar la relacin que existe entre dos cantidades. Los
principales son: =, que se lee igual a. As, a=b se lee a igual a b. >, que se lee mayor
que. As, x + y > m se lee x + y mayor que m. <, que se lee menor que. As, a < b + c se
lee a menor que b + c.
Signos de agrupacin
Los signos de agrupacin son: el parntesis ordinario ( ), el parntesis angular o corchete [
], las llaves { } y la barra o vnculo ||. Estos signos indican que la operacin colocada entre
ellos debe efectuarse primero. As, (a + b)c ndica que el resultado de la suma a y b debe
multiplicarse por c; [a b]m indica que la diferencia entre a y b debe multiplicarse por m,
{a + b} {c d} ndica que la suma de a y b debe dividirse entre la diferencia de c y d. El
orden de estos signos son de la siguiente forma { [ ( ) ] }, por ejemplo: { [ (a + b) - c] d}
indica que al resultado de la suma de a + b debe restarse c y el resultado de esto
multiplicarse por d.
Signos y smbolos ms comunes
Los signos y smbolos son utilizados en el lgebra y en general en teora de
conjuntos y lgebra de conjuntos con los que se
constituyen ecuaciones, matrices, series, etc. Sus letras son llamadas variables, ya que
se usa esa misma letra en otros problemas y su valor va variando.
Aqu algunos ejemplos:
Signos y smbolos
Expresin Uso
+
Adems de expresar adicin tambin es usada
para expresar operaciones binarias
c o k Expresan trminos constantes
Primeras letras del
abecedario
a, b, c,...
Se utilizan para expresar cantidades conocidas
ltimas letras del
abecedario
..., x, y, z
Se utilizan para expresar incgnitas
n Expresa cualquier nmero (1,2,3,4,...,n)
Exponentes y subndices

Expresar cantidades de la misma especie, de
diferente magnitud.


Simbologa de Conjuntos
14

Smbolo Descripcin
{} conjunto

Es un elemento del conjunto o pertenece al
conjunto.

No es un elemento del conjunto o no pertenece al
conjunto.
Tal que.
n (C) Cardinalidad del conjunto C.
U Conjunto Universo.
Conjunto Vaco.
Subconjunto de.
Subconjunto propio de.
No es subconjunto propio de.
> Mayor que.
< Menor que.
Mayor o igual que.
Menor o igual que.
Interseccin de conjuntos.
Unin de Conjuntos.
A' Complemento del conjunto A.
= Smbolo de igualdad.
No es igual a.
... El conjunto contina.
Si y slo si.
(en algunos
ocasiones )
No, negacin lgica (es falso que).
Y
O

Lenguaje algebraico
Lenguaje algebraico
14

Lenguaje comn
Lenguaje
algebraico
Un nmero cualquiera. m
Un nmero cualquiera aumentado en siete. m + 7
La diferencia de dos nmeros cualesquiera. f - q
El doble de un nmero excedido en cinco. 2x + 5
La divisin de un nmero entero entre su antecesor x/(x-1)
La mitad de un nmero. d/2
El cuadrado de un nmero y^2
La semisuma de dos nmeros (b+c)/2
Las dos terceras partes de un nmero disminuidos en
cinco es igual a 12.
2/3 (x-5) = 12
Tres nmeros naturales consecutivos. x, x + 1, x + 2.
La parte mayor de 1200, si la menor es w 1200 - w
El cuadrado de un nmero aumentado en siete. b
2
+ 7
Las tres quintas partes de un nmero ms la mitad de su
consecutivo equivalen a tres.
3/5 p + 1/2
(p+1) = 3
El producto de un nmero con su antecesor equivalen a
30.
x(x-1) = 30
El cubo de un nmero ms el triple del cuadrado de dicho
nmero.
x
3
+ 3x
2

Estructura algebraica
Artculo principal: Estructura algebraica
En matemticas, una estructura algebraica es un conjunto de elementos con
unas propiedades operacionales determinadas; es decir, lo que define a la estructura del
conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto
y las propiedades matemticas que dichas operaciones poseen. Un objeto matemtico
constituido por un conjunto no vaco y algunas leyes de composicin interna definida en l
es una estructura algebraica. Las estructuras algebraicas ms importantes son:
Estructura Ley interna Asociatividad Neutro Inverso Conmutatividad
Magma


Semigrupo


Monoide


Monoide abeliano



Grupo


Grupo abeliano


Estructura (A,+,) (A,+) (A,)
Semianillo Monoide abeliano Monoide
Anillo Grupo abeliano Semigrupo
Cuerpo Grupo abeliano Grupo abeliano