This text develops the elementary theory of Artin Braid groups, both geometrically and via homotopy theory, and discusses the link between knot theory and combinatorics of braid groups through Markov's theorem. A detailed investigation of polynomial covering maps is also discussed.