TheoremBase

Group Homomorphisms Preserve the Identity Element and Inverses

Statement

Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups with identity elements eGe_G and eHe_H and inverses as in Uniqueness of the Identity Element and of Inverses in a Group, and let φ:G→H\varphi:G\to H be a group homomorphism. Then

φ(eG)=eH,\varphi(e_G)=e_H,

and for every a∈Ga\in G

φ(a−1)=φ(a)−1,\varphi(a^{-1})=\varphi(a)^{-1},

where on the left the inverse is taken in GG and on the right in HH.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…