Wreath products such
as ℤ ≀ ℤ are not finitely presentable yet can occur as subgroups of finitely
presented groups. Here we compute the distortion of ℤ ≀ ℤ as a subgroup of
Thompson’s group F and as a subgroup of Baumslag’s metabelian group G. We
find that ℤ ≀ ℤ is undistorted in F but is at least exponentially distorted in
G.