 One can in fact characterise arithmetic manifolds through the traces of the elements of their fundamental group.A Kleinian group is an arithmetic group if and only if the following three conditions are realised