So here I am showing a way of seeing if the Trefoil is chiral. I take the 2 and 3 sharings out then see if I can bring them back after going through space in the different way with the 1 sharing. It turns out I can’t do that.
Here I am starting to use other diagrams of a knot. These come about as we are operating in negative space. That is the new space I created with negative distance. In that space I have the ability to pass through, also to move a series of connected parts ( the knot diagram itself) and create joinings (like (a3(b2)). These combined allow me to make new moves.
I place the trefoil, partially back together then move the four joinings through the reformed 2 and 3 sharings until they can possibly form a new diagram. I show it is not possible to form this diagram in positive space so that the trefoil is knotted.
From Knotscape I have found this diagram of Perko A. Crossings 1 through 10 shown (the orientation of the crossings written below the number, all are negative except number 9). Also I found a diagram of Perko B which is shown later. I proceed to move these diagrams into negative space, this is the space with e’s instead of points, as explained in other articles and “undo” them sometimes adding Q-type sharings adding in s and r point(2)’s. This proceeds until I reach a diagram which has the Trefoil as a base for both diagrams. Then I rearrange the joinings to complete the congruency. This is all shown in detail below.
Sharing 9 is actually not reduced to (b9(a9) but can be moved to the outside of the trefoil base. There I can put it into congruence with the loop formed from (a17(b17) expressed as (b17(a17).
Here is Perko B, taken from Knotscape. Starting with crossings 11 through 20 (orientations all -ve, shown below crossing numbers). I add Q-sharings and take the diagram apart after moving to negative space as shown in detail below. Then after that I look for a congruency with Perko A, also reduced.
So sharing 17 is reduced to (a17(b17). In the other reduced diagram sharing 9 is reduced, but we can make it congruent to sharing 17 by expressing (a17(b17) as (b17(a17) and changing the orientation of that crossing. This is where the writhe changes.
