Linear groups - Malcev's theorem and Selberg's lemma

An account of two fundamental facts concerning finitely generated linear groups: Malcev’s theorem on residual finiteness, and Selberg’s lemma on virtual torsion-freeness.