Profinite objects are mathematical constructions used to collect, in a uniform manner, facts about infinitely many finite objects. We shall review recent progress in the theory of profinite groups, due to Nikolov and Segal, and its implications for finite groups.
