Question

let G be a group or order 4. assume that 1,a,b are members of the group and that a^2 = b^2 =1. show that G={1,a,b,ab}

Answer 1

since G is closed, ab is in G.

Note that this also means G is abelian, since
1 = (ab)^2 = abab = aabb