By Magnus-Moldavansky theorem (see Wilhelm Magnus, Abraham Karrass, Donald Solitar, Combinatorial group theory. Presentations of groups in terms of generators and relations, Reprint of the 1976 second edition, Dover Publications, Inc., Mineola, NY, 2004 and http://arxiv.org/PS_cache/math/pdf/0608/0608635v3.pdf), every 1-related group is an HNN extensions of a "smaller" 1-related group. Say, if one letter occurs in the relator with total exponent 0, one can take this letter as the free letter in the HNN extension.

** Question. ** Is it true that in this HNN extension one of the associated subgroups is always undistorted? Is it possible that one can always represent the group as an HNN extension satisfying that property (one of the associated subgroups is undistorted)?

For example, in some sense the "worst" 1-related group is the Baumslag group $$\langle a,t\mid a^{a^t}=a^2\rangle=\langle a,b,t\mid a^b=a^2, a^t=b\rangle.$$ In that case $t$ is a free letter, the base group is $\langle a,b \mid a^b=a^2\rangle$, the associated subgroups are $\langle a\rangle$ (exponentially distorted in the base group) and $\langle b \rangle$ (undistorted in the base group).