Contenido III de Estructuras Algebraicas

5.5.1. Teorema fundamental de compatibilidad

El hecho de que una relación de equivalencia sea compatible con una ley de composición

interna definida en un conjunto es de notable importancia, porque induce una ley de

composición interna en el conjunto cociente, es decir, permite operar con clases de

equivalencia.

Teorema
Si ~ es una relación de equivalencia compatible con la ley de composición interna * en el
A
conjunto no vacío A . entonces existe en el conjunto cociente una única ley de

A
composición interna  tal que la aplicación canónica  : A → es homomorfismo. Además,

A
las propiedades de  en A se transfieren a  en .

Para demostrar este enunciado consideremos las siguientes etapas.

A
i) Sean K u y K v dos elementos de , es decir, dos clases de equivalencia.

A
Como la aplicación canónica  : A → es sobreyectiva existen x e A. y e A tales

que  ( x ) = Ku y  ( y ) = Kv . (1)

Con esto hemos logrado pasar del conjunto cociente

al conjunto A , donde * es una ley de composición interna, y por lo tanto x  y  A

A
Ahora bien, por definición de aplicación canónica,  ( x  y )  , es decir,

 ( x  y ) = K w (2)

De este modo, a partir de dos clases K u y K v hemos obtenido una clase resultante K w .
 A
Para que esta asignación sea una ley de composición interna en hay que demostrar que

K w depende exclusivamente de K u y K v , y no de la elección de sus preimágenes en A. En

efecto, sean x e y  en A , tales que  ( x ) = Ku y  ( y ) = Kv ( 3) .
Entonces, por (1) y ( 3) se tiene

 ( x) =  ( x ) y  ( y ) =  ( y ) → x x  y y

por la hipótesis de la compatibilidad; y por la definición de aplicación canónica resulta

 ( x  y) =  ( x  y ) = K w , con lo que nuestro propósito queda satisfecho.

Definimos ahora

A A A
 :  → mediante,

Ku  Kv =  ( x )   ( y ) =  ( x  y ) = K w

Esta definición es la traducción de lo anterior, y además queda establecido el hecho

de que la aplicación canónica es un homomorfismo de A en respecto de  y  .

i i ) Veamos ahora que esta ley de composición interna  es única, con la

condición de que la aplicación canónica sea un homomorfismo. Para ello,

A
supongamos que además existe  en , con dicha condición. Entonces

Ku  Kv =  ( x )   ( y ) =  ( x  y ) = Ku  K v

Es decir:  =  por definición de igualdad de funciones.

iii) Además de la existencia y unicidad de la ley  , inducida en A por la relación

de equivalencia compatible con *, veamos que las propiedades de * en A se

A
verifican para * en .

a) Asociatividad. Supongamos que * sea asociativa en A. Entones:

( Ku  K v )  K w =  ( x )   ( y )    ( z ) =  ( x  y )   ( z )
=  ( x  y )  z  =   x  ( y  z )  =  ( x )   ( x  y )
=  ( x )   ( z )   ( y )  = K u  ( K v  K w )

b) Conmutatividad. Si * es conmutativa,  también lo es. En efecto

Ku  K v =  ( x )   ( y ) =  ( x  y ) =  ( y  x )
=  ( y )   ( x ) = K v  Ku

A
c) Existencia de neutro. Si e  A es neutro, entonces  ( e ) = K e es neutro en

Ku  Ke =  ( x )   ( e ) =  ( x  e ) =  ( x ) = Ku

Y análogamente se verifica Ke

Ku  Ku = K e ,

d) Existencia de inversos. Supongamos que x' sea inverso de x respecto de *.

Entonces las correspondientes clases K u y K u son inversas respecto de  .

Ku  Ku =  ( x )   ( x ) =  ( x  x ) =  ( e ) = Ke

Análogamente se tiene

K e  Ku = Ku

Ejemplo 5-15.
Consideremos en Z la adición y la multiplicación. Sabemos que la congruencia

módulo n es compatible con estas leyes internas, de acuerdo con los ejemplos 5-12 y

5-13. Fijemos en particular n = 3; el conjunto cociente es ahora el de las clases de

restos módulo 3. es decir, 3 

= 1, 2 , 3 
De acuerdo con el teorema fundamental de compatibilidad, existen en 3 , sendas

