Exercise 27, § 7

Let $G = *_{A}G_i$ be the sum of a family $(G_i)_{i \in I}$ of groups amalgamated by a common subgroup $A$. For every $i \in I$, choose a subset $P_i$ of $G_i$ satisfying condition(A) of I, p. 80. (a) Let $x \in G$ and let $(a; i_1, \ldots, i_n; p_1, \ldots, p_n)$ be a reduced decomposition of $x$; we have

Now prove that, if $i_1 \neq i_n$, the order of $x$ is infinite. Now prove that, if $i_1 = i_n$, $x$ is conjugate to an element possessing a decomposition of length $\leq n-1$. (b) Deduce that every element of finite order of $G$ is conjugate to an element of one of the $G_i$. In particular, if the $G_i$ have no element of finite order other than $e$, the same is true of $G$.