Proof: Basic Properties of Homomorphisms (Identities and Inverses) | Abstract Algebra

[@OmarWehbeh-hXO]

Why is f^-1(x)*f(x) = e_H?

[@WrathofMath]

f(x) and its inverse f^(-1)(x) both exist in H, the codomain of the homomorphism because they are images of the function. Since they are inverses, they undo each other and thus produce the identity of the appropriate group, which is H. Does that help?

[@OmarWehbeh-hXO]

@@WrathofMath This really explained everything, Thank you so much🙏 You're the best👊👍