That is, a(b(h)) = h and b(a(g)) = g for any g in G and h in H