Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-112/3/a/solution

Give each bounded region a generator and give the unbounded region the identity generator. At every crossing, read the four incident regions cyclically as and impose
Using the opposite cyclic convention inverts all such relators and gives the same group. One crossing relation is redundant, leaving generators and relators; this is the Dehn presentation of a knot group.

New to topics? Read the docs here!