1: \begin{abstract}

2: \begin{spacing}{0.9}

3: \noindent We present an algorithm that, given a prime $p$ as input,

4: determines whether or not the Burau representation of the 3-strand

5: braid group modulo $p$ is faithful. We also prove that the representation

6: is indeed faithful when $p\le13$. Additionally, we re-pose Salter's

7: question on the Burau representation of $B_{3}$ over finite fields

8: $\mathbb{F}_{p}$, and solve it for every $p$.\vspace{1cm}

9: 

10: \noindent \textbf{Keywords:} braid group, Burau representation, Hecke

11: congruence subgroup, ping-pong lemma for HNN extensions, Bass\textendash Serre

12: theory, Stallings' folding\medskip{}

13: 

14: \noindent \textbf{Mathematics Subject Classification 2020:} 20F36,

15: 20H05, 20E05, 20E06, 14H52 

16: \end{spacing}

17: \end{abstract}

18: