You are on page 1of 18

ESTRUCTURAS ALGEBRAICAS

ESTRUCTURAS ALGEBRAICAS

Una Estructura Algebraica es un objeto matemtico consistente en un conjunto no vaco y una relacin ley de composicin interna definida en l. En algunos casos ms complicados puede definirse ms de una ley de composicin interna y tambin leyes de composicin externa. Grupo La estructura de un grupo es un sistema axiomtico bsico y fundamental del a matemtica y puede ser encarada imponiendo condiciones a las estructuras de monoide o de semigrupo. Sea el par (A , ) , donde A es un conjunto no vaco dotado de una ley de composicin interna binaria : (A , ) es un grupo se define sobre A una estructura de grupo s: a) es asociativa. Es decir a , b , c : a, b, c A

( a b) c = a ( b c)
b) posee elemento neutro en A. Es decir e A / a , si a A ae = ea = a c) Todo elemento de A es invertible en A respecto de . Es decir a A , a A / a a = a a = e d) es conmutativa. Es decir a , b : a, b A a b = b a entonces se llama grupo Abeliano Grupo conmutativo Si G = (A , ) es un grupo, se dice que es un grupo finito si el conjunto A es finito y su cardinal se llama orden del grupo. Ejemplos
1)

El par ( Z , ) donde Z es el conjunto de los nmeros enteros y es una operacin definida como a b = a + b + 3 forma un grupo abeliano.
1

ESTRUCTURAS ALGEBRAICAS

Comprobacin: es una ley de composicin interna en Z pues si a y b Z , a + b + 3 Z es asociativa pues

( a b) c

= (a + b +3) c = a + b +3 + c +3 = a + b + c + 6

y a ( b c ) = a (b + c + 3) = a + b + c + 3 + 3 = a + b + c + 6 tiene elemento neutro e = 3 , pues


a A , a e = a entonces a + e +3 = a e = 3

e a = a entonces e + a + 3 = a e = 3 , a / a a = e , en nuestro caso a + a + 3 = 3 luego a = a 6 es inverso a luego a = a 6 es inverso a

tiene inverso a a a = 3 derecha

a a = 3 a + a + 3 = 3 izquierda

es conmutativa pues a b = a + b + 3 = b + a + 3 = b a Otros ejemplos: 1) (Z,+) ; (Q,+) ; (R,+) y (C,+) Son grupos abelianos . Tambin se llaman grupos aditivos debido a la operacin aditiva. 2 ) ( N , + ) No es grupo. No tiene neutro ni inverso de cada elemento. 3 ) ( N0 , + ) No es grupo. Tiene neutro, el 0 , pero no tiene inverso aditivo. 4 ) ( Q , ) No es grupo, el 0 no tiene inverso multiplicativo. 5 ) ( R , ) No es grupo, el 0 no tiene inverso multiplicativo.

ESTRUCTURAS ALGEBRAICAS

6 ) ( Q { 0 } , ) y ( R { 0 } , ) PROPIEDADES 1. Unicidad del neutro y del inverso

Son grupos.

El elemento neutro es nico y el inverso de cada elemento tambin ser nico 2. Regularidad Los elementos de todo grupo son regulares. Hiptesis (G,*) es grupo A*b = a*c b*a = c*a Tesis b= c Demostrando Por hiptesis a*b=a*c Componiendo a izquierda con a *a(*b) =a*(a*c) Por asociatividad (a*a)*b =(a*a)*c e*b=e*c b=c Anlogamente se prueba la regularidad a la derecha La regularidad significa que la ley cancelativa es validad para todos los elementos del grupo Subgrupo Un subconjunto no vaco B, del conjunto A es un subgrupo de ( A , ) si y solo s ( B , ) es un grupo. Propiedades Sea (G, ) un grupo, y (H, ) un subgrupo de l. Un par de propiedades bsicas que salen de ver los
3

ESTRUCTURAS ALGEBRAICAS

