a. Show that in the free product, the center Z (G_1 x G_2) is trivial if |G_1| > 1 and |G_2| > 1.
b. Determine the elements of finite order in G_1 x G_2.
c. Show that the free group on a set X has no elements of finite order ( other than the identity).