TEMA : ESTRUCTURAS ALGEBRAICAS

* Operacin binaria.

Es una operacin matemtica que necesita de un operador y dos operandos argumentos, con los cuales
se calcula un nuevo valor.

Si tuviramos tres conjuntos de valores llamados A, B, C, en donde a A , b B , c C una operacin

binaria es una aplicacin que asigna a cada par de valores de A y B un solo valor de C, que se puede
representar as:

f: AxBC que nos dice el conjunto A operado con el conjunto B nos da el conjunto C

ab=c a operado con b igual c

(a,b) = c operar las parejas a y b resulta c

(a,b) c operando las parejas a y b resulta c

(A,) el conjunto A operado con

Un ejemplo de operacin binaria es el operador + de nmeros naturales, porque requiere dos

argumentos:

+:NxNN (a,b)c=a+b

Y un ejemplo numrico es 2 + 3 = 5 +(2,3) = 5 (2,3) + 5

Los conjuntos A , B , C pueden ser finitos infinitos.

Las operaciones binarias se pueden aplicar no slo a conjuntos numricos, sino a conjuntos diversos
mientras definamos los elementos y la operacin con el uso de ellos.

La utilidad de este hecho es que se pueden extender propiedades de operaciones numricas a muchos
otros conjuntos no numricos.

1
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Tipos de operacin binaria.

Vamos a distinguir dos tipos bsicos con sus variantes.

Operacin binaria INTERNA: que es cuando A = B = C esto es A x A A

Operacin binaria EXTERNA: que es cualquier otra combinacin de A , B , C

AxBA BxAA AxAB AxBC

* Propiedades de las operaciones binarias.

Existen muchas propiedades de las operaciones binarias, pero las que nos resultan de mayor utilidad, son
las de operacin binaria interna, ya que al operar dos elementos del mismo conjunto el resultado es del
mismo conjunto.

En consecuencia, la primera propiedad que podemos mencionar es la cerradura clausura.

* Propiedad cerradura.

Al realizar la operacin binaria con dos elementos de A, el resultado es un elemento de A.

* Propiedad conmutativa.

Al realizar la operacin binaria con dos elementos de A, el resultado no vara si cambiamos el orden de
los argumentos en la operacin.

V a, b A : a b = b a

Con un solo valor que no cumpla la regla, se dice que no son conmutativas.

2
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Propiedad asociativa.

Al realizar la operacin binaria con tres elementos de A, el resultado no vara si asociamos los
argumentos en la operacin.

V a, b , c A : ( a b ) c = a ( b c )

Con un solo valor que no cumpla la regla, se dice que no son asociativas.

* Propiedad del elemento idntico.

Tambin conocido como elemento Neutro, es el elemento I que pertenece al conjunto A con el cual

V a, I A : I a = a I = a

La regla se puede cumplir por la izquierda por la derecha, dependiendo del operador. Pero si se cumple
en ambos sentidos, decimos que el elemento idntico es nico.

* Propiedad del elemento inverso.

Siendo a un elemento que pertenece al conjunto A, existe un elemento a que pertenece a A con el cual

V a A : a a = a a = I

Donde I es el elemento neutro, y a A.

* Propiedad del elemento involutivo.

Se llama as al elemento a que pertenece al conjunto A, para el cual

a A : a a = a

3
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Propiedad del elemento absorbente.

Se llama as al elemento m que pertenece al conjunto A, para el cual

V a A : m a = m

* Propiedad distributiva por la derecha.

Sea un conjunto A, para el cual tenemos definidas dos operaciones binarias que escribimos ( A , , * )
donde a b = c y a * b = d, se dice que la operacin es distributiva por la derecha de * si

V a,b,c A : a (b*c) =(ab)*(ac)

* Propiedad distributiva por la izquierda.

Sea un conjunto A, para el cual tenemos definidas dos operaciones binarias que escribimos ( A , , * )
donde a b = c y a * b = d, se dice que la operacin es distributiva por la izquierda de * si

