Group isomorphism (source code)

= Group isomorphism
{wiki}

A group isomorphism is a bijective <group homomorphism>. Its inverse is automatically a group homomorphism.