Let
be a group, then there exists a piecewise linear knot
in
for
with
iff
satisfies
1.
is finitely presentable,
2. The Abelianization of is infinite cyclic,
3. The normal closure of some single element is all of ,
4. ;
the second homology of the group is trivial.