SlideShare uma empresa Scribd logo
1 de 11
Autor:
Luis Caraballo
C.I: 24,695,744
Código: 47
Porlamar, Junio del 2014
Se llama Retículo a un conjunto R, entre cuyos elementos se han definido
dos operaciones, llamadas Unión el intersección, y representadas por los símbolos È y Ç
respectivamente, tales que si A y B son dos elementos arbitrarios de R, A È B y A Ç B
existen, son únicos y pertenecen a R
Retículo
 Ejemplos:
• Si X es un conjunto totalmente ordenado, entonces X es un
retículo.• El conjunto ordenado (N,|) es un retículo. En este caso se
tiene que x˅y = mcm(x,y) mientras que x˄y = mcd(x,y).
• Si V es un K-espacio vectorial, el conjunto de los subespacios
vectoriales de V es un retículo, con el orden dado por la inclusión.
Aquí, dado dos subespacios vectoriales V1 y V2 se tiene que V1˅V2 =
V1+V2 mientras que V1˄V2 = V1∩V2.
• El conjunto representado por eldiagrama de Hasse de la figura 5,
es un retículo. Se tiene, por ejemplo: c˅d = f, c˄d = a, b˅c = f, b˄c =
0, c˅e = 1, c˄e = 0.
Retículo
Asociatividad. Para tres elementos cualesquiera, A, B, C, de R se cumple que:
A È (B È C) = (A È B) È C ý A Ç (B ÇC) = (A Ç B) Ç C
Conmutatividad. Para dos elementos cualesquiera A, B, de R se cumple que:
A È B = B È A ý A Ç B = B Ç A
Idempotencia. Para todo elemento A de R se verifica que: A È A = A ý A Ç A =
A
Ley de Simplificación. Si A y B son elementos arbitrarios de R se verifica que:
(A È B) Ç A = A ý (A Ç B) È A = A
De acuerdo con esta definición se puede comprobar que el conjunto de las partes de
un conjunto R(U) es un retículo.
Se cumple también la siguiente propiedad:
Si A y B son elementos de un retículo R, se verifica que: A  B = B <=> A  B = A
Propiedades de Retículo
Un diagrama de Hasse es un representación de un conjunto
parcialmente ordenado finito. La representación se hace mediante un
grafo, o sea un diagrama que consta de nodos y aristas. Supongamos
que tenemos una relación R en A que es relación de orden.
Primeramente sabemos que es reflexiva, anti simétrica y transitiva.
Formamos el grafo con los elementos de A, estos son los nodos, y las
aristas son conexiones entre nodos relacionados, en este caso es un
grafo dirigido. La primera condición es que si dos elementos están
relacionados, digamos (a,b) ∈ R entonces dibujamos b a un nivel
superior de a.
Un diagrama de Hasse elimina la necesidad de representar
lazos, puesto que se tiene que la relación parcialmente ordenada es
reflexiva.
Puesto que la transitividad también está implicada, se puede
prescindir de mostrar líneas entre elementos que tengan un elemento
intermedio relacionado, pues se sobrentienden.
Con estos diagramas las relaciones de orden son muy fácil de
representar y sobretodo de entender.
Diagrama de Hasse
Ejemplo A:
Sea el conjunto A = {1, 2, 3, 4, 5, 6,
10, 12, 15, 20, 30, 60} (todos los divisores
de 60). Este conjunto está ordenado
parcialmente por la relación de
divisibilidad (D60,|). Su diagrama de
Hasse puede ser representado como
sigue:
Ejemplo Diagrama de Hasse
Ejemplo B:
Los diagramas de Hasse son útiles
para darse cuenta de si dos c.p.o.’s
son isomorfos o no. Por ejemplo el
c.p.o. Tiene el siguiente diagrama:
Lo que hace evidente el isomorfismo con
({1, 2, 3, 6}, |).
Definición : Sea X un conjunto, y ≤ una relación binaria en X. Se dice que ≤ es una relación de
orden si se verifican las siguientes propiedades:
Reflexiva: x ≤ x para todo x ∈ X.
Antisimétrica: Si x ≤ y e y ≤ x entonces x = y.
Transitiva: Si x ≤ y e y ≤ z entonces x ≤ z.
Si X es un conjunto en el que tenemos definida una relación de orden ≤, se dice que (X, ≤) es
un conjunto ordenado (o, si está claro cual es la relación ≤ se dice simplemente que X es un conjunto
ordenado).
Si ≤ es una relación de orden en X que satisface la propiedad adicional de que dados x, y ∈ X
entonces x ≤ y ó y ≤ x, se dice entonces que ≤ es una relación de orden total, y que (X, ≤) (o X) es un
conjunto totalmente ordenado (en ocasiones, para destacar que (X, ≤) es una relación de orden, pero que
no es total se dice que ≤ es una relación de orden parcial y que (X, ≤) es un conjunto parcialmente
ordenado).
Conjunto Ordenados
 1. El conjunto de los números naturales, con el orden natural (m ≤ n si existe k
∈ N tal que n = m+k)
 es un conjunto totalmente ordenado. De la misma forma, también lo son (Z, ≤),
(Q, ≤) y (R, ≤).
 2. Dado un conjunto X, entonces P(X), con el orden dado por la inclusión es un
conjunto ordenado.
 Si X tiene más de un elemento, este orden no es total, pues dados x, y ∈ X
distintos se tiene que
 {x} 6⊆ {y} y {y} 6⊆ {x}.
 3. En el conjunto de los números naturales, la relación de divisibilidad es una
relación de orden que
 no es total. Sin embargo, en el conjunto de los números enteros esta relación no
es de orden pues
 no es antisimétrica, ya que 2| − 2, −2|2 y sin embargo 2 6= −2.
 4. Para cualquier número natural n consideramos el conjunto
 D(n) = {m ∈ N : m|n}
 Entonces (D(n), |) es un conjunto (parcialmente) ordenado.
Ejemplo de Conjunto Ordenados
Es una función que preserva la estructura entre
dos estructuras matemáticas relevantes. La noción de
homomorfismo se estudia abstractamente en el álgebra
universal, y ése es el punto de vista tomado en este
artículo. Una noción más general de morfismo se estudia
abstractamente en la teoría de las categorías
Homomorfismo
Ejemplo de homomorfismo
Comprobamos si f es un homomorfismo:
∀x,y∈G:f(x∗y)a∗(x∗y)∗a−1(1)←→−a∗x∗y∗a−1(1)←→−a∗x∗e∗y∗a−1=
=a∗x∗a−1∗a∗y∗a−1=(a∗x∗a−1)∗(a∗y∗a−1)=f(x)∗f(y)
En (1) hemos aplicado la propiedad asociativa y en (2) la definición de
elemento neutro. Con todo ello hemos demostrado que la aplicación es
homomorfismo. Para que sea isomorfismo se ha de tener:
∀x∈Kerf:f(x)=e;a∗x∗a−1=e
Operando con a por la derecha:
a∗x∗a−1∗a→e∗a=a=a∗x
Operando con a−1 por la izquierda en el último resultado:
a−1∗a=a−1∗a∗x→e=e∗x→e=x
Y, por lo tanto, la aplicación dada si es isomorfismo.
Reticulo

Mais conteúdo relacionado

Mais procurados

Algebra lineal problemas_resueltos
Algebra lineal problemas_resueltosAlgebra lineal problemas_resueltos
Algebra lineal problemas_resueltos
mathbmc
 
Algoritmos de kruskal y prim
Algoritmos de kruskal y primAlgoritmos de kruskal y prim
Algoritmos de kruskal y prim
fher969
 
Metodos numericos-3-1212530740013750-9
Metodos numericos-3-1212530740013750-9Metodos numericos-3-1212530740013750-9
Metodos numericos-3-1212530740013750-9
Xavier Davias
 
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES YECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
Samir Velasquez Quispe
 

Mais procurados (20)

Teorema del binomio
Teorema del binomioTeorema del binomio
Teorema del binomio
 
Algebra lineal problemas_resueltos
Algebra lineal problemas_resueltosAlgebra lineal problemas_resueltos
Algebra lineal problemas_resueltos
 
