Free, open-source online mathematics for students, teachers and workers

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$