0NAF
Lemma 3.11. Let and be pairs of corresponding webs
in and respectively. Further, let be a
palindrome in which appears times, and consider and
in and respectively.
Then
|
|
|
|
|
|
|
|
0NAG
Proof. In a single Reidemeister II move, the identity resolution is always sent to the identity resolution
via the identity. The maps involving the resolution with two thick edges are negatives of each
other, when comparing the two types of Reidemeister II moves with fixed order of crossings as in
(3.2).
∎