Embedding into a finitely presented group

We observe that the group of all lifts of elements of Thompson’s group T to the real line is finitely presented and contains the additive group Q of the rational numbers. This gives an explicit realization of the Higman embedding theorem for Q, answering a Kourovka notebook question of Martin Bridson and Pierre de la Harpe.