Burau Representation for N = 4

The problem of faithfulness of the (reduced) Burau representation for [Formula: see text] is known to be equivalent to the problem of whether certain two matrices [Formula: see text] and [Formula: see text] generate a free group of rank two. In this note, we give a simple proof that [Formula: see text] is a free group of rank two.