Apuntes de Algebra Lineal

Ing. Jess Vicente Gonzlez Sosa

2 Estructuras algebraicas
Objetivo: El alumno analizar y manejara las operaciones binarias y
sus propiedades dentro de una estructura algebraica.
Contenido:
2.1 Definicin de operacin binaria. Propiedades de las
operaciones binarias; cerradura, elementos idnticos e
inversos, asociatividad y conmutatividad.
2.2 Definicin de grupo. Grupo abeliano.
2.3 Definicin de anillo, anillo conmutativo y de anillo con
unidad.
2.4 Definicin de campo.
2.1 Definicin de operacin binaria. Propiedades de las operaciones
binarias; cerradura, elementos idnticos e inversos, asociatividad y
conmutatividad.
Dado un conjunto M cualquiera y una aplicacin de MxM
aplicacin T se le llama operacin binaria en M.

M, a dicha

Ejemplo: sea N un conjunto de los nmeros naturales y la definicin

de suma que todos conocemos, es una operacin binaria.
NxN N
( a, b) a + b

Dicha correspondencia es una aplicacin: a)pues el conjunto inicial

coincide con el original, ya que se pueden sumar dos nmeros
cualesquiera; y b) la imagen de un elemento de NxN es nica, pues la
suma de los nmeros es un nmero nico perfectamente determinado.
Lo que se conoce como resta o diferencia de naturales no es una
operacin binaria en N, puesto que, dados dos elementos cualesquiera
de N, no siempre tienen imagen. Lo cual quiere decir que el conjunto
inicial no coincide con el original o, lo que es lo mismo, la
correspondecia resta no es una aplicacin.
NxN

( 2 x3)

Al (2,3) le corresponde el elemento 2-3, que no es un nmero natural.

Propiedades:
Asociativa: considerando el conjunto M={a,b,c} y la operacin binaria
en l definida mediante la tabla siguiente:

Apuntes de Algebra Lineal

Ing. Jess Vicente Gonzlez Sosa

*
a
b
c

a
a
b
c

b
b
c
a

c
c
a
b

Para obtener a con b, se busca a en las filas horizontales y despus

b en las columnas, trazando una lnea horizontal y otra vertical
hasta que se encuentren; lo hacen en la casilla que contiene una b,
lo cual quiere decir que a*b=b, igualmente obtendremos c*c=b, b*b=c,
etc.
Ahora cual ser el resultado de operar (a*b)*c=b*c=a. Por otra parte,
a*(b*c)=a*a=a. El resultado de componer estos tres elementos, de una
manera u otra, ha sido el mismo. Para cualesquiera tres elementos que
se le aplique la operacin, siempre se obtendra el mismo resultado:
(a*a)*b=a*(a*b), etc.
Generalizando: dado un conjunto A y una operacin binaria en l
definida, se der que esta operacin es asociativa si se verifica:
para toda a, b,c A, (aTb)Tc=aT(bTc).
Conmutativa: observando nuevamente la tabla anterior veremos que se
verifica: a*b=b*a, c*b=b*c, etc.
Generalizando: dado un conjunto A y una operacin binaria en l
definida, se dir que esta operacin es conmutativa si se verifica:
para toda a,b A, ab=ba.
Elemento neutro: nuevamente en la tabla de los parrafos anteriores y
se observa que cualquier elemento del conjunto M, operado con
elemento a, nos da ese mismo elemento a*a=a, b*a=b, c*a=c; este
elemento a, que verifica la propiedad que operado con cualquier otro
nos da este ltimo, se llama elemento neutro para esta operacin.
Elemento inverso: recurriendo a la misma tabla, se escoje el elemento
a y se ve cul de los elementos de M operado con a nos da el elemento
neutro (en este caso, el elemento neutro es el mismo elemento a).
Veremos que a*a=a. Diremos que a es el elemento inverso de si mismo.
Para b el elemento inverso es el c; ya que b*c=a.
Para c el elemento inverso es el b, ya que c*b=a
Generalizando: dado un conjunto A, con una operacin binaria respecto
de la cual existe un elemento neutro e, diremos que el elemento
inverso de uno dado cualquiera m es otro elemento A, que
representaremos por ahora como m-1 (-m), tal que se verifica mm-1=e.
2

Apuntes de Algebra Lineal

Ing. Jess Vicente Gonzlez Sosa

La existencia de elemento neutro, como vemos, se halla ligada a la de

