Two groups G and H are called isomorphic if there exist group homomorphisms a: G → H and b: H → G, such that applying the two functions one after another in each of the two possible orders gives the identity functions of G and H