Following section 1.4, which is entitled "Constructions Using Amalgams" is the innocent-enough looking exercise:
Show that the group defined by the presentation (presumably on the generators $x_1, x_2, x_3$)
$x_2x_1x_2^{-1}=x_1^2 $
$ x_3x_2x_3^{-1} = x_2^2$
$ x_1x_3x_1^{-1} = x_3^2$
is trivial.
Now, if one simply (well, not simply in practice but simply as in I could write code to do it much more easily than I can actually do it myself...one quickly loses track of inverses etc. and discovers new magical relations that are, in fact, too good to be true) manipulates relations, writes certain words and then tries to move generators past each other, one can obtain this result. Which leaves me to wonder: why precisely is this exercise here?
Guess 1: This exercise stands in contrast to an example in this section where we have the same set of relations except on 4 generators, so 4 relations, and so the same kind of proof does not work out at all (you can no longer move all the generators past one-another); in fact Serre uses amalgams to demonstrate that the aforementioned group contains the free group on two generators. One may perhaps be tempted (as I was, indeed, for way too long) to attempt to use amalgams to solve the exercise which is the topic of this post, to no avail. Maybe the point here is that sometimes amalgams get you nothing; that some types of questions lend themselves to proof by generator and relation manipulation but others to more "abstract" diagram chasing?
Guess 2: There is an elegant proof somehow using amalgams and it escaped me.
Guess 3: Some other reason.
Anyway, perhaps from my years of secondary, college, and finally graduate math textbook experience, I feel somehow uneasy solving an exercise at the end of a section without employing any tools at all from that section. I worry I've missed the point.
Any ideas? (Excluding perhaps that I am overthinking this and need to let it go?)