elementos de H como elementos de G: 1 Si e G es el neutro de G y eH H es el neutro de H, entonces e = eH. 2 Adems, sea x H. Si x1 G es el inverso de x en (G, ) y x H es el inverso de x en (H, ), entonces x1 = x. En principio, si uno quisiera demostrar que un conjunto H G, H 6= , forma un subgrupo de (G, ), tendra que demostrar que (H, ) cumple todas las propiedades de la definicin de grupo, adems de mostrar (el cual es el punto de partida) que (x, y H) x y H A esta propiedad se le conoce como cerradura, y es lo que nos permite decir que es una ley de composicin interna tambin en H. La siguiente es una forma compacta para determinar si (H, ) es subgrupo de (G, ). Teorema Sea H 6= . Entonces (H, ) es subgrupo de (G, ) (x, y H) x y1 H Demostracin. La implicancia se verifica directamente. Sin embargo, la propiedad fuerte es la implicancia . Para demostrarla, supongamos que x, y H, x y1 H. Debemos probar que (H, ) es grupo. Notemos que la asociatividad se hereda automticamente del hecho que (G, ) sea grupo.Nos basta entonces probar que: (H, ) es una estructura algebraica (cerradura de en H). (H, ) admite un neutro (que por las propiedades anteriores, sabemos que debe ser el neutro de G). Todo elemento en H tiene inverso en H. Probaremos estas afirmaciones en un orden distinto:
4

ESTRUCTURAS ALGEBRAICAS

Veamos primero que, si e G es el neutro de (G, ), entonces e H. Con esto e ser el neutro de H. En efecto, como H 6= , tomando h H, por hiptesis se tiene que h h1 = e H. Ahora probemos que dado h H, ste admite un inverso en H. Sabemos que h1 es inverso de h, pero slo para (G, ). O sea, no sabemos si pertenece a H. Pero usando la hiptesis con x = e e y = h, tenemos que: e h1 H h1 H. Finalmente, probamos la cerradura de en H. Dados x, y H. Por lo que vimos antes, y1 H. As que aplicando la hiptesis para x e y1, tenemos que: x (y1)1 H x y H. Conclumos de esta manera que (H, ) es subgrupo de (G, ). Por ejemplo, ( Z , + ) es un subgrupo de ( Q , + ). Si en estas estructuras se introduce una nueva ley de composicin interna con ciertas restricciones, se obtienen ternas ordenadas del tipo (A , , ) que tambin son estructuras algebraicas. Estas nuevas estructuras son:

Anillo
Dados, un conjunto no vaco A y dos leyes de composicin interna y , la terna ordenada (A , , ) tiene estructura de Anillo si y solo si a) es asociativa. Es decir a , b , c : a, b, c A

( a b) c = a ( b c)
5

ESTRUCTURAS ALGEBRAICAS

b) posee elemento neutro en A. Es decir e A / a , si a A ae = ea = a c) Todo elemento de A es invertible en A respecto de . Es decir a A , a A / a a = a a = e d) es conmutativa. Es decir a , b : a, b A a b = b a Estas 4 propiedades muestran que ( A , ) es un grupo abeliano. e) es asociativa. Es decir a , b , c : a, b, c A (a b) c = a ( b c) Esta propiedad muestra que ( A , ) es un semigrupo. f) distribuye doblemente sobre . Es decir, a , b , c : a, b, c A a (b c ) = ( a b ) (a c ) y (b c ) a = (b a ) ( c a ) Resumiendo podemos decir que: (A , , ) es un Anillo sii (A , ) es un grupo abeliano ; ( A , ) es un semigrupo y la segunda operacin distribuye sobre la primera.

Nota. Como la operacin es aditiva y la operacin es multiplicativa, es comn representarlas con los conocidos signos de la suma y el producto, pero en todos los casos deber respetarse la definicin que corresponde a cada operacin. Con esta aclaracin debe quedar claro que ( A , + , ) representa una estructura algebraica, talvez un anillo, pero que la operacin + y la operacin no representan la suma y el producto conocido, salvo ello est expresamente indicado.
6

ESTRUCTURAS ALGEBRAICAS

