Contenido II de Estructuras Algebraicas

Ejemplo 5-8
n m
Sea el conjunto de las matrices reales de n filas y m columnas.
n m
Definimos la adición de matrices en mediante

A + B = aij  + bij  = C tal que cij = aij + bij i, j

Es decir, dos matrices n  m se suman elemento a elemento. Resulta claro que esta definición
n m
caracteriza una ley de composición interna en , que verifica las siguientes propiedades:

i) Asociatividad. Basándonos en la asociatividad de la adición en

( A + B ) + C = (  aij  + bij  ) + cij 

=  aij + bij  +  cij 

= ( aij + bij ) + cij 

=  aij + ( bij + cij ) 

=  aij  + bij + cij 

(
=  aij  + bij  +  cij  )
= A+ (B + C)

ii) Conmutatividad. Con el mismo criterio anterior.

A + B =  aij  + bij  =  aij + bij 

= bij + aij 
= bij  +  aij 
= B+ A

Hemos utilizado, sucesivamente, la definición de adición de matrices, la conmutatividad de la

suma en y nuevamente la definición de adición de matrices.

iii) Elemento neutro es la matriz nula en n m

definida por nij = o, ij , pues cualquiera
que sea A en dicho conjunto

A+ N = N + A = A
n m n m
iv) Inversa aditiva de toda matriz A  es la matriz B  definida por
bij = −aij ij, pues

A+ B = B + A = N
v) Toda matriz n  m es regular respecto de la adición. En efecto
 A + B = A + C y sumando − A
− A + ( A + B) = −A + ( A + C )
asociando ( − A + A) + B = ( − A + A) + C
por iv) N + B = N +C
y por iii ) B=C

5.3.8 Distributividad de una ley de composición interna respecto de otra .

Consideremos el caso de dos leyes de composición internas " " y " " , definidas en un mismo
conjunto A . Interesa caracterizar el comportamiento relativo de dichas leyes internas en el
sentido de obtener elementos del tipo ( a  b) c o bien ( a b )  c .

Definición
" " es distributiva respecto de " " si y solo si

( a  b) c = ( a c )  (b c )

Para toda terna de elementos a, b y c en A

Se dice que " " es distributiva respecto de " " si y solo si lo es a derecha y a izquierda.

Análogamente se define la distributividad de " " respecto de " " .

Ejemplo 5-9
i) La adición y multiplicación son leyes de composición interna en , y la segunda es
distributiva respecto a la primera. Pero la adición no lo es respecto de la multiplicación.

ii) En el conjunto la potenciación no es distributiva respecto de la adición.

Aquí se define

a  b = a n y se tiene ( a + b )  a n + bn
n

Tampoco existe distributividad a izquierda, pues

n( a +b )  n a + nb

iii) Pero la potenciación en es distributiva a derecha respecto de la multiplicación, ya que

( a  b) = a n  bn
n

Sin embargo, no lo es a izquierda, pues

n(
ab)
 na  nb

iv) En P (U ) la unión y la intersección son leyes de composición interna, y cada una es

distributiva respecto de la otra.
v) En P (U ) se consideran la deferencia simétrica y la intersección. En el ejemplo 2-28 se ha
probado la distributividad de la intersección respecto de aquella.

5.4 Homomorfismo entre conjuntos

Sean ( , +) y ( +
, ) , donde es el conjunto de los reales, +
el conjunto de los reales
positivos y las operaciones indicadas son la suma y el producto usuales.

Consideremos ahora la función

+
f: →

Definida por f ( x ) = 2 x (1)

Se tiene entonces

f ( x + y ) = 2x+ y = 2x  2 y = f ( x )  f ( y )

Basándonos en la definición , el producto de potencias de igual base, y utilizando de nuevo la

definición (1) , hemos probado que la imagen de la suma en es igual al producto de las
+
imágenes en .
+
Una aplicación f , que satisface esta propiedad, se dice un homomorfismo de en
respecto de las correspondientes leyes de composición interna.

5.4.1 Homomorfismo entre dos conjuntos respecto de una ley interna en cada uno.
Sean los conjuntos no vacíos A , A y las leyes de composición interna

 : A2 → A
 : A2 → A

Definición
La función f : A → A es un homomorfismo respecto de * y * si y solo si la imagen de la
composición en A es igual a la composición de las imágenes en A .

En símbolos

f : A → A es un homomorfismo respecto de * y *  f ( a  b ) = f ( a )  f ( b )

Cualesquiera que sean a y b en A .

El concepto de homomorfismo es fundamental en álgebra, y su interpretación es la siguiente:

i) Hemos definido homomorfismo entre dos conjuntos respecto de sendas leyes de

composición interna. Las leyes internas y los conjuntos no son necesariamente distintos.
Además, El concepto de homomorfismo es aplicable también respecto de relaciones que no
son necesariamente operaciones. Se tiene, por ejemplo, los homomorfismos de orden.
ii) Un homomorfismo, como objeto, es una función que respecta la propiedad que lo define.

iii) El homomorfismo f : A → A proporciona una alternativa para obtener la imagen de la

