Basic results on braid groups