Assignment:
Let G be a group generated by elements a and b such that |a| = 4, b^2 = a^2, and ba = a^3 b. Show that G is a group of order 8 and that G is isomorphic to the quaterunion group Q = {1, i, -1, -i, j, k, -j, -k }.
Provide complete and step by step solution for the question and show calculations and use formulas.