This is an elementary introduction to the congruence subgroup problem, a problem which deals with number theoretic properties of groups defined arithmetically. The novelty and, indeed, the goal of this book is to present some applications to group theory as well as to number theory which have emerged in the last fifteen years.