composición en A , a saber:

a) a  A  b  A → a  b  A
→ f ( a  b )  A

b) a  A  b A → f ( a )  A  f ( a )  A

→ f ( a )  f ( b )  A

El homomorfismo establece la igualdad de los objetos f ( a  b ) y f ( a )  f ( b ) , y las dos

posibilidades son: Componer en A y hallar la imagen, o bien, hallar cada imagen y componer
estas en A . Como sinónimo suele usarse el vocablo morfismo.

5.4.2 Homomorfismos especiales

Sea f : A → A un homomorfismo respecto de * y * .

i) f es un homomorfismo si y solo si f es inyectiva.

ii) f es un homomorfismo si y solo si f es sobreyectiva.

iii) f es un homomorfismo si y solo si f es biyectiva.

iv) f es un homomorfismo si y solo si A = A

v) f es un automorfismo si y solo si f es un endomorfismo biyectivo.

Ejemplo 5-10

Sean ( 3
, +) , ( 22
, +) y f : 3
→ 22
tal que

x 0
f ( x1 , x2 , x3 ) =  1
 x2 x3 

Las operaciones consideradas son la suma de ternas ordenadas de números reales definida por
( x1 , x2 , x3 ) + ( y1 , y2 , y3 ) = ( x1 + y1 , x2 + y2 , x3 + y3 )
Y la adición en 22 es la definida en el ejemplo 5.8. Vamos a probar que f caracteriza un
homomorfismo. Veamos,

f ( x1 , x2 , x3 ) + ( y1 , y2 , y3 )  = f ( x1 + y1 , x2 + y2 , x3 + y3 )
x + y 0 
=  1 1 
 x2 + y2 x3 + y3 
 x 0   y1 0 
=  1  + 
 x2 x3   y2 y3 
= f ( x1 , x2 , x3 ) + f ( y1 , y2 , y3 )

Además, un monomorfismo, es decir inyectiva. En efecto, sean

( x1 , x2 , x3 )  3
 ( y1 , y2 , y3 )  3
/ f ( x1 , x2 , x3 ) = f ( y1 , y2 , y3 )
x 0   y1 0
→ 1 =
 x2 x3   y2 y3 

→ x1 = y1 , x2 = y2 , x3 = y3
→ ( x1 , x2 , x3 ) = ( y1 , y2 , y3 )

1 2 
En cambio f no es sobreyectiva, pues A =   carece de preimagen.
3 4 
Ejemplo 5-11

Sea f : → tal que f ( x ) = −3x .

Resulta f un automorfismo de en si mismo, respecto de la adición, pues

i) f ( a + b ) = −3 ( a + b ) = −3a − 3b = f ( a ) + f ( b )

ii) f es biyectiva, lo que se prueba siguiendo el esquema del ejemplo 4-9

El lector podrá comprobar fácilmente que f : → definida por f ( x ) = x + 1 , no es un

homomorfismo respecto de la adición.

5.5 Compatibilidad de una elación de equivalencia con una ley interna.

Sean A   , una relación de equivalencia definida en A , y  una ley de composición interna
en A . Cabe preguntarse si la composición de pares de elementos respectivamente
equivalentes conduce a resultados equivalentes. Si la respuesta es afirmativa, se dice que la
relación de equivalencia es compatible con la ley de composición interna.
Definición
es compatible con   a a  b b → a  b a  b cualesquiera que sean
  a, b, a y b en A.

Ejemplo 5-12
Investigamos la compatibilidad de la congruencia modulo n , respecto de la adición en .

Sean a a   b b → n | a − a   n | b b 
→ n | ( a − a  ) + ( b − b )
→ n | ( a + b ) − ( a  + b )
→a +b a  + b

Hemos utilizado sucesivamente la adición de la congruencia modulo n , el hecho de que si un

número es divisor es divisor de su suma, suma de dos diferencias, y finalmente la definición de
la misma relación de equivalencia.

Ejemplo 5-13
De manera semejante investigamos la compatibilidad de la congruencia modulo n , respecto
de la multiplicación en .

Sean a a   b b → n | a − a   n | b b 
→ a = a + nk   b = b + nk 
→ ab = ( a + nk  )( b + nk  )
→ ab = ab + nak  + nbk  + nk nk 
→ ab = ab + n ( ak  + bk  + k nk  )
→ ab = ab + nk → n | ab − ab
 ab ab.

Ejemplo 5-14
2
En el conjunto de todos los pares ordenados de números naturales se considera la relación
de equivalencia estudiada en el ejercicio 3-25, y la suma ordinaria de pares definida por

( a, b ) + ( c, d ) = ( a + c, b + d ) (1)
Sean ( a, b ) ( a, b)  ( c, d ) ( c, d ) → a + b = b + a  c + d  = d + c
→ ( a + c ) + ( b + d  ) = ( b + d ) + ( a + c )
→ ( a + c, b + d ) ( a + c, b + d  )
→ ( a, b ) + ( c, d ) ( a, b ) + ( c, d  )
2
De este modo resulta que la relación de equivalencia definida en es compatible con la
adición definida en (1)