I am currently reading this [paper](https://arxiv.org/pdf/1704.01224.pdf) where the author classifies the pretzel links up to link homotopy using a quasi-trivial quandle $\mathbb{Z}\_{k}[t^{\pm 1}]\diagup\_{(t-1)^{2}}$, and I find it difficult to understand the proof of lemma 5.6. Can anyone help with this proof? 



Classification of pretzel links up to link homotopy using alexander quandle

> 
> Beginning with coloring the $k$th box using
>  ${\mathbb{Z}\_k[t^{\pm1}]}/\_{(t-1)^2}$, we conclude that if the link is
>  homotopically trivial, then $p\_k$ divides all $p\_i$'s.
> 
> 
> 


It seems that there is a typo here: "${\mathbb{Z}\_k[t^{\pm1}]}/\_{(t-1)^2}$" should be "${\mathbb{Z}\_{p\_k}[t^{\pm1}]}/\_{(t-1)^2}$". By Corollary 5.2, if we start by colouring the top $k$th box with colour $\begin{bmatrix}a\\b\end{bmatrix}$, the bottom colour will come out as $\begin{bmatrix}a\\b\end{bmatrix}$. Compare it with the colour of the box immediate to the right (it the $k$th box is rightmost, consider the first box). Both the top colour and the bottom colour start with $b$. To make sure that this is the case, using Corollary 5.2 we conclude that $p\_{k+1}$ is a multiple of $p\_k$. Continuing this argument to all boxes, we conclude that every $p\_i$ is a multiple of $p\_k$.



> 
> Thus if the $n$-Pretzel link $(p\_1,p\_2,\ldots,p\_n)$ is homotopically
>  trivial, then $|p\_1|=\cdots=|p\_n|$.
> 
> 
> 


This is because for every pair $p\_i,p\_j$, $p\_i$ divides $p\_j$ and vice versa.



> 
> Now if $p\_1 \neq 0$, We color the link by elements of
>  ${\mathbb{Z}\_k[t^{\pm1}]}/\_{(t-1)^2}$ with $k=\max\{2,|p\_1|-2\}$.
> 
> 
> 


This is to make sure that the bottom colour of the first box is different from the top colour.



> 
> Let the top color vector be $(x\_1, \cdots, x\_n)$. Choosing $x\_1=0$
>  and $x\_2=x\_3=1$ in the coloring of the $n$-pretzel link leads to a
>  contradiction.
> 
> 
> 


This contradiction is, the second element of the bottom colour of the 1st box is different from the first element of the bottom colour of the 2nd box. But they should be the same as they are in the same arc in the diagram.



> 
> Thus the number of colorings is less than $k^{2n}$ implying that the
>  homotopy link is non-trivial.
> 
> 
> 


If the homotopy link were trivial, every ordered pair $(x\_1,\ldots,x\_n)$ colours the link and the number of colouring should be $k^{2n}$. But now for this link, one of the colouring does not work and thus it is not homotopically trivial.


