Académique Documents
Professionnel Documents
Culture Documents
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
( a b) c
= (a + b +3) c = a + b +3 + c +3 = a + b + c + 6
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
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
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
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)
Ejemplos 1.- ( Z , + , ) con las operaciones conocidas, no es cuerpo, pues Z carece de inversos multiplicativos. 2.- ( Q , + , ) conocidas son cuerpos.
9
( R , + , )
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
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
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
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
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
ESTRUCTURAS ALGEBRAICAS
4.
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
- (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.
Las operaciones consideradas son las de suma de ternas ordenadas de nmeros reales y la de suma de matrices.
16
ESTRUCTURAS ALGEBRAICAS
= 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
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
18