4. ga = g ===> g^-1ga = g^-1g ===> ea = e ===> a = e
But, ga = g holds for all a in G, so a = e holds for all a in G. That is, G = {e}.
5. If ghg = h^2, then:
h^4 = (ghg)^2 = ghg^2hg
= ghehg ... (since g^2 = e)
= gh^2g
= g(ghg)g
= g^2hg^2
= ehe
= h
===> h^3 = e
Thus h is of order 3.