Traslación, Giro de ejes y Determinación de curvas
Traslación, Giro de ejes y Determinación de curvasTraslación, Giro de ejes y Determinación de curvas
Traslación, Giro de ejes y Determinación de curvas
 
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICOAPUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
APUNTES Y EJERCICIOS RESUELTOS DE ANALISIS NUMERICO
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Algoritmos de kruskal y prim
Algoritmos de kruskal y primAlgoritmos de kruskal y prim
Algoritmos de kruskal y prim
 
Funciones de Varias Variables
Funciones de Varias Variables Funciones de Varias Variables
Funciones de Varias Variables
 
Campos vectoriales
Campos vectorialesCampos vectoriales
Campos vectoriales
 
Unidad 5
Unidad 5Unidad 5
Unidad 5
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Metodos numericos-3-1212530740013750-9
Metodos numericos-3-1212530740013750-9Metodos numericos-3-1212530740013750-9
Metodos numericos-3-1212530740013750-9
 
Serie de-taylor-y-maclaurin
Serie de-taylor-y-maclaurinSerie de-taylor-y-maclaurin
Serie de-taylor-y-maclaurin
 
Ejercicios algebra superior hall y knight
Ejercicios algebra superior hall y knightEjercicios algebra superior hall y knight
Ejercicios algebra superior hall y knight
 
Matlab caudraticas2
Matlab caudraticas2Matlab caudraticas2
Matlab caudraticas2
 
Proyecto final matemática 2 (INTEGRALES)
Proyecto final matemática 2 (INTEGRALES)Proyecto final matemática 2 (INTEGRALES)
Proyecto final matemática 2 (INTEGRALES)
 
Extremos (3 variables)
Extremos (3 variables)Extremos (3 variables)
Extremos (3 variables)
 
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES YECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES Y
 
Identidad ángulo medio - Trigonometría Matemática
Identidad ángulo medio - Trigonometría MatemáticaIdentidad ángulo medio - Trigonometría Matemática
Identidad ángulo medio - Trigonometría Matemática
 
Espacios L2
Espacios L2Espacios L2
Espacios L2
 
Distancia entre dos puntos
Distancia entre dos puntosDistancia entre dos puntos
Distancia entre dos puntos
 

Semelhante a Reticulo

Logica...
Logica...Logica...
Logica...
nerdito
 

Semelhante a Reticulo (20)

Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
La Evolución de la Matemática Hasta la Actualidad
La Evolución de la Matemática Hasta la ActualidadLa Evolución de la Matemática Hasta la Actualidad
La Evolución de la Matemática Hasta la Actualidad
 
Relacion y grafos
Relacion y grafosRelacion y grafos
Relacion y grafos
 
Relacion-Conjunto.pptx
Relacion-Conjunto.pptxRelacion-Conjunto.pptx
Relacion-Conjunto.pptx
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
República bolivariana de venezuel1
República bolivariana de venezuel1República bolivariana de venezuel1
República bolivariana de venezuel1
 
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
 
Relacion de equivalencia
Relacion de equivalenciaRelacion de equivalencia
Relacion de equivalencia
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Topologia general (1)
Topologia general (1)Topologia general (1)
Topologia general (1)
 
Topologia general
Topologia generalTopologia general
Topologia general
 
Topologia general
Topologia generalTopologia general
Topologia general
 
Tema 4 algebra
Tema 4 algebraTema 4 algebra
Tema 4 algebra
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
FMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdfFMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdf
 
Relaciones y grafos
Relaciones y grafosRelaciones y grafos
Relaciones y grafos
 
Logica...
Logica...Logica...
Logica...
 
Relaciones y grafos
Relaciones y grafosRelaciones y grafos
Relaciones y grafos
 

Mais de Luis Caraballo (8)

LUIS CARABALLO..Programación no lineal con restricciones de desigualdad
LUIS CARABALLO..Programación no lineal con restricciones de desigualdadLUIS CARABALLO..Programación no lineal con restricciones de desigualdad
LUIS CARABALLO..Programación no lineal con restricciones de desigualdad
 
LUIS CARABALLO Programación no lineal con restricciones de desigualdad
LUIS CARABALLO Programación no lineal con restricciones de desigualdadLUIS CARABALLO Programación no lineal con restricciones de desigualdad
LUIS CARABALLO Programación no lineal con restricciones de desigualdad
 
Luiscaraballo ensayo
Luiscaraballo ensayoLuiscaraballo ensayo
Luiscaraballo ensayo
 
Luis caraballo 24695744 ensayo
Luis caraballo 24695744 ensayoLuis caraballo 24695744 ensayo
Luis caraballo 24695744 ensayo
 
Luis caraballo 24695744 ing.sistema
Luis caraballo 24695744 ing.sistemaLuis caraballo 24695744 ing.sistema
Luis caraballo 24695744 ing.sistema
 
Luis caraballo ing economica
Luis caraballo ing economicaLuis caraballo ing economica
Luis caraballo ing economica
 
Método científico(metodología de la investigación II)
Método científico(metodología de la investigación II)Método científico(metodología de la investigación II)
Método científico(metodología de la investigación II)
 
Sistema Operativo 2
Sistema Operativo 2Sistema Operativo 2
Sistema Operativo 2
 

Último

Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
AnnimoUno1
 

Último (11)

Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfRefrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
 

Reticulo

  • 2. Se llama Retículo a un conjunto R, entre cuyos elementos se han definido dos operaciones, llamadas Unión el intersección, y representadas por los símbolos È y Ç respectivamente, tales que si A y B son dos elementos arbitrarios de R, A È B y A Ç B existen, son únicos y pertenecen a R Retículo
  • 3.  Ejemplos: • Si X es un conjunto totalmente ordenado, entonces X es un retículo.• El conjunto ordenado (N,|) es un retículo. En este caso se tiene que x˅y = mcm(x,y) mientras que x˄y = mcd(x,y). • Si V es un K-espacio vectorial, el conjunto de los subespacios vectoriales de V es un retículo, con el orden dado por la inclusión. Aquí, dado dos subespacios vectoriales V1 y V2 se tiene que V1˅V2 = V1+V2 mientras que V1˄V2 = V1∩V2. • El conjunto representado por eldiagrama de Hasse de la figura 5, es un retículo. Se tiene, por ejemplo: c˅d = f, c˄d = a, b˅c = f, b˄c = 0, c˅e = 1, c˄e = 0. Retículo
  • 4. Asociatividad. Para tres elementos cualesquiera, A, B, C, de R se cumple que: A È (B È C) = (A È B) È C ý A Ç (B ÇC) = (A Ç B) Ç C Conmutatividad. Para dos elementos cualesquiera A, B, de R se cumple que: A È B = B È A ý A Ç B = B Ç A Idempotencia. Para todo elemento A de R se verifica que: A È A = A ý A Ç A = A Ley de Simplificación. Si A y B son elementos arbitrarios de R se verifica que: (A È B) Ç A = A ý (A Ç B) È A = A De acuerdo con esta definición se puede comprobar que el conjunto de las partes de un conjunto R(U) es un retículo. Se cumple también la siguiente propiedad: Si A y B son elementos de un retículo R, se verifica que: A  B = B <=> A  B = A Propiedades de Retículo
  • 5. Un diagrama de Hasse es un representación de un conjunto parcialmente ordenado finito. La representación se hace mediante un grafo, o sea un diagrama que consta de nodos y aristas. Supongamos que tenemos una relación R en A que es relación de orden. Primeramente sabemos que es reflexiva, anti simétrica y transitiva. Formamos el grafo con los elementos de A, estos son los nodos, y las aristas son conexiones entre nodos relacionados, en este caso es un grafo dirigido. La primera condición es que si dos elementos están relacionados, digamos (a,b) ∈ R entonces dibujamos b a un nivel superior de a. Un diagrama de Hasse elimina la necesidad de representar lazos, puesto que se tiene que la relación parcialmente ordenada es reflexiva. Puesto que la transitividad también está implicada, se puede prescindir de mostrar líneas entre elementos que tengan un elemento intermedio relacionado, pues se sobrentienden. Con estos diagramas las relaciones de orden son muy fácil de representar y sobretodo de entender. Diagrama de Hasse
  • 6. Ejemplo A: Sea el conjunto A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} (todos los divisores de 60). Este conjunto está ordenado parcialmente por la relación de divisibilidad (D60,|). Su diagrama de Hasse puede ser representado como sigue: Ejemplo Diagrama de Hasse Ejemplo B: Los diagramas de Hasse son útiles para darse cuenta de si dos c.p.o.’s son isomorfos o no. Por ejemplo el c.p.o. Tiene el siguiente diagrama: Lo que hace evidente el isomorfismo con ({1, 2, 3, 6}, |).
  • 7. Definición : Sea X un conjunto, y ≤ una relación binaria en X. Se dice que ≤ es una relación de orden si se verifican las siguientes propiedades: Reflexiva: x ≤ x para todo x ∈ X. Antisimétrica: Si x ≤ y e y ≤ x entonces x = y. Transitiva: Si x ≤ y e y ≤ z entonces x ≤ z. Si X es un conjunto en el que tenemos definida una relación de orden ≤, se dice que (X, ≤) es un conjunto ordenado (o, si está claro cual es la relación ≤ se dice simplemente que X es un conjunto ordenado). Si ≤ es una relación de orden en X que satisface la propiedad adicional de que dados x, y ∈ X entonces x ≤ y ó y ≤ x, se dice entonces que ≤ es una relación de orden total, y que (X, ≤) (o X) es un conjunto totalmente ordenado (en ocasiones, para destacar que (X, ≤) es una relación de orden, pero que no es total se dice que ≤ es una relación de orden parcial y que (X, ≤) es un conjunto parcialmente ordenado). Conjunto Ordenados
  • 8.  1. El conjunto de los números naturales, con el orden natural (m ≤ n si existe k ∈ N tal que n = m+k)  es un conjunto totalmente ordenado. De la misma forma, también lo son (Z, ≤), (Q, ≤) y (R, ≤).  2. Dado un conjunto X, entonces P(X), con el orden dado por la inclusión es un conjunto ordenado.  Si X tiene más de un elemento, este orden no es total, pues dados x, y ∈ X distintos se tiene que  {x} 6⊆ {y} y {y} 6⊆ {x}.  3. En el conjunto de los números naturales, la relación de divisibilidad es una relación de orden que  no es total. Sin embargo, en el conjunto de los números enteros esta relación no es de orden pues  no es antisimétrica, ya que 2| − 2, −2|2 y sin embargo 2 6= −2.  4. Para cualquier número natural n consideramos el conjunto  D(n) = {m ∈ N : m|n}  Entonces (D(n), |) es un conjunto (parcialmente) ordenado. Ejemplo de Conjunto Ordenados
  • 9. Es una función que preserva la estructura entre dos estructuras matemáticas relevantes. La noción de homomorfismo se estudia abstractamente en el álgebra universal, y ése es el punto de vista tomado en este artículo. Una noción más general de morfismo se estudia abstractamente en la teoría de las categorías Homomorfismo
  • 10. Ejemplo de homomorfismo Comprobamos si f es un homomorfismo: ∀x,y∈G:f(x∗y)a∗(x∗y)∗a−1(1)←→−a∗x∗y∗a−1(1)←→−a∗x∗e∗y∗a−1= =a∗x∗a−1∗a∗y∗a−1=(a∗x∗a−1)∗(a∗y∗a−1)=f(x)∗f(y) En (1) hemos aplicado la propiedad asociativa y en (2) la definición de elemento neutro. Con todo ello hemos demostrado que la aplicación es homomorfismo. Para que sea isomorfismo se ha de tener: ∀x∈Kerf:f(x)=e;a∗x∗a−1=e Operando con a por la derecha: a∗x∗a−1∗a→e∗a=a=a∗x Operando con a−1 por la izquierda en el último resultado: a−1∗a=a−1∗a∗x→e=e∗x→e=x Y, por lo tanto, la aplicación dada si es isomorfismo.