Hola de nuevo.
Quisiera que me ayudaran con el siguiente problema de álgebra moderna.
actualmente lo he desarrollado bastante pero al final no he podido encontrar que sean iguales
problema:
demostrar:
si\( r,s \in{}L, \) es una relación binaria:
\( (r*,r)\sim{}(s*,s)\sim{}(2,1) \)
Solución:
sea \( (r*,r)\sim{}(s*,s) \) entonces
\( r*+s = s*+r \)
\( (r+1)+s = (s+1)+r \)
\( (r+1)+s = s+(1+r) \)
\( r*+s = s+r* \) es una relación binaria;
ahora sea:
\( ((r*,s),(r*,s))\sim{}(2,1) \)
\( r*+s+1 = 2+r*+s \)
bien, como ven prácticamente está terminado, lo que necesito es que los términos sean iguales para que sea una relación, me faltaría concluir
\( r*+s+1 = 2+r*+s \)
muchas gracias