Group isomorphism/Definition

Group isomorphism

Let ${}G$ and ${}H$ be groups. A bijective group homomorphism

$\varphi \colon G\longrightarrow H$

is called an isomorphism.