V a,b,c A : (a * b) c = (a*c)(b*c)

* Ejercicio. Sea el sistema algebraico ( A , * ) donde A = { a , b , c , d } y la operacin * se define con

* a b c d
a a b c d
Determine el elemento idntico y los elementos
b b c d a
inversos por la derecha.
c c d a b
d d a b c

4
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Ejercicio. Sean las operaciones binarias * y definidas por

* a b c d a b c d
a b a d c a b d c a
b a b c d b d a c b
c d c b a c c c c c
d c d a b d a b c d

Determine si se cumple la igualdad a * ( c ( b * d )) = ( a * ( c b)) * c d

* Estructura algebraica.

Es un conjunto que verifica determinadas operaciones binarias y diversas propiedades de ellas. Tambin
se le conoce como sistema algebraico.

Dependiendo de las propiedades que se cumplen con los elementos de A y la operacin binaria (puede
haber varias operaciones binarias involucradas) tendremos un tipo diferente de estructura algebraica.

* Estructura algebraica: GRUPO.

Es un conjunto A que para una operacin binaria * debe cumplir cuatro requisitos conocidos como
axiomas de grupo, los cuales son:

1) Propiedad de cerradura. a * b = c V a , b , c A

2) Propiedad asociativa a * ( b * c ) = ( a * b ) * c V a,b,c A

3) Elemento neutro a * I = a V a A donde I A

4) Elemento inverso a * a = I V a , a A donde I A , a es el inverso de a

Hay que resaltar el hecho de que el orden de la operacin a * b puede ser diferente de b * a, es decir, el
orden en el que realiza la operacin * puede ser significativo.

5
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Ejercicio. Sea el conjunto A = { cis 0 , cis 120 , cis 240 } y la multiplicacin usual en C. Determine
si el sistema ( A , ) tiene estructura de grupo.

Solucin: debemos verificar que cumple los cuatro axiomas de grupo.

Recordemos que para z = r cis , w = s cis dos nmeros complejos, z w = ( r s ) cis ( + )

Cerradura clausura: siendo los tres elementos nmeros complejos con r = 1 para cualquiera de ellos,
el producto r s siempre es 1, y como entre ellos son mltiplos de 120, la suma de cualquiera de ellos
con cualquier otro de ellos, dar 0 , 120 240. Con lo anterior se demuestra la cerradura del conjunto
A.

Asociativa: sabemos que la multiplicacin de todos los complejos es asociativa por lo que en nuestro
conjunto A, con slo elementos complejos, tambin ser asociativo.

Elemento Neutro: sabemos que en la multiplicacin de todos los complejos el elemento neutro es el
1 = cis 0, que por estar en nuestro conjunto A, nos confirma la existencia del elemento neutro.

Elemento inverso: para cada elemento de nuestro conjunto A debe existir un elemento tal que sumado
con su inverso nos resulte 1.

As, para cis 0 su inverso es el mismo nmero.

para cis 120 su inverso es cis 240 que nos regresa a cis 0

para cis 240 su inverso es cis 120 que nos regresa a cis 0

Como se cumplen los cuatro axiomas, decimos que el sistema ( A , ) tiene estructura de grupo.

6
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Estructura algebraica: GRUPO ABELIANO.

Tambin llamado GRUPO CONMUTATIVO es un conjunto A que para una operacin binaria * debe
cumplir cinco requisitos los cuales son:

1) Propiedad de cerradura. a * b = c V a , b , c A

2) Propiedad asociativa. a * ( b * c ) = ( a * b ) * c V a,b,c A

3) Elemento neutro. a * I = a V a A donde I A

4) Elemento inverso. a * a = I V a , a A donde I A , a es el inverso de a

5) Propiedad conmutativa. a * b = b * a V a,b A

Hay que resaltar el hecho de que un grupo abeliano primero debe ser un grupo, y despus comprobar que
cumple con la conmutatividad.