leyes de composición interna, únicas, tales que la aplicación canónica  : → 3

es un homomorfismo. Las leyes inducidas se llaman, respectivamente, suma y producto de

clases, que simbolizamos con  y . Las tablas de estas leyes internas en el conjunto de

las clases son

La construcción de éstas se basa en el teorema fundamental; por ejemplo

1  2 =  (1)   ( 2 ) =  (1 + 2 ) =  ( 3) =  ( 0 ) = 0
2 2 =  ( 2 )  ( 2 ) =  ( 2  2 ) =  ( 4 ) =  (1) = 1
En la práctica, dadas dos clases, se suman sus preimágenes en Z (o bien se
multiplican, según sea el caso); la suma obtenida se divide por 3, y se propone como

resultado en 3 la clase correspondiente al resto de la división. El esquema que

proporciona la validez de este mecanismo consiste en la aplicación del teorema

anterior.
Ejemplo 5-16.
Con análogo criterio construimos las tablas de adición y multiplicación de las clases
de restos modulo 4, y obtenemos

Nos decidimos por denotar con los símbolos + y • , la suma y el producto de clases, y nos

interesa caracterizar las propiedades de estas operaciones en 3 y en 4. De acuerdo con el

teorema fundamental, toda propiedad de la suma en se trasfiere a la suma en 3 y 4. y

lo mismo acune con el producto. Sabiendo entonces que la adición es conmutativa y asociativa
en también lo es la suma de clases y nada hay que demostrar. Además, corto 0 es neutro

para la adición en resulta 0 neutro para la suma en 3 y 4. Por otra parte, como todo

entero tiene inverso aditivo, la misma situación se presenta con toda clase de 3 y de 4. La

multiplicación en es conmutativa, asociativa y con neutro igual a 1; en consecuencia, lo

mismo ocurre para la multiplicación en 3 y 4, siendo el neutro 1. Avanzando un poco más

en la interpretación del teorema fundamental, se dice que toda propiedad de * en A , se

trasfiere a  en A ; pero el teorema no establece que si una propiedad no se cumple en A
A
entonces no se cumple en . Veamos esto a la luz de los dos ejemplos 5-15 y 5-16.

Se sabe que, en , elementos no nulos dan producto no nulo, o lo que es lo mismo: si el

producto de dos factores es cero, entonces alguno de los dos es cero. Esto se traduce diciendo
que en no existen divisores de cero. Pero, por lo anterior, si en no existen divisores de
cero no se deduce que no existan en el cociente. En efecto, basta analizar la tabla de la
multiplicación de clases para ver la existencia de divisores de cero en 4, ya que 2  2 = 0 .

Es decir, existen elementos no nulos que dan producto nulo. En cambio, es fácil constatar que

en 3 no existen divisores de cero. Más adelante demostraremos que para la no existencia de

divisores de cero es condición necesaria y suficiente que el módulo de la congruencia sea

primo.

5.6 LEY DE COMPOSICION EXTERNA

Se presenta a menudo la necesidad de operar con elementos de dos conjuntos, de modo que
la composición sea un elemento de uno de ellos. Esta situación es una de las características de
la estructura de espacio vectorial.
Sean dos conjuntos A y  este último llamado de operadores.

Definición
Una ley de composición externa definida en A , con operadores de  , es toda función de 
X A en A .
Usualmente, una ley de composición externa en A con operadores en  se denota mediante
". " y suele llamarse producto de operadores de  por elementos de A .
En símbolos se tiene
". " es ley externa en A con operadores en    :   A → A .

Mediante esta función, la imagen del par ( , a ) se escribe   a .

Ejemplo 5-17.
Si A es el conjunto de los segmentos contenidos en un plano y es el conjunto de los

números naturales, una ley de composición externa en A con operadores o escalares en es

el producto de números naturales por segmentos del plano.

Ejemplo 5-18.
2
Sean y . Definimos producto de números racionales por pares ordenados

de números reales, mediante

  ( a, b ) = (  a,   b )
2
La igualdad anterior determina una ley de composición externa en con operadores en .

