MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Does the group given by this presentation have an element of order 2?

Suppose $G$ has the presentation $\langle t, x_1, x_2, ... | R \rangle$ where each relator in $R$ has the form $t^{-1}x_it = x_j$ for some $i,j$. Does $G$ have an element of order 2?

This is an HNN extension of a free group, if that changes anything.

-

 This is unfortunate for at least one author who I'll leave anonymous, because it provides a counterexample to a theorem in one of his books on one relator groups. – jkun Apr 16 2011 at 3:31 Note that my answer only works when $G$ is in fact an HNN-extension of a free group, which isn't obviously the case for all groups with the kind of presentation you've given. (For instance, the relations could be $t^{-1}x_i t = x_1$ for all $i$, and so $t$ isn't giving you an isomorphism between subgroups.) Could that be the source of the problem? – Richard Kent Apr 16 2011 at 4:19 No. It is definitely an HNN extension of a free group. I just posed the more general question because I didn't know of this theorem on HNN extensions, and thought to answer it from a different angle. – jkun Apr 16 2011 at 16:26