* Ejercicio. Sea el conjunto Z de los nmeros enteros y la operacin binaria a b = a + b 8

Determine si el sistema ( Z , ) tiene estructura de grupo abeliano.

Solucin: debemos verificar que cumple los cuatro axiomas de grupo y la conmutatividad para grupo
abeliano.

Cerradura clausura: siendo a , b , 8 elementos del conjunto de los nmeros enteros, y siendo la suma y
la resta de enteros otro entero, se demuestra la cerradura del sistema ( A , ).

Asociativa: queremos que a ( b c ) = ( a b ) c

esto es a ( b + c - 8 ) = ( a + b - 8 ) c

que nos conduce a a + ( b + c - 8 ) - 8 = ( a + b - 8 ) + c - 8

y finalmente a a+ b+c-8 -8 = a+b-8 +c8

a + b + c - 16 = a + b + c 16 por lo que se cumple la asociatividad.

7
 TEMA : ESTRUCTURAS ALGEBRAICAS

Elemento Neutro: debe existir un elemento para el cual a I = a

a I = a + I - 8 = a => I = 8 que por ser un entero demuestra la existencia del elemento neutro.

Elemento inverso: para cada elemento de nuestro conjunto A debe existir un elemento tal que sumado
con su inverso nos resulte 8.

As, a a = I => a + a - 8 = 8 => a = 16 - a y como 16 y a son enteros se demuestra la

existencia del elemento inverso.

Hasta aqu, se ha demostrado que es un GRUPO.

Conmutativa: queremos que a b = b a

esto es a + b - 8 = b + a - 8

que nos conduce a a + b - 8 = a + b - 8 por ser conmutativa la suma de enteros

por lo que se cumple la conmutatividad.

Como se cumplen los cinco axiomas, decimos que el sistema ( A , ) tiene estructura de grupo abeliano.

* Estructura algebraica: SUBGRUPO.

Si un conjunto B C A (se lee B sub-conjunto de A) donde A es un grupo para una operacin binaria *,
decimos que ( B , * ) es un sub-grupo de ( A , * ) al cumplir con los siguientes requisitos:

1) B es un conjunto no vaco

2) a * b B V a,b B

3) I B donde I es el elemento neutro de ( A , * )

4) a * a = I V a , a B donde a es el inverso de a

El sistema ( Z , ) del ejercicio anterior, es un subgrupo de los Z.

8
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Estructura algebraica: ANILLO.

Si A es un conjunto no vaco y sean dos operaciones binarias * , en A. Se dice que el sistema

( A , * , ) es un anillo si se cumplen las siguiente condiciones:

1) ( A , * ) es un grupo abeliano conmutativo

2) ( A , ) es cerrado en A V a,b A

3) ( A , ) es asociativo en A V a,b,c A

4) La operacin es distributiva sobre la operacin * en A V a,b,c A

a(b*c) = (ab) * (ac)

(a* b)c = (ac) * (bc)

Si adems se cumple que la operacin es conmutativa, es decir a b = b a V a , b A

decimos que es un ANILLO CONMUTATIVO.

Si se cumple que para la operacin existe el elemento neutro, es decir a I = a V a A

decimos que es un ANILLO CON UNIDAD.

* Ejercicio. Sea el sistema ( A , + , * ) un anillo donde A = { a , b }, las operaciones binarias + , * estn

definidas en las siguientes tablas

Determinar:
+ a b * a b
- El cero y la unidad del anillo
a a b a a a
- Si existen inversos de a y b para cada
b b a b a b
operacin.

Nota: se llama cero ( 0 ) al elemento neutro de la operacin ( + ) y unidad ( 1 ) al elemento neutro de la

operacin ( * ).

Solucin: el cero para + es 0 = a y el uno para * es 1 = b

Para la operacin + : inverso de a a ; inverso de b b

Para la operacin * : inverso de a no existe ; inverso de b b