elemento neutro.
2.2 Definicin de grupo. Grupo abeliano.
Concepto de grupo: el par formado por un conjunto G y una operacin
binaria (G) se dice que tiene estructura de grupo si se verifican
las siguientes propiedades:
G1, asociativa: (ab)c=a(bc) para todo a,b,c G.
G2, elemento neutro: Existe e G/a o e=a, G.
G3,elemento inverso: para todo a G, Existe a tal que G/aa=e. El
elemento inverso de a, a, se escribe a-1 en notacin multiplicativa
y (-a) con notacin aditiva.
Adems, puede verificarse la propiedad:
G4 conmutativa: para toda a,b G en donde a+b=b+a.
En el caso de
conmutativo.

verificarse

G 4,

el

grupo

se

denomina

abeliano

Debido a la extraordinaria importancia que la estructura de grupo ha

adquirido en todos los campos de las Matemticas y la Fsica, y las
aplicaciones en la Biologa, Economa, Qumica, Medicina, etc.
2.3 Definicin de anillo, anillo conmutativo. Definicin de anillo
unidad.
La terna (A,+,), formada por un conjunto no vaco A y dos
operaciones binarias en A, +, (suma y producto), se dice que es un
anillo si se verifican las siguientes propiedades:
i)(a+b)+c=a+(b+c)
ii)Existe 0 A/a+0=a, para toda a A
iii)para toda a A, (-a) A/a+(-a)=0
iv)a+b=b+a, para toda a,b A
v)(ab)c=a(bc), para toda a,b,c A
vi)a(b+c)=ab+ac, para toda a,b,c A
vii)(b+c)a=ba+ca, para toda a,b,c A
Estas siete propiedades nos dicen que (A +) es un grupo abeliano, que
(A ) es un semigrupo y que la operacin es distributiva a ambos
lados respecto de la operacin +.
-Si adems de las propiedades de la definicin existente de anillo,
existe un elemento neutro para el producto llamado 1 tal que para
3

Apuntes de Algebra Lineal

Ing. Jess Vicente Gonzlez Sosa

toda a que pertenece a el conjunto de los nmeros reales, ax1=a,

entonces se llama anillo con uno, que se lee, anillo con uno.
-Si adems de las propiedades descritas para ser considerado como
anillo se cumple que el producto sea conmutativo, entonces se llama
anillo conmutativo.
2.4 Definicin de campo.
Un
conjunto
C,
con
dos
operaciones
internas,
adicin
y
multiplicacin, se dice que tiene estructura de campo cuando:
1. C posee estructura de grupo abeliano respecto de la adicin.
2. C-{0} posee estructura de grupo respecto de la multiplicacin.
3. Se verifica la propiedad distributiva de la multiplicacin
respecto de la adicin.
Si adems la multiplicacin es conmutativa es conmutativa, el campo
es llamado conmutativo.
Tambin podemos definir un campo diciendo que es un anillo con unidad
tal que todo elemento de dicho anillo excepto el 0 posee inverso.
La primera propiedad importante que se deduce inmediatamente de la
definicin es que un campo es un anillo sin divisores de 0.
En efecto, si ab=0, dado que a-1, multiplicando los dos miembros por
a-1 queda:
a-1ab=a-10 existe 1b0=0 tal que b=0
En otras palabras para ser considerado como campo deben de cumplirse
las siguientes propiedades:
1) El conjunto es cerrado para la suma.
2) La suma es asociativa.
3) Existe un elemento neutro, e, llamado cero 0, tal que para
todo a que pertenece al conjunto, a+0=a
4) Existe un elemento inverso a, tal que a+(-a)=0
5) La suma es conmutativa a+b=b+a
6) El conjunto es cerrado para el producto.
7) El producto cumple con la asociativadad.
8) El elemento neutro para el producto existe y es llamado uno 1,
tal que para todo valor a que pertenece al conjunto, a es
diferente de cero, ax1=a.
9) Existe el elemento inverso para a que pertenece al conjunto,
en donde a es diferente de cero, por lo cual existe a-1, tal que
axa-1=1.
10)
EL producto es conmutativo ab=ba
4

Apuntes de Algebra Lineal

Ing. Jess Vicente Gonzlez Sosa

11)
La propiedad distributiva se cumple, es decir, para toda a,
b, c que pertenece al conjunto, ax(b+c)=axb+axc
Ejemplos directos:
Nmeros reales con la suma y el producto
Nmeros racionales
Teorema: En un campo el elemento cero es nico.
Teorema: En un campo el elemento uno es nico.
Teorema: Ley de la cancelacin de la suma. En un campo a+b=a+c si y
slo si b=c.
Teorema: Ley de la cancelacin del producto. En un campo ab=ac,
cuando a es diferente de cero y b=c.