Con igual margen de tolerancia en la interpretacin de este tema, debemos decir que el elemento neutro de la operacin aditiva se representa con 0 (cero) y el neutro de la operacin multiplicativa con 1 (uno) sin que ellos sean necesariamente el 0 y 1 conocidos.

Si adems g) conmutativa. Es decir a , b : a, b A a b = b a entonces tenemos un Anillo conmutativo. h) posee elemento neutro en A. Es decir e A / a , si a A

a ge = e ga = a

entonces tenemos un Anillo con identidad Anillo con unidad.

i) llama

Todo elemento de A distinto de cero es invertible en A respecto de . Es decir a A , a 0 , Anillo de divisin. a A / a a = a a = e entonces se

Ejemplos 1.- ( N , + , ) no existe neutro para la adicin. 2.- ( N0 , + , ) carece de inversos aditivos.
7

con las operaciones conocidas no es un anillo, pues en N

con las operaciones conocidas no es anillo, pues N0

ESTRUCTURAS ALGEBRAICAS

3.- ( Z , + , ) con las operaciones conocidas, es un anillo conmutativo con unidad. Anillos sin divisores de cero Un anillo (A , , ) se dice sin divisores de cero si y solo s elementos no nulos de A dan producto no nulo. En smbolos: (A , , ) carece de divisores de cero si y solo s a , b : a, b A si a 0 y b0 entonces a b 0

Anillo de integridad (A , , ) es un Anillo de integridad si y solo s (A , , ) es un anillo y 0 es su nico divisor de cero Dominio de integridad La terna (A , , ) se llama Dominio de integridad si y solo s (A , , ) es un Anillo conmutativo con unidad y sin divisores de cero. Dicho de otra manera, un Dominio de integridad es un Anillo conmutativo con identidad y de integridad. Ejemplos
8

ESTRUCTURAS ALGEBRAICAS

1.- ( Z , + , ) con las operaciones conocidas es un dominio de integridad. 2.- ( Q , + , ) conocidas son dominio de integridad. 3.- Los polinomios en una indeterminada ( o ms ) con coeficientes en Q , R C forman dominio de integridad con las operaciones conocidas. ; ( R , + , ) y ( C , + , ) con las operaciones

Cuerpo
La terna ordenada ( A , + , ) es un cuerpo, o tiene estructura de cuerpo si y solo si ( A , + , ) es un anillo de divisin conmutativo, con unidad cuyos elementos no nulos admiten inverso multiplicativo. Un cuerpo queda caracterizado por las siguientes estructuras: ( A , + , ) es un cuerpo si y solo si a) ( A , + ) es un grupo abeliano.
b) c)

( A {0} , ) es un grupo abeliano. distribuye respecto de la suma

Ejemplos 1.- ( Z , + , ) con las operaciones conocidas, no es cuerpo, pues Z carece de inversos multiplicativos. 2.- ( Q , + , ) conocidas son cuerpos.
9

( R , + , )

( C , + , ) con las operaciones

ESTRUCTURAS ALGEBRAICAS

Nota. Todo cuerpo es un dominio de integridad. Propiedades de los cuerpos Sea (K,+,.) un cuerpo. I) Los cuerpos no admiten divisors de cero Sean x K y K tales que xy = 0 Si x=0, nada hay que demostrar porque la proposicion x = 0 v y = 0 es V. Consideremos el caso x 0 . Por definicion el cuerpo x -1 Multiplicando por x -1 x -1 (xy)= x -1 . 0 Por asociatividad y product por 0 en el anillo, se tiene 1 y =0, es decir : y=0 II) En todo cuerpo vale la ley cancelativa del product para todo element no nulo del mismo.
III)

Si b 0 , entonces la ecuacin bx = a admite solucin nica en K. Sea bx= a con b 0 Multiplicando por b -1
b -1 (bx ) = b 1 a

Por asociatividad y conmutatividad resulta


(b -1 b) x = ab 1

es decir
1x = ab 1

Entonces
x = ab 1

Es la solucin nica de la ecuacin propuesta. En efecto, sea y otra solucin;estc significa que
by = a, y com bx = a se tiene o by - bx = 0 b(y - x) = 0