9
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Ejercicio. Determinar si el sistema ( N , + , ) es un anillo, donde N es el conjunto definido por los

elementos N = { a , b , c , d } y + , son las operaciones binarias definidas en las siguientes tablas:

+ a b c d a b c d
a a b c d a a a a a
b b c d a b a b c d
c c d a b c a c a c
d d a b c d a d c b

Considere que se satisface la propiedad asociativa en las dos operaciones y la propiedad distributiva de la
segunda sobre la primera.

Solucin: para que ( N , + ) sea grupo conmutativo se debe cumplir que sea

1) Cerrada, lo cual es cierto porque siempre resulta un valor de N.

2) Asociativa, lo cual es cierto por hiptesis del problema.
3) Tenga elemento neutro 0, el cual es a.
4) Tenga elemento inverso para cada trmino, lo cual es cierto porque para cada uno existe otro que
al operar la + resulta el valor a.
5) Conmutativa, lo cual es cierto ya que para todos los valores se cumple la conmutatividad.

Ya es un GRUPO CONMUTATIVO para la operacin +. Ahora analizamos para la operacin

1) Cerrada, lo cual es cierto porque siempre resulta un valor de N

2) Asociativa, lo cual es cierto por hiptesis del problema.
3) Distributiva, lo cual es cierto por hiptesis del problema.

Ya es un ANILLO para las operaciones + ,

Como existe un valor 1 = b (elemento neutro para ) es un ANILLO CON UNIDAD.

Como para todos los valores se cumple la conmutatividad, es un ANILLO CONMUTATIVO.

Conclusin: es un ANILLO CONMUTATIVO CON UNIDAD.

10
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Definicin de Dominio Entero.

El conjunto de los nmeros enteros ( Z ) sirvi histricamente de modelo para que, junto a sus dos
operaciones + y *, fueran la base para la formulacin del concepto anillo.

El sistema ( Z ; + , * ) forma un anillo porque cumplen las propiedades:

1) Los enteros estn cerrados bajo la suma: a + b = c V a,b,c Z

2) La suma es asociativa: ( a + b ) + c = a + ( b + c ) V a,b,c Z
3) Existe un elemento neutro para la suma: a + 0 = 0 + a = a V a Z
4) Existe un elemento inverso para la suma: a + a = 0 V a , a Z
5) La suma es conmutativa bajo la suma: a + b = b + a V a,b Z
6) Los enteros estn cerrados bajo la multiplicacin: a x b = c V a,b,c Z
7) La multiplicacin es asociativa: a x ( b x c ) = ( a x b ) x c V a,b,c Z
8) Existe un elemento neutro para la multiplicacin: a x 1 = 1 x a = a V a Z
9) La multiplicacin es distributiva respecto a la suma: a x ( b + c ) = ( a x b ) + ( a x c )
V a,b,c Z

* Estructura algebraica: CAMPO CUERPO.

Si A es un conjunto no vaco y sean dos operaciones binarias * , en A. Se dice que el sistema

( A , * , ) es un campo cuerpo si se cumplen las siguiente condiciones:

1) Es cerrado para las dos operaciones.

2) Es asociativo para las dos operaciones.

3) Es conmutativo para las dos operaciones.

4) Se verifica la propiedad distributiva de sobre *.

5) Existe un elemento neutro para cada operacin: el 0 para * y el 1 para

6) Existe un elemento inverso para cada operacin: a * a = 0 y a a-1 = 1 con a , a-1 0

El hecho de que existan los elementos inversos, permiten la operacin contraria resta y divisin para
cada operacin binaria.

Los nmeros racionales ( Q ), reales ( IR ) y complejos ( C ) son ejemplos de Campos Cuerpos.

11
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Homomorfismo.

Un homomorfismo desde una estructura algebraica a otra de la misma categora es una funcin que es
compatible con toda la estructura.

Si tenemos dos conjuntos no vacos A y B con las leyes de composicin interna

