ESTRUCTURAS ALGEBRAICAS

Fundamentos de la Matemtica

1 Operaciones Binarias
Definicin Dado un conjunto A , A , decimos que es una operacin binaria en A si, y slo si, : A A A es una funcin.

Investigar si los siguientes son ejemplos de operaciones binarias

0 1 2

1) A = {0,1, 2} , 0 0 2 0 1 2 0 1 2 0 1 2
2) : | a b = a + b ab

Ejercicio: : | a b =

a +b es una operacin binaria? 2

Propiedades de las operaciones

Consideramos un conjunto A , A , y una operacin binaria en A .

Asociativa
es asociativa x , y, z, x A, y A, z A, (x y ) z = x (y z ) Ejercicio: Investigar en los ejemplos anteriores 1) y 2) si se cumple esta propiedad.

Existencia de neutro
Existe neutro de e, e A, x , x A,(x e = e x = x )
Ejercicio: Investigar en los ejemplos anteriores 1) y 2) si se cumple esta propiedad.

Instituto de Profesores Artigas

2008

ESTRUCTURAS ALGEBRAICAS

Existencia de simtrico Para cada elemento de A existe simtrico x , x A, x ', x ' A, (x x ' = x ' x = e) Nota: cuando la operacin es adicin el simtrico se denomina opuesto y si la operacin es multiplicacin se denomina inverso. Ejercicio: Investigar en los ejemplos anteriores 1) y 2) si se cumple esta propiedad. Conmutativa
es conmutativa x , y, x A, y A, (x y = y x )

Ejercicio: Investigar en los ejemplos anteriores 1) y 2) si se cumple esta propiedad. Cancelativa

cumple la propiedad cancelativa a, b, c, a A, b A, c A, (a b = a c b = c)

Teoremas
I) Dado A , A , y una operacin binaria en A . Si existe neutro de , entonces es nico. II) Dado A , A , y una operacin binaria asociativa en A . Si existe simtrico de a , a A , entonces es nico.

2 Grupo
Definicin Dado el conjunto G , G :
es una operacin binaria en G es asociativa (G, ) es un grupo Existe neutro de Para cada elemento de G existe su simtrico

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

Ejercicio: Investigar si los ejemplos 1) y 2) del comienzo constituyen una estructura de grupo.

Propiedades que se cumplen en una estructura de grupo

1) El neutro y el simtrico son nicos 2) a, a G, (a ')' = a 3) cumple con la propiedad cancelativa 4) Las ecuaciones b x = a y x b = a tienen una nica solucin 5) a, b, a G, b G, ((a b )' = (b ' a ')) 6) ai , n, ai G, n , (a 0 a1 ... an )' = an ' an 1 '... a 0 '

Teorema
es operacin binaria en G es asociativa (H) (G, ) cumple: e, e G, x , x G, x e = x x , x G, x ', x ' G, x x ' = e

(T) (p p = p p = e )

Teorema
es operacin binaria en G es asociativa (G, ) cumple: e, e G, x , x G, x e = x x , x G, x ', x ' G, x x ' = e

(G, ) es un grupo

Grupo conmutativo
Definicin
(G, ) es grupo (G, ) es un grupo conmutativo es conmutativa

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

3 Anillo
Definicin
(A, ) es un grupo conmutativo es una operacin binaria en A es asociativa es distributiva respecto de

(A, , ) es un anillo

Nota: De ahora en ms, para simplificar la notacin, notaremos en general cualquier anillo como (A, +, ) . Por tanto, el simtrico del elemento a con respecto a la primera operacin lo
notaremos a , y al simtrico de a con respecto a la segunda operacin lo notaremos a 1 .

Teorema
Si (A, +, ) es un anillo, se cumplen las siguientes propiedades: 1. 2. 3.

a 0 = 0 a = 0, a, a A (siendo 0 el neutro de +)
( (a ) b = a (b) = (a b), a, b, a A, b A

(a ) (b) = a b, a, b, a A, b A

(Definicin: a b = a + (b), a, b, a A, b A 4.

a (b c) = a b a c

(a b) c = a c b c

a, b, c, a A, b A, c A

Anillo sin divisores de cero

Definicin
(A, +, ) es un anillo sin divisores de cero si, y slo si, el producto de elementos no nulos es no nulo.

El anillo (A, +, ) no tiene divisores de cero

x , y, x A, y A, (x 0 y 0 x y 0)

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

O bien: El anillo (A, +, ) no tiene divisores de cero

x , y, x A, y A, (x y = 0 x = 0 y = 0)

Esta ltima se denomina en general propiedad Hankeliana.

O sea que el anillo (A, +, ) tiene divisores de cero x , y, x A, y A, (x 0 y 0 x y = 0)

Propiedad cancelativa de la multiplicacin

a b = a c a 0 b = c es cancelativa b a = c a a 0 b = c

Teorema
Un anillo no tiene divisores de cero si, y slo si, se cumple la propiedad cancelativa de la multiplicacin.

Demostracin del directo

x z = y z x z y z = 0 (x y ) z = 0 x y = 0 x = y (z 0)
Demostracin del recproco
Si x y = 0 , supondremos que y 0 y demostraremos que x = 0 : z , z A, z y = z y + 0 z y = z y + x y z y = (z + x ) y z = z +x x = 0 y 0

Anillo conmutativo
(A, +, ) es un anillo conmutativo (A, +.) es un anillo es conmutativa

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

Anillo conmutativo con unidad

(A, +, ) es un anillo conmutativo con unidad (A, +.) es un anillo conmutativo tiene elemento neutro

4 Dominio de Integridad
Definicin Todo anillo conmutativo con unidad y sin divisores de cero se denomina dominio de integridad. Ejercicio Investigar si (P, +,) es un dominio de integridad siendo P = x | x , x = 2h, h

5 Cuerpo

Definicin
(K , +, ) es un cuerpo si, y slo si, (K , +, ) es un anillo conmutativo con unidad tal que todos los elementos de K (excepto el neutro de la primera operacin) tienen inverso.

Teoremas

Los cuerpos no admiten divisores de cero En todo cuerpo vale la cancelativa de la multiplicacin para elementos no nulos. Si b 0 , la ecuacin b x = a admite solucin nica en K .

(x 1 ) = (x )1, x , x K , x 0 . Sean x , y, x ', y ' elementos de un cuerpo con y e y ' no nulos:

x x = x y = y x y y

siendo

x = x y 1 por notacin. y

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

6 Ejercicios
1) Completar las siguientes tablas sabiendo que corresponden a operaciones binarias con neutro y conmutativas.
a b c a b b c b c
a b a a b b c d c a c d a c d d

Cuntas soluciones hay?

2) La tabla define la operacin en A = {0,1,2, 3, 4, 5} .

0 1 2 3 4 5 0 0 0 0 0 0 0 1 0 1 2 3 4 5 2 0 2 4 0 2 4 3 0 3 0 3 0 3 4 0 4 2 0 4 2 5 0 5 4 3 2 1 3) En el conjunto se define tal que a b = a) Investigar si se trata de una operacin. b) Estudiar si es asociativa y conmutativa. 4) En se definen las operaciones y tales que a b = a + 2b y a b = 2ab . a) Son conmutativas?
b) Son asociativas? c) Es distributiva una operacin con relacin a la otra? 5) Estudiar la existencia de neutro de en los siguientes casos: ab a) En , con a b = 2 b) En , con a b = a 2 + b c) En , con a b = 2a + ab d) En , con a b = a

a) Es conmutativa? b) Existe neutro? c) Existe simtrico?

a +b 2

Fundamentos de la Matemtica

2008

ESTRUCTURAS ALGEBRAICAS

6) Dado el conjunto y la operacin | a b = a + (b + 1) , probar que (, ) es un grupo conmutativo. 7) En el conjunto de los puntos de un plano se consideran la transformacin idntica (I ) y
la simetra axial de eje e (S ) . Sea C = {I , S } . Se considera la composicin de funciones

( ) restringida al conjunto C . Crear la tabla correspondiente a la operacin

que (C , ) es un grupo conmutativo.

y probar

8) Demostrar que la estructura formada por el conjunto de todas las funciones biyectivas

de A en A y la composicin de funciones es un grupo. 9) Sobre el conjunto

se define la operacin

| (a, b) (x , y ) = (ax , bx + y ) .

Demostrar que ( , ) es un grupo. 10) Dado el conjunto se definen las operaciones: (a, b) (c, d ) = (a + c, b + d ) y (a, b) (c, d ) = (ac, 0) . Investigar si es un anillo. 11) Se considera el conjunto A = {0,1} y las operaciones dadas por las tablas.
+ 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 Comprobar que (A, +,) es un cuerpo.

12) Sabiendo que (A, ) es un grupo conmutativo siendo A = {a, b, c, d } y a b = c ,

a c = c y b d = a :

a) Realizar la tabla de la operacin. b) Resolver: i) a (x b) = d ii) [b (x d )] (x a ) = c 13) Sea (A, ) un grupo conmutativo. Probar que para todo u, x , y, z pertenecientes a A se verifica (u x ) (y z ) = (u (x y )) z = u (x (y z )) = (x z ) (y u )

Bibliografa recomendada lgebra I. Armando Rojo Estructuras Algbricas I. Enzo Gentile (Monografa de la OEA)

Fundamentos de la Matemtica

2008