Y como b 0 resulta de un element de K por el inverso multiplicative de otro no nulo se denota con el simbolo
10

ESTRUCTURAS ALGEBRAICAS

ab 1 =

a b

Y suele llamarse cociente entra a y b


IV)

El reciproco del opuesto de todo element no nulo es igual al opuesto de su reciproco Por el inverso multiplicative tendremos
1

[ = ( x )] ( x) = x

x =1

x Multiplicando por ( ) 1 ( x 1 )( x )( x ) 1 =1( x ) 1

Por asociatividad e inversos multiplicativos resulta


( x 1 ) = ( x ) 1

V) En todo cuerpo se verifica


x x` = xy `= yx ` y y`

En efecto
x x` = xy 1 = x`y `1 yx `1 yy `= yy ` y y` xy `= yx `

Para proveer de un ejemplo de estructura algebraica no tan conocida, definiremos el conjunto Zn llamado conjunto de los enteros modulo n.

Enteros mdulo n (Zn) Si n es un nmero entero tal que n 2 , se denomina Zn al conjunto Zn = { 0 , 1 , 2 , 3 ,..., n-1} Este conjunto, provisto de las operaciones de suma y producto definidas as: + suma : si h y k pertenecen a Zn , entonces h + k es igual al resto de la divisin de h + k por n. Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h + k = 4

11

ESTRUCTURAS ALGEBRAICAS

producto : si h y k pertenecen a Zn , entonces h k es igual al resto de la divisin de h k por n. Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h k = 3 La terna (Zn , + , ) es un anillo conmutativo con unidad. Se llama Anillo de los enteros mdulo n. ( Zn , + , ) es un dominio de integridad si y solo s n es primo. Esto puede verse en las siguiente tablas de operaciones en el conjunto Zn Para n = 3 Para la suma + 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1 Zn = { 0 , 1 , 2 } las tablas de operaciones son: Para el producto 0 1 2 0 0 0 0 1 0 1 2 2 0 2 1

El producto No posee divisores de cero Para n = 4 Zn = { 0 , 1 , 2 , 3 } las tablas de operaciones son: Para el producto 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1

Para la suma + 0 1 2 3 0 0 1 2 3

El producto posee divisores de cero


12

ESTRUCTURAS ALGEBRAICAS

Espacio Vectorial
Un espacio vectorial sobre un cuerpo K es un conjunto V , cuyos elementos se denominan vectores, provisto de dos operaciones, una interna que se denomina suma y otra externa que se denomina producto y que cumplen ciertas propiedades. La operacin externa , multiplica un elemento del conjunto K por un elemento del conjunto V. Notacin Esta estructura suele representarse de las siguientes maneras: Como la cuaterna ordenada ( V , + , K , ) ; como la terna ordenada ( K , V ,+ ) y tambin es muy usual la expresin sintetizada VK , todas ellas se leen Espacio Vectorial V sobre el cuerpo K . o simplemente K espacio vectorial. Las operaciones enunciadas deben cumplir las siguiente propiedades: 1. ( V , + ) es un Grupo conmutativo a) + Es asociativa b) + Es conmutativa c) + Tiene neutro d) + Tiene inverso 2. La operacin externa asocia de la siguiente manera: a , b : a, b K y x A 3. , a ( b x ) = ( a b ) x

La operacin externa distribuye sobre la interna de la siguiente manera: a : a K y x , y A , a ( x + y ) = a x + a y


13

ESTRUCTURAS ALGEBRAICAS

4.

La operacin externa tiene elemento neutro.

Propiedades Hay una serie de propiedades que se demuestran fcilmente a partir de los axiomas del espacio vectorial. Algunas de ellas se derivan de la teora elemental de grupos, aplicada al grupo (aditivo) de vectores: por ejemplo, el vector nulo 0 V, y el opuesto -v de un vector v son nicos. Otras propiedades se pueden derivar de la propiedad distributiva, por ejemplo, la multiplicacin por el escalar cero da el vector nulo y ningn otro escalar multiplicado por un vector da cero:

Propiedad Unicidad del vector nulo Unicidad del opuesto de un vector Producto por el escalar cero Producto de un escalar por el vector nulo Opuesto del producto de un

Significado

0 v = 0. El 0 es el nico escalar que cumple esta propiedad. a0=0

vector por un escalar Ejemplos

- (a v) = (-a) v = a (-v)

1.- ( Rn, + , R , ) es un Espacio Vectorial con las suma y el producto conocidos. Siendo Rn , con n 1 el conjunto de las n uplas de nmeros reales. 2.- ( K x , + , K , ) es un Espacio Vectorial con la suma y el producto

14

ESTRUCTURAS ALGEBRAICAS

conocidos, siendo K un cuerpo y K x el conjunto de los polinomios en una indeterminada con coeficientes en K. 3.- ( Rm x n, + , R , ) en el Espacio Vectorial de la matrices de orden m x n en el cuerpo de los reales, con la suma y el producto conocidos.

Morfismo u Homomorfismo
Una aplicacin de conjuntos f: A B se dir que es un morfismo de la estructura (A , ) en la estructura (B , ) o simplemente un morfismo de A en B si se cumple que: x , y A ; f(x y) = f(x) f(y)

Ejemplo: Sean las estructuras ( R , + ) y ( R + , ) usuales. La aplicacin f : R R + definida por f(x) = 2 x es un morfismo de estas estructuras ya que cumple que: f (x + y) = 2 x + y = 2 x 2 y = f (x) f (y) con las operaciones + y

Endomorfismo
15

ESTRUCTURAS ALGEBRAICAS

Se llama as a todo morfismo de A en A. Monomorfismo Se llama as a todo morfismo inyectivo. Epimorfismo Se llama as a todo morfismo sobreyectivo. Isomorfismo Se llama as a todo morfismo biyectivo. Automorfismo Se llama as a todo endomorfismo biyectivo.

Ejemplos
1.

Sean las estructuras ( R3 , + ) y ( R2 x 2 , + ) y la aplicacin x1 f ( x 1 , x2 , x3 ) = x2 0 x3

Las operaciones consideradas son las de suma de ternas ordenadas de nmeros reales y la de suma de matrices.
16

ESTRUCTURAS ALGEBRAICAS

Entonces, como : f ( x1, x2 , x3 ) + ( y1, y2 , y3 ) = f ( x1 + y1 , x2 + y2 , x3 + y3 ) = x1 + y1 x + y 2 2 0 x1 = x x3 + y3 2 0 y1 + y x3 2 0 = y3

= f y1, y2 , y3 f es un morfismo. Adems es inyectivo, es decir un monomorfismo. puesto que x y al dominio, resulta: x f x1, x2 , x3 = 1 x2 0 y1 f y1, y2 , y3 = y x3 2

f x1, x2 , x3 +

0 y3

1 2 Para probar que no es sobreyectivo, basta ver que, por ejemplo 3 4 no es imagen de nadie. 2. f : R R tal que f (x) = 3x es un automorfismo respecto a la suma. i) Es morfismo pues f (x + y ) = 3 (x + y ) = 3x 3y = f (x ) + f (y )
17

ESTRUCTURAS ALGEBRAICAS

ii) f es biyectiva porque: es inyectiva: x y ; f (x ) f (y ) ya que 3x 3y

y es suryectiva: y R x R tal que f (x ) = y ; 3x = y entonces x = y 3

3. f : R R tal que f(x) = x + 1 no es homomorfismo respecto a la adicin. Efectivamente no cumple la definicin de morfismo f (x + y) f (x) + f (y) ya que x + y + 1 x +1 + y + 1 = x + y + 2

Bibliografa
- lgebra Lineal y Geometra de ngel Rafael Larrotonda, Editorial Eudeba 1973 - Notas de lgebra I de Enzo R. Gentile, Editorial Eudeba - 1976

- lgebra I de Armando Rojo, Editorial El Ateneo 1978 Wikipedia la enciclopedia virtual

18