= Solution
The generators are the alpha-compressing disks, equivalently the four bounded regions. Each beta curve supplies the relator read from its signed intersections with the alpha curves. Since the basepoint region has generator $r_0=1$, the presentation is
$$
\boxed{\pi_1(X_T,x_0)
\cong\langle a,b,c,d\mid ad^{-1}b,\ bd^{-1}c,\ cd^{-1}a\rangle.}
$$
The relations say $d=ba=cb=ac$. Eliminating $c,d$ leaves $bab=aba$, the standard two-generator presentation of the <trefoil knot> group, which checks the region conventions.
Back to article page
