Group theory is a central principle in mathematics. The set of symmetries of an arbitrary mathematical object forms a group, so groups arise virtually in all areas in mathematics (and also in certain parts of physics and chemistry). An infinite group is called residually finite, if the intersection of its subgroups of finite index is trivial. This means that finite images approximate the group str ...