Let $\varphi:G\longrightarrow G'$ be an isomorphism

1. $\varphi(e_G)=e_{G'}$
2. $\varphi(x^{-1})=(\varphi(x))^{-1}$ for all $x\in G$