( A , + , * ) y ( B , + , * ) La funcin f : A B es un homomorfismo de grupos respecto de + , *

si y slo si f ( a + b ) = f ( a ) * f ( b ) V a , b A

Algunas propiedades bsicas son:

f ( 1A ) = 1B donde 1A es el neutro de A y 1B es el neutro de B

f( a-1 ) = [f (a)]-1 donde a-1 es el inverso de a y [f (a)]-1 es el inverso de f (a).

Si f : A B entonces el Kernel de A (llamado ncleo de A) es el subconjunto de A:

ker f = { x A | f ( x ) = 1A } donde 1A es el neutro de A

* Isomorfismo.

Se dice que f es un isomorfismo si existe el homomorfismo inverso f -1 : B A de manera que la

composicin de f f -1 = IB y f -1 f -1 = IA , es decir, f es biyectiva ( se cumple de ida y vuelta).

f(a+b) = f(a)*f(b) V a,b A y f(a*b) = f(a)+f(b) V a,b B

Cuando tenemos un isomorfismo entre A y B se cumple que dim A = dim B (la dimensin de A es
igual a la dimensin de B)

El descubrimiento de un isomorfismo entre dos estructuras significa en esencia, que el estudio de cada
una de ellas puede reducirse al de la otra, lo que nos brinda dos puntos de vista diferentes sobra cada
cuestin.

12
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Ejercicio. Dados los grupos binarios ( IR , * ) y ( IR , ) donde IR es el conjunto de los nmeros

reales y las operaciones binarias * y estn definidas por

a*b = a+b-3 y ab = a+b-6

determinar si la funcin f : ( IR , * ) ( IR , ) , dada por f ( x ) = 2x ; V x IR es un Isomorfismo

entre ( IR , * ) y ( IR , )

Solucin: verificamos si f( a * b ) = f ( a ) f ( b ) ; recordando que f( x ) = 2x

f(a*b) = 2(a+b-3) f ( a ) = 2a , f ( b ) = 2b => f ( a ) f ( b ) = 2a + 2b - 6

= 2a + 2b - 6

Como son iguales, concluimos que es un homomorfismo desde * sobre en IR

Ahora verificamos si f( a b ) = f ( a ) * f ( b ) ; recordando que f( x ) = 2x

f(ab) = 2(a+b-6) f ( a ) = 2a , f ( b ) = 2b => f ( a ) * f ( b ) = 2a + 2b - 3

= 2a + 2b - 12

Como son diferentes, concluimos que no es un homomorfismo desde sobre * en IR

Observamos que slo se cumple en un sentido de las operaciones por lo que concluimos:

Para la pregunta del problema, NO es un Isomorfismo.

13
 TEMA : ESTRUCTURAS ALGEBRAICAS

* Ejercicio. Dados los grupos binarios ( Z , * ) y ( Z , ) donde las operaciones binarias * y estn
definidas por

a*b = a+b+5 y ab = a+b-5 V a,b Z

y la funcin f : ( Z , * ) ( Z , ) , definida por f ( a ) = - a ; V a Z

Determinar si f es un Isomorfismo.

Solucin: verificamos si f( a * b ) = f ( a ) f ( b ) ; recordando que f( a ) = - a

f(a*b) = - (a+b+5) f ( a ) = - a , f ( b ) = - b => f ( a ) f ( b ) = - a - b - 5

= - a - b - 5

Como son iguales, concluimos que es un homomorfismo desde * sobre en Z

Ahora verificamos si f( a b ) = f ( a ) * f ( b ) ; recordando que f( a ) = - a

f(ab) = - (a+b-5) f ( a ) = - a , f ( b ) = - b => f ( a ) * f ( b ) = - a - b + 5

= - a - b + 5

Como son iguales, concluimos que es un homomorfismo desde sobre * en Z

Observamos que se cumple en ambos sentidos de las operaciones por lo que concluimos:

Para la pregunta del problema, S es un Isomorfismo.

14