Some facts about the Gieseking group
The Gieseking group is a one-relator group defined by the
equation aab=bba. It is also the fundamental group of a certain
3-dimensional manifold. As a non-topologist trying to make use of the
latter fact, I learned some things the hard way, which I will share
with the audience.