# Thread:

1. ## group homomorphism

If $a:G\to H$ is a group homomorphism between G and H, then we have the following definition:

for all $g,k\in G$ we have $a(g*k)=a(g)*a(k)$

According to wikipedia, this means that $a(1_G)=1_H$, where $1_G,1_H$, are the identity elements of G and H respectively, and also that $a(g^{-1})=a(g)^{-1}$ for all $g\in G$.

Can someone show me how these conditions are true?

Thanks

2. Hi

One way is to write $a(1_G)=a(1_G1_G)=a(1_G)a(1_G)$ thus $a(1_G)=1_H.$

Now that we know that, $a(g^{-1})a(g)=a(g^{-1}g)=a(1_G)=1_H$ implies that $a(g^{-1})=(a(g))^{-1}.$

3. Thanks, but I don't understand how your first argument shows that $a(1_G)=1_H$

4. Ok, that's because a group law is strong enough: let $A$ be a group, $e$ its identity element and $a\in A,$ then $a^2=a\Rightarrow a=e$
Indeed, $a^2=a\Rightarrow a=a^{-1}a^2=a^{-1}a=e$

That may be a particular case of: $\forall a,b\in A,\ \exists !x\ \text{s.t.}\ ax=b$

Indeed if $b=a,$ since $e$ is a solution, by unicity, $aa=a\Rightarrow a=e$

5. Thanks, I got it now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 21, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9578444957733154, "perplexity_flag": "head"}