Algebra

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.).

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 persa Muhammad ibn Musa al-
Jwarizmi (conocido como Al Juarismi), titulado Al-kitb al-mukhtaar f isbal-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.
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 ltimas letras 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 ab. >, 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
dea + 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
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
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





Trminos Semejantes
Los trminos semejantes son aquellos que tienen la misma parte literal, o dicho de otra forma
aquellos que tengan las mismas letras y con igual exponente. Ejemplo:
$a^{2}$ y $5a^{2}$ son trminos semejantes, adems $-4a^{2}$ y $\frac{3}{5}a^{2}$ tambin son
trminos semejantes, pues su parte literal es decir $a^{2}$ es la misma.
Algunos ejemplos ms:
$3ab^{2}$ y $-\frac{8}{3}ab^{2}$, $a^{3}b^{m+1}$ y $-8a^{3}b^{m+1}$, etc. En estos casos
las parejas de trminos tienen trminos semejantes, la primer pareja tiene a $ab^{2}$ como
trmino semejante y en la segunda pareja lo es $a^{3}b^{m+1}$. El hecho de que tengamos
trminos semejantes en una expresin algebraica nos permite reducir dichos trminos haciendo
las operaciones que sean posibles entre ellos.

Imaginemos que tenemos la siguiente expresin algebraica:

$-8a^{3}b^{5}+3a^{3}b^{5}+a^{3}b^{5}$

Si queremos reducirla tendremos que realizar las operaciones que se nos piden. Es decir sumas y
restas. Es mas fcil si la reacomodamos de la siguiente forma:

$3a^{3}b^{5}+a^{3}b^{5}-8a^{3}b^{5}$


Ahora para reducir trminos semejantes tendremos que operar con los coeficientes de cada
trmino. Los coeficientes en cada trmino son 3,1 y -8 respectivamente. Ahora vamos a sumar
todos los coeficientes y al final agregar la parte literal.

$3+1+(-8) = 4-8 = -4$ y agregamos la parte literal "$a^{3}b^{5}$", el resultado final es:

$3a^{3}b^{5}+a^{3}b^{5}-8a^{3}b^{5} = -4a^{3}b^{5}$

Otro ejemplo:

$7ym^{5}-\frac{3}{4}ym^{5}$

Estos son trminos semejantes pues ambos contienen la misma parte literal $ym^{5}$, ahora
solo operamos con los coeficientes

$7-\frac{3}{4}=\frac{7(4)}{(4)}-\frac{3}{4}$ el primer trmino lo multiplicamos y dividimos por
cuatro para tener el mismo denominador en ambas fracciones.

$\frac{28}{4}-\frac{3}{4}=\frac{28-3}{4}=\frac{25}{4}$ agregamos la parte literal y tenemos

$7ym^{5}-\frac{3}{4}ym^{5}=\frac{25}{4}ym^{5}$