Group homomorphisms are functions that respect group structure; they may be used to relate two groups. A homomorphism from a group ( G , ⋅ ⋅ ) to a group ( H , ∗ ∗ ) is a function φ φ : G → → H such that