Why is an image of a homomorphism a subgroup of the codomain? I know that the image of any function is a subset of the domain, but I don't know how to proceed with the former statement.
Asked
Active
Viewed 1,888 times
3
-
1I guess the nontrivial part would be $1=\eta(1)=\eta(aa^{-1})=\eta(a)\eta(a^{-1})\implies \eta(a^{-1})=\eta(a)^{-1}$. – Pedro Sep 08 '13 at 02:52
1 Answers
3
Prove that the propierties of a subgroup are valid for the elements of the image of a homomorphism. If $\varphi :G \to H$, you will have $e_H = \varphi(e_G)$, and $(\varphi(g))^{-1}=\varphi(g^{-1})$, for $g \in G$.
Twnk
- 2,456