So if G = Q8 = <a, b : a^4 = 1, b^2 = a^2, b^{-1}ab = a^{-1}>
I'm fine with the notion of the derived subgroup G' = <[g,h] : g, h in G>
(Where [g,h] = g^{-1}h^{-1}gh)
But I can't see why G' = {1, a^2}, I can only seem to get everything to be 1!? i.e. g = a, h = a^3 ===> a^{-1}a^{-3}aa^3...