Notamos aquí que el mismo signo ". " aparece en la definición anterior con dos significados
distintos: en el primer miembro se trata del producto de racionales por pares ordenados de
reales, y en el segundo miembro consiste en el producto de racionales por reales.
En particular, si el conjunto A se identifica con  , la ley externa se vuelve interna.

Ejemplo 5-19.

Consideremos ahora nm y . Vamos a definir una ley de composición externa en nm

con escalares u operadores reales, mediante a. A = a .

  A =   aij  =   aij  cualesquiera que sean   y A nm

.

Se tiene así el producto de números

reales por matrices n  m , y se realiza multiplicando cada elemento de la matriz por el
número real.

Ejemplo 5-20.

Si  X  denota el conjunto de todos los polinomios con coeficientes reales, y el conjunto de

operadores es , entonces el producto usual de números reales por polinomios es una ley de

composición externa en  X  con escalares en . Pero si el conjunto de operadores es el de

los números complejos, el producto usual de complejos por polinomios de  X  no es una ley
de composición externa, pues dicho producto no es siempre un polinomio real.

TRABAJO PRACTICO V
5-21. En se define * por medio de a a  b = 2 ( a + b ) . Estudiar las propiedades v la
existencia de elementos distinguidos. V
5-22. Demostrar que, si existe elemento neutro respecto de una ley de composición interna,
entonces es único.

5-23. Formar la tabla de la composición de aplicaciones biyectivas de A = 1, 2, 3 en sí

mismo.
5-24. Demostrar que el inverso del inverso de un elemento, si existe, se identifica con dicho
elemento.
5-25. Demostrar que, si a y b admiten inversos respecto de una ley asociativa, entonces se
verifica ( a  b ) = b  a

5-26. Estudiar las propiedades de  : 2

→ tal que a  b = a + b + 4

5-27. Determinar si la congruencia módulo 2 es compatible con *, en el caso del ejercicio

anterior.

5-28. Analizar las propiedades y elementos distinguidos de  : 2

→ definida por a  b = 0
.
    1
y 29. Realizar «>l mismo análisis con relación a ⊥ :  → tal que . x ⊥ y = x + .
y
siendo 
= − 0.

5-30. En se considera la ley de composición interna * que asigna a cada par ordenado de
reales el mínimo de los dos. Estudiar sus propiedades.

5-31. El conjunto I , donde I es el intervalo cerrado [0,1] , consiste en todas las funciones
de I en , es decir I =  f / f : I →  En I se define la suma de funciones mediante
( f + g )( x ) = f ( x ) + g ( x ) para todo x  I . Estudiar las propiedades de esta ley interna.

5-32. Confeccionar la tabla de la composición de funciones del conjunto S s , donde

S = a, b .

5-33. La función f : 2
→ es una ley interna en definida por f ( a  b ) = a  b2 . Verificar
que no es asociativa ni conmutativa, ni admite neutro.

5-34. Se sabe que * es una ley de composición interna en A , que satisface

a, b, c, d : ( a  b )  ( c  d ) = ( a  c )  ( b  d )

Demostrar que * es asociativa y conmutativa, si existe neutro.


5-35. En se define * tal que a  b = 3ab . Verificar que * es asociativa, con neutro,
conmutativa, y además todos los elementos son ínversibles.

5-36, En I
se define el producto de funciones por medio de ( f  g )( x ) = f ( x )  g ( x )
cualquiera que sea x en I . Demostrar la asociatividad, conmutatividad, existencia de neutro,
y la distributividad respecto de la suma de funciones definida en el ejercicio 5-31.

5-37. * es una ley de composición externa en C con escalares reales, es decir  :  → tal
que a  z = a  z . Verificar las siguientes propiedades

i) a  ( b  z ) = ( a  b )  z
ii ) ( a + b )  z = ( a  z ) + ( b  z )
iii ) a  ( b + w ) = ( a  z ) + ( a  w )
 
5-38. Se consideran con el producto y con la suma. Probar que la función f : → ,
tal que f ( x ) : log 2 x , es un morfismo biyectivo.

5-39. Demostrar que la aplicación f : → −1, 0,1 es un morfismo respecto del producto
en ambos conjuntos, siendo f ( x ) = sg ( x ) .

5-40. En se definen las leyes de composición interna  y  mediante

x y = x
x y = x + y
Investigar las disitributividades de * respecto de •.