Question: How can showing the second equality yields the first prove the concept of isomorphic groups?
Sentence: For example, proving that g • g = 1G for some element g of G is equivalent to proving that a(g) ∗ a(g) = 1H, because applying a to the first equality yields the second, and applying b to the second gives back the first.
Answer in sentence: yes