Solución

a) Sea H= { x ∈G : x ⅇ }
a. Cerradura
 Sean x 1 , x 2 ∈ H → x 1 ⅇ ∧ x2 ⅇ dado que es una relación de
congruencia sobre G → x 1 x 2 ⅇ e → x 1 x 2 ⅇ → x 1 x 2 ∈ H ∴ H es cerrado.
b. Neutro
Dado que es una relación de congruencia sobre G → es
una relación de equivalencia sobre G →ⅇ ⅇ → ⅇ ∈ H
c. Inverso
Sean x ∈ H → x ⅇ dado que es una relación de
congruencia sobre G → ( x ) ( ⅇ ) → x ⅇ → x ∈ H ∴ H es subgrupo
−1 −1 −1 −1

de G.
b) ⇒
Sean a , b ∈G. Supongamos que a b. Dado que es una relación
de congruencia sobre G →a−1 b−1. Notemos también que es una
relación de equivalencia sobre G →b b. Ya que a b ∧ b b con
−1 −1

es una relación de congruencia sobre

G →a b b b →a−1 b ⅇ → a−1 b∈ H .
−1 −1

⇐
Sean a , b ∈G. Supongamos que a−1 b ∈ H → a−1 b ⅇ . Dado que es
una relación de congruencia sobre G → es una relación de equivalencia
sobre G →a a. Como es una relación de congruencia sobre G
con a a ∧ a b ⅇ → ( a ) a b ( a ) ⅇ → b a → a b.
−1 −1

c) Sean a , b ∈G por el inciso b) sabemos que

a b ⇔ a−1 b ∈ H ⇔a H b ∴a b ⇔ a H b. Luego H es la única relación de
congruencia posible en G.