The groups H {\displaystyle {}H} and G {\displaystyle {}G} are called isomorphic, if there exists a group isomorphism φ : G → H {\displaystyle {}\varphi \colon G